1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-cfg" } */
6 void this_comparison_is_false (void);
7 void this_comparison_is_true (void);
8 void this_comparison_is_not_decidable (void);
12 if (var
+ 10 == INT_MIN
+ 9)
13 this_comparison_is_false ();
18 if (var
+ 10 == INT_MIN
+ 10)
19 this_comparison_is_not_decidable ();
24 if (var
- 10 == INT_MAX
- 9)
25 this_comparison_is_false ();
30 if (var
- 10 == INT_MAX
- 10)
31 this_comparison_is_not_decidable ();
36 if (var
+ 10 != INT_MIN
+ 9)
37 this_comparison_is_true ();
42 if (var
+ 10 != INT_MIN
+ 10)
43 this_comparison_is_not_decidable ();
48 if (var
- 10 != INT_MAX
- 9)
49 this_comparison_is_true ();
54 if (var
- 10 != INT_MAX
- 10)
55 this_comparison_is_not_decidable ();
60 if (var
+ 10 < INT_MIN
+ 10)
61 this_comparison_is_false ();
66 if (var
+ 10 < INT_MIN
+ 11)
67 this_comparison_is_not_decidable ();
72 if (var
- 10 < INT_MAX
- 9)
73 this_comparison_is_true ();
78 if (var
- 10 < INT_MAX
- 10)
79 this_comparison_is_not_decidable ();
84 if (var
+ 10 <= INT_MIN
+ 9)
85 this_comparison_is_false ();
90 if (var
+ 10 <= INT_MIN
+ 10)
91 this_comparison_is_not_decidable ();
96 if (var
- 10 <= INT_MAX
- 10)
97 this_comparison_is_true ();
100 void bla4le (int var
)
102 if (var
- 10 <= INT_MAX
- 11)
103 this_comparison_is_not_decidable ();
106 void bla1gt (int var
)
108 if (var
+ 10 > INT_MIN
+ 9)
109 this_comparison_is_true ();
112 void bla2gt (int var
)
114 if (var
+ 10 > INT_MIN
+ 10)
115 this_comparison_is_not_decidable ();
118 void bla3gt (int var
)
120 if (var
- 10 > INT_MAX
- 10)
121 this_comparison_is_false ();
124 void bla4gt (int var
)
126 if (var
- 10 > INT_MAX
- 11)
127 this_comparison_is_not_decidable ();
130 void bla1ge (int var
)
132 if (var
+ 10 >= INT_MIN
+ 10)
133 this_comparison_is_true ();
136 void bla2ge (int var
)
138 if (var
+ 10 >= INT_MIN
+ 11)
139 this_comparison_is_not_decidable ();
142 void bla3ge (int var
)
144 if (var
- 11 >= INT_MAX
- 10)
145 this_comparison_is_false ();
148 void bla4ge (int var
)
150 if (var
- 10 >= INT_MAX
- 10)
151 this_comparison_is_not_decidable ();
154 /* { dg-final { scan-tree-dump-times "this_comparison_is_false" 0 "cfg" } } */
155 /* { dg-final { scan-tree-dump-times "this_comparison_is_true" 6 "cfg" } } */
156 /* { dg-final { scan-tree-dump-times "this_comparison_is_not_decidable" 12 "cfg" } } */
157 /* { dg-final { scan-tree-dump-times "if " 12 "cfg" } } */