path: root/test/monniaux/if/if2.c

int toto(int x) {
  if (2*x+1 >= 3) {
    if (2*x+1 >= 3) {
      return 3;
    } else {
      return 2;
    }
  } else {
    return 1;
  }
}