gcc/testsuite/gcc.c-torture/execute/vrp-3.c

   1 extern void abort ();
   2 extern void exit (int);
   3
   4 int f (int a) {
   5         if (a < 12) {
   6           if (a > -15) {
   7                 a = a > 0 ? a : -a;
   8                 if (a == 2)
   9                   return 0;
  10                 return 1;
  11           }
  12         }
  13         return 1;
  14 }
  15
  16 int main (int argc, char *argv[]) {
  17         if (f (-2))
  18                 abort ();
  19         exit (0);
  20 }
  21