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