1 /* { dg-do run } */ 2 /* { dg-options "-fstrict-overflow" } */ 3 4 extern void link_error (void); 5 test0(int a,int b)6void test0 (int a, int b) 7 { 8 if ((a < b) != (b > a)) 9 link_error (); 10 11 if ((a - 1 < b) != (a <= b)) 12 link_error (); 13 if ((a - 2 < b) != (a - 1 <= b)) 14 link_error (); 15 if ((a + -1 < b) != (a <= b)) 16 link_error (); 17 if ((a + -2 < b) != (a + -1 <= b)) 18 link_error (); 19 20 if ((a + 1 > b) != (a >= b)) 21 link_error (); 22 if ((a + 2 > b) != (a + 1 >= b)) 23 link_error (); 24 if ((a - -1 > b) != (a >= b)) 25 link_error (); 26 if ((a - -2 > b) != (a - -1 >= b)) 27 link_error (); 28 29 if ((a + 1 <= b) != (a < b)) 30 link_error (); 31 if ((a + 2 <= b) != (a + 1 < b)) 32 link_error (); 33 if ((a - -1 <= b) != (a < b)) 34 link_error (); 35 if ((a - -2 <= b) != (a - -1 < b)) 36 link_error (); 37 38 if ((a - 1 >= b) != (a > b)) 39 link_error (); 40 if ((a - 2 >= b) != (a - 1 > b)) 41 link_error (); 42 if ((a + -1 >= b) != (a > b)) 43 link_error (); 44 if ((a + -2 >= b) != (a + -1 > b)) 45 link_error (); 46 } 47 main()48int main() 49 { 50 test0 (1, 2); 51 return 0; 52 } 53