modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/vrp-4.c (about) 1 extern void exit (int); 2 extern void abort (); 3 4 void test(int x, int y) 5 { 6 int c; 7 8 if (x == 1) abort(); 9 if (y == 1) abort(); 10 11 c = x / y; 12 13 if (c != 1) abort(); 14 } 15 16 int main() 17 { 18 test(2, 2); 19 exit (0); 20 }