modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/vrp-3.c (about) 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