2 // RUN:    -analyzer-checker=debug.ExprInspection,core.builtin \
3 // RUN:    -analyzer-config aggressive-binary-operation-simplification=true \
4 // RUN:    -analyzer-config support-symbolic-integer-casts=false \
5 // RUN:    -analyzer-config eagerly-assume=false \
6 // RUN:    -verify %s
9 // RUN:    -analyzer-checker=debug.ExprInspection,core.builtin \
10 // RUN:    -analyzer-config aggressive-binary-operation-simplification=true \
11 // RUN:    -analyzer-config support-symbolic-integer-casts=true \
12 // RUN:    -DSUPPORT_SYMBOLIC_INTEGER_CASTS \
13 // RUN:    -analyzer-config eagerly-assume=false \
14 // RUN:    -verify %s
39   assert(x >= -((int)INT_MAX / 4));  in f()
44   int x = f(), y = f();  in compare_different_symbol_equal()  local
46   clang_analyzer_denote(y, "$y");  in compare_different_symbol_equal()
47   clang_analyzer_express(x == y); // expected-warning {{$x - $y == 0}}  in compare_different_symbol_equal()
51   int x = f(), y = f();  in compare_different_symbol_plus_left_int_equal()  local
53   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_left_int_equal()
55   clang_analyzer_express(x == y); // expected-warning {{$y - $x == 1}}  in compare_different_symbol_plus_left_int_equal()
59   int x = f(), y = f();  in compare_different_symbol_minus_left_int_equal()  local
61   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_left_int_equal()
62   x -= 1;  in compare_different_symbol_minus_left_int_equal()
63   clang_analyzer_express(x == y); // expected-warning {{$x - $y == 1}}  in compare_different_symbol_minus_left_int_equal()
67   int x = f(), y = f();  in compare_different_symbol_plus_right_int_equal()  local
69   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_right_int_equal()
70   y += 2;  in compare_different_symbol_plus_right_int_equal()
71   clang_analyzer_express(y); // expected-warning {{$y + 2}}  in compare_different_symbol_plus_right_int_equal()
72   clang_analyzer_express(x == y); // expected-warning {{$x - $y == 2}}  in compare_different_symbol_plus_right_int_equal()
76   int x = f(), y = f();  in compare_different_symbol_minus_right_int_equal()  local
78   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_right_int_equal()
79   y -= 2;  in compare_different_symbol_minus_right_int_equal()
80   clang_analyzer_express(y); // expected-warning {{$y - 2}}  in compare_different_symbol_minus_right_int_equal()
81   clang_analyzer_express(x == y); // expected-warning {{$y - $x == 2}}  in compare_different_symbol_minus_right_int_equal()
85   int x = f(), y = f();  in compare_different_symbol_plus_left_plus_right_int_equal()  local
87   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_left_plus_right_int_equal()
89   y += 1;  in compare_different_symbol_plus_left_plus_right_int_equal()
90   clang_analyzer_express(x); // expected-warning {{$x + 2}}  in compare_different_symbol_plus_left_plus_right_int_equal()
91   clang_analyzer_express(y); // expected-warning {{$y + 1}}  in compare_different_symbol_plus_left_plus_right_int_equal()
92   clang_analyzer_express(x == y); // expected-warning {{$y - $x == 1}}  in compare_different_symbol_plus_left_plus_right_int_equal()
96   int x = f(), y = f();  in compare_different_symbol_plus_left_minus_right_int_equal()  local
98   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_left_minus_right_int_equal()
100   y -= 1;  in compare_different_symbol_plus_left_minus_right_int_equal()
101   clang_analyzer_express(x); // expected-warning {{$x + 2}}  in compare_different_symbol_plus_left_minus_right_int_equal()
102   clang_analyzer_express(y); // expected-warning {{$y - 1}}  in compare_different_symbol_plus_left_minus_right_int_equal()
103   clang_analyzer_express(x == y); // expected-warning {{$y - $x == 3}}  in compare_different_symbol_plus_left_minus_right_int_equal()
107   int x = f(), y = f();  in compare_different_symbol_minus_left_plus_right_int_equal()  local
109   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_left_plus_right_int_equal()
110   x -= 2;  in compare_different_symbol_minus_left_plus_right_int_equal()
111   y += 1;  in compare_different_symbol_minus_left_plus_right_int_equal()
112   clang_analyzer_express(x); // expected-warning {{$x - 2}}  in compare_different_symbol_minus_left_plus_right_int_equal()
113   clang_analyzer_express(y); // expected-warning {{$y + 1}}  in compare_different_symbol_minus_left_plus_right_int_equal()
114   clang_analyzer_express(x == y); // expected-warning {{$x - $y == 3}}  in compare_different_symbol_minus_left_plus_right_int_equal()
118   int x = f(), y = f();  in compare_different_symbol_minus_left_minus_right_int_equal()  local
120   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_left_minus_right_int_equal()
121   x -= 2;  in compare_different_symbol_minus_left_minus_right_int_equal()
122   y -= 1;  in compare_different_symbol_minus_left_minus_right_int_equal()
123   clang_analyzer_express(x); // expected-warning {{$x - 2}}  in compare_different_symbol_minus_left_minus_right_int_equal()
124   clang_analyzer_express(y); // expected-warning {{$y - 1}}  in compare_different_symbol_minus_left_minus_right_int_equal()
125   clang_analyzer_express(x == y); // expected-warning {{$x - $y == 1}}  in compare_different_symbol_minus_left_minus_right_int_equal()
129   int x = f(), y = x;  in compare_same_symbol_equal()  local
131   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_equal()
132   clang_analyzer_eval(x == y); // expected-warning {{TRUE}}  in compare_same_symbol_equal()
136   int x = f(), y = x;  in compare_same_symbol_plus_left_int_equal()  local
139   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_int_equal()
140   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_plus_left_int_equal()
141   clang_analyzer_eval(x == y); // expected-warning {{FALSE}}  in compare_same_symbol_plus_left_int_equal()
145   int x = f(), y = x;  in compare_same_symbol_minus_left_int_equal()  local
147   --x;  in compare_same_symbol_minus_left_int_equal()
148   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_int_equal()
149   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_minus_left_int_equal()
150   clang_analyzer_eval(x == y); // expected-warning {{FALSE}}  in compare_same_symbol_minus_left_int_equal()
154   int x = f(), y = x + 1;  in compare_same_symbol_plus_right_int_equal()  local
156   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_right_int_equal()
157   clang_analyzer_eval(x == y); // expected-warning {{FALSE}}  in compare_same_symbol_plus_right_int_equal()
161   int x = f(), y = x - 1;  in compare_same_symbol_minus_right_int_equal()  local
163   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_right_int_equal()
164   clang_analyzer_eval(x == y); // expected-warning {{FALSE}}  in compare_same_symbol_minus_right_int_equal()
168   int x = f(), y = x + 1;  in compare_same_symbol_plus_left_plus_right_int_equal()  local
171   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_plus_right_int_equal()
172   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_plus_right_int_equal()
173   clang_analyzer_eval(x == y); // expected-warning {{TRUE}}  in compare_same_symbol_plus_left_plus_right_int_equal()
177   int x = f(), y = x - 1;  in compare_same_symbol_plus_left_minus_right_int_equal()  local
180   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_minus_right_int_equal()
181   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_plus_left_minus_right_int_equal()
182   clang_analyzer_eval(x == y); // expected-warning {{FALSE}}  in compare_same_symbol_plus_left_minus_right_int_equal()
186   int x = f(), y = x + 1;  in compare_same_symbol_minus_left_plus_right_int_equal()  local
188   --x;  in compare_same_symbol_minus_left_plus_right_int_equal()
189   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_plus_right_int_equal()
190   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_minus_left_plus_right_int_equal()
191   clang_analyzer_eval(x == y); // expected-warning {{FALSE}}  in compare_same_symbol_minus_left_plus_right_int_equal()
195   int x = f(), y = x - 1;  in compare_same_symbol_minus_left_minus_right_int_equal()  local
197   --x;  in compare_same_symbol_minus_left_minus_right_int_equal()
198   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_minus_right_int_equal()
199   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_minus_right_int_equal()
200   clang_analyzer_eval(x == y); // expected-warning {{TRUE}}  in compare_same_symbol_minus_left_minus_right_int_equal()
204   int x = f(), y = f();  in compare_different_symbol_less_or_equal()  local
206   clang_analyzer_denote(y, "$y");  in compare_different_symbol_less_or_equal()
207   clang_analyzer_express(x <= y); // expected-warning {{$x - $y <= 0}}  in compare_different_symbol_less_or_equal()
211   int x = f(), y = f();  in compare_different_symbol_plus_left_int_less_or_equal()  local
213   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_left_int_less_or_equal()
215   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_different_symbol_plus_left_int_less_or_equal()
216   clang_analyzer_express(x <= y); // expected-warning {{$y - $x >= 1}}  in compare_different_symbol_plus_left_int_less_or_equal()
220   int x = f(), y = f();  in compare_different_symbol_minus_left_int_less_or_equal()  local
222   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_left_int_less_or_equal()
223   x -= 1;  in compare_different_symbol_minus_left_int_less_or_equal()
224   clang_analyzer_express(x <= y); // expected-warning {{$x - $y <= 1}}  in compare_different_symbol_minus_left_int_less_or_equal()
228   int x = f(), y = f();  in compare_different_symbol_plus_right_int_less_or_equal()  local
230   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_right_int_less_or_equal()
231   y += 2;  in compare_different_symbol_plus_right_int_less_or_equal()
232   clang_analyzer_express(x <= y); // expected-warning {{$x - $y <= 2}}  in compare_different_symbol_plus_right_int_less_or_equal()
236   int x = f(), y = f();  in compare_different_symbol_minus_right_int_less_or_equal()  local
238   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_right_int_less_or_equal()
239   y -= 2;  in compare_different_symbol_minus_right_int_less_or_equal()
240   clang_analyzer_express(y); // expected-warning {{$y - 2}}  in compare_different_symbol_minus_right_int_less_or_equal()
241   clang_analyzer_express(x <= y); // expected-warning {{$y - $x >= 2}}  in compare_different_symbol_minus_right_int_less_or_equal()
245   int x = f(), y = f();  in compare_different_symbol_plus_left_plus_right_int_less_or_equal()  local
247   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_left_plus_right_int_less_or_equal()
249   y += 1;  in compare_different_symbol_plus_left_plus_right_int_less_or_equal()
250   clang_analyzer_express(x); // expected-warning {{$x + 2}}  in compare_different_symbol_plus_left_plus_right_int_less_or_equal()
251   clang_analyzer_express(y); // expected-warning {{$y + 1}}  in compare_different_symbol_plus_left_plus_right_int_less_or_equal()
252   clang_analyzer_express(x <= y); // expected-warning {{$y - $x >= 1}}  in compare_different_symbol_plus_left_plus_right_int_less_or_equal()
256   int x = f(), y = f();  in compare_different_symbol_plus_left_minus_right_int_less_or_equal()  local
258   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_left_minus_right_int_less_or_equal()
260   y -= 1;  in compare_different_symbol_plus_left_minus_right_int_less_or_equal()
261   clang_analyzer_express(x); // expected-warning {{$x + 2}}  in compare_different_symbol_plus_left_minus_right_int_less_or_equal()
262   clang_analyzer_express(y); // expected-warning {{$y - 1}}  in compare_different_symbol_plus_left_minus_right_int_less_or_equal()
263   clang_analyzer_express(x <= y); // expected-warning {{$y - $x >= 3}}  in compare_different_symbol_plus_left_minus_right_int_less_or_equal()
267   int x = f(), y = f();  in compare_different_symbol_minus_left_plus_right_int_less_or_equal()  local
269   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_left_plus_right_int_less_or_equal()
270   x -= 2;  in compare_different_symbol_minus_left_plus_right_int_less_or_equal()
271   y += 1;  in compare_different_symbol_minus_left_plus_right_int_less_or_equal()
272   clang_analyzer_express(x); // expected-warning {{$x - 2}}  in compare_different_symbol_minus_left_plus_right_int_less_or_equal()
273   clang_analyzer_express(y); // expected-warning {{$y + 1}}  in compare_different_symbol_minus_left_plus_right_int_less_or_equal()
274   clang_analyzer_express(x <= y); // expected-warning {{$x - $y <= 3}}  in compare_different_symbol_minus_left_plus_right_int_less_or_equal()
278   int x = f(), y = f();  in compare_different_symbol_minus_left_minus_right_int_less_or_equal()  local
280   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_left_minus_right_int_less_or_equal()
281   x -= 2;  in compare_different_symbol_minus_left_minus_right_int_less_or_equal()
282   y -= 1;  in compare_different_symbol_minus_left_minus_right_int_less_or_equal()
283   clang_analyzer_express(x); // expected-warning {{$x - 2}}  in compare_different_symbol_minus_left_minus_right_int_less_or_equal()
284   clang_analyzer_express(y); // expected-warning {{$y - 1}}  in compare_different_symbol_minus_left_minus_right_int_less_or_equal()
285   clang_analyzer_express(x <= y); // expected-warning {{$x - $y <= 1}}  in compare_different_symbol_minus_left_minus_right_int_less_or_equal()
289   int x = f(), y = x;  in compare_same_symbol_less_or_equal()  local
291   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_less_or_equal()
292   clang_analyzer_eval(x <= y); // expected-warning {{TRUE}}  in compare_same_symbol_less_or_equal()
296   int x = f(), y = x;  in compare_same_symbol_plus_left_int_less_or_equal()  local
299   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_int_less_or_equal()
300   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_plus_left_int_less_or_equal()
301   clang_analyzer_eval(x <= y); // expected-warning {{FALSE}}  in compare_same_symbol_plus_left_int_less_or_equal()
305   int x = f(), y = x;  in compare_same_symbol_minus_left_int_less_or_equal()  local
307   --x;  in compare_same_symbol_minus_left_int_less_or_equal()
308   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_int_less_or_equal()
309   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_minus_left_int_less_or_equal()
310   clang_analyzer_eval(x <= y); // expected-warning {{TRUE}}  in compare_same_symbol_minus_left_int_less_or_equal()
314   int x = f(), y = x + 1;  in compare_same_symbol_plus_right_int_less_or_equal()  local
316   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_right_int_less_or_equal()
317   clang_analyzer_eval(x <= y); // expected-warning {{TRUE}}  in compare_same_symbol_plus_right_int_less_or_equal()
321   int x = f(), y = x - 1;  in compare_same_symbol_minus_right_int_less_or_equal()  local
323   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_right_int_less_or_equal()
324   clang_analyzer_eval(x <= y); // expected-warning {{FALSE}}  in compare_same_symbol_minus_right_int_less_or_equal()
328   int x = f(), y = x + 1;  in compare_same_symbol_plus_left_plus_right_int_less_or_equal()  local
331   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_plus_right_int_less_or_equal()
332   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_plus_right_int_less_or_equal()
333   clang_analyzer_eval(x <= y); // expected-warning {{TRUE}}  in compare_same_symbol_plus_left_plus_right_int_less_or_equal()
337   int x = f(), y = x - 1;  in compare_same_symbol_plus_left_minus_right_int_less_or_equal()  local
340   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_minus_right_int_less_or_equal()
341   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_plus_left_minus_right_int_less_or_equal()
342   clang_analyzer_eval(x <= y); // expected-warning {{FALSE}}  in compare_same_symbol_plus_left_minus_right_int_less_or_equal()
346   int x = f(), y = x + 1;  in compare_same_symbol_minus_left_plus_right_int_less_or_equal()  local
348   --x;  in compare_same_symbol_minus_left_plus_right_int_less_or_equal()
349   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_plus_right_int_less_or_equal()
350   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_minus_left_plus_right_int_less_or_equal()
351   clang_analyzer_eval(x <= y); // expected-warning {{TRUE}}  in compare_same_symbol_minus_left_plus_right_int_less_or_equal()
355   int x = f(), y = x - 1;  in compare_same_symbol_minus_left_minus_right_int_less_or_equal()  local
357   --x;  in compare_same_symbol_minus_left_minus_right_int_less_or_equal()
358   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_minus_right_int_less_or_equal()
359   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_minus_right_int_less_or_equal()
360   clang_analyzer_eval(x <= y); // expected-warning {{TRUE}}  in compare_same_symbol_minus_left_minus_right_int_less_or_equal()
364   int x = f(), y = f();  in compare_different_symbol_less()  local
366   clang_analyzer_denote(y, "$y");  in compare_different_symbol_less()
367   clang_analyzer_express(y); // expected-warning {{$y}}  in compare_different_symbol_less()
368   clang_analyzer_express(x < y); // expected-warning {{$x - $y < 0}}  in compare_different_symbol_less()
372   int x = f(), y = f();  in compare_different_symbol_plus_left_int_less()  local
374   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_left_int_less()
376   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_different_symbol_plus_left_int_less()
377   clang_analyzer_express(y); // expected-warning {{$y}}  in compare_different_symbol_plus_left_int_less()
378   clang_analyzer_express(x < y); // expected-warning {{$y - $x > 1}}  in compare_different_symbol_plus_left_int_less()
382   int x = f(), y = f();  in compare_different_symbol_minus_left_int_less()  local
384   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_left_int_less()
385   x -= 1;  in compare_different_symbol_minus_left_int_less()
386   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_different_symbol_minus_left_int_less()
387   clang_analyzer_express(y); // expected-warning {{$y}}  in compare_different_symbol_minus_left_int_less()
388   clang_analyzer_express(x < y); // expected-warning {{$x - $y < 1}}  in compare_different_symbol_minus_left_int_less()
392   int x = f(), y = f();  in compare_different_symbol_plus_right_int_less()  local
394   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_right_int_less()
395   y += 2;  in compare_different_symbol_plus_right_int_less()
396   clang_analyzer_express(y); // expected-warning {{$y + 2}}  in compare_different_symbol_plus_right_int_less()
397   clang_analyzer_express(x < y); // expected-warning {{$x - $y < 2}}  in compare_different_symbol_plus_right_int_less()
401   int x = f(), y = f();  in compare_different_symbol_minus_right_int_less()  local
403   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_right_int_less()
404   y -= 2;  in compare_different_symbol_minus_right_int_less()
405   clang_analyzer_express(y); // expected-warning {{$y - 2}}  in compare_different_symbol_minus_right_int_less()
406   clang_analyzer_express(x < y); // expected-warning {{$y - $x > 2}}  in compare_different_symbol_minus_right_int_less()
410   int x = f(), y = f();  in compare_different_symbol_plus_left_plus_right_int_less()  local
412   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_left_plus_right_int_less()
414   y += 1;  in compare_different_symbol_plus_left_plus_right_int_less()
415   clang_analyzer_express(x); // expected-warning {{$x + 2}}  in compare_different_symbol_plus_left_plus_right_int_less()
416   clang_analyzer_express(y); // expected-warning {{$y + 1}}  in compare_different_symbol_plus_left_plus_right_int_less()
417   clang_analyzer_express(x < y); // expected-warning {{$y - $x > 1}}  in compare_different_symbol_plus_left_plus_right_int_less()
421   int x = f(), y = f();  in compare_different_symbol_plus_left_minus_right_int_less()  local
423   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_left_minus_right_int_less()
425   y -= 1;  in compare_different_symbol_plus_left_minus_right_int_less()
426   clang_analyzer_express(x); // expected-warning {{$x + 2}}  in compare_different_symbol_plus_left_minus_right_int_less()
427   clang_analyzer_express(y); // expected-warning {{$y - 1}}  in compare_different_symbol_plus_left_minus_right_int_less()
428   clang_analyzer_express(x < y); // expected-warning {{$y - $x > 3}}  in compare_different_symbol_plus_left_minus_right_int_less()
432   int x = f(), y = f();  in compare_different_symbol_minus_left_plus_right_int_less()  local
434   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_left_plus_right_int_less()
435   x -= 2;  in compare_different_symbol_minus_left_plus_right_int_less()
436   y += 1;  in compare_different_symbol_minus_left_plus_right_int_less()
437   clang_analyzer_express(x); // expected-warning {{$x - 2}}  in compare_different_symbol_minus_left_plus_right_int_less()
438   clang_analyzer_express(y); // expected-warning {{$y + 1}}  in compare_different_symbol_minus_left_plus_right_int_less()
439   clang_analyzer_express(x < y); // expected-warning {{$x - $y < 3}}  in compare_different_symbol_minus_left_plus_right_int_less()
443   int x = f(), y = f();  in compare_different_symbol_minus_left_minus_right_int_less()  local
445   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_left_minus_right_int_less()
446   x -= 2;  in compare_different_symbol_minus_left_minus_right_int_less()
447   y -= 1;  in compare_different_symbol_minus_left_minus_right_int_less()
448   clang_analyzer_express(x); // expected-warning {{$x - 2}}  in compare_different_symbol_minus_left_minus_right_int_less()
449   clang_analyzer_express(y); // expected-warning {{$y - 1}}  in compare_different_symbol_minus_left_minus_right_int_less()
450   clang_analyzer_express(x < y); // expected-warning {{$x - $y < 1}}  in compare_different_symbol_minus_left_minus_right_int_less()
454   int x = f(), y = x;  in compare_same_symbol_less()  local
456   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_less()
457   clang_analyzer_eval(x < y); // expected-warning {{FALSE}}  in compare_same_symbol_less()
461   int x = f(), y = x;  in compare_same_symbol_plus_left_int_less()  local
464   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_int_less()
465   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_plus_left_int_less()
466   clang_analyzer_eval(x < y); // expected-warning {{FALSE}}  in compare_same_symbol_plus_left_int_less()
470   int x = f(), y = x;  in compare_same_symbol_minus_left_int_less()  local
472   --x;  in compare_same_symbol_minus_left_int_less()
473   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_int_less()
474   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_minus_left_int_less()
475   clang_analyzer_eval(x < y); // expected-warning {{TRUE}}  in compare_same_symbol_minus_left_int_less()
479   int x = f(), y = x + 1;  in compare_same_symbol_plus_right_int_less()  local
481   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_right_int_less()
482   clang_analyzer_eval(x < y); // expected-warning {{TRUE}}  in compare_same_symbol_plus_right_int_less()
486   int x = f(), y = x - 1;  in compare_same_symbol_minus_right_int_less()  local
488   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_right_int_less()
489   clang_analyzer_eval(x < y); // expected-warning {{FALSE}}  in compare_same_symbol_minus_right_int_less()
493   int x = f(), y = x + 1;  in compare_same_symbol_plus_left_plus_right_int_less()  local
496   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_plus_right_int_less()
497   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_plus_right_int_less()
498   clang_analyzer_eval(x < y); // expected-warning {{FALSE}}  in compare_same_symbol_plus_left_plus_right_int_less()
502   int x = f(), y = x - 1;  in compare_same_symbol_plus_left_minus_right_int_less()  local
505   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_minus_right_int_less()
506   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_plus_left_minus_right_int_less()
507   clang_analyzer_eval(x < y); // expected-warning {{FALSE}}  in compare_same_symbol_plus_left_minus_right_int_less()
511   int x = f(), y = x + 1;  in compare_same_symbol_minus_left_plus_right_int_less()  local
513   --x;  in compare_same_symbol_minus_left_plus_right_int_less()
514   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_plus_right_int_less()
515   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_minus_left_plus_right_int_less()
516   clang_analyzer_eval(x < y); // expected-warning {{TRUE}}  in compare_same_symbol_minus_left_plus_right_int_less()
520   int x = f(), y = x - 1;  in compare_same_symbol_minus_left_minus_right_int_less()  local
522   --x;  in compare_same_symbol_minus_left_minus_right_int_less()
523   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_minus_right_int_less()
524   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_minus_right_int_less()
525   clang_analyzer_eval(x < y); // expected-warning {{FALSE}}  in compare_same_symbol_minus_left_minus_right_int_less()
531 //  if (!SingleTy->isSignedIntegerOrEnumerationType())
540   unsigned x = f(), y = f();  in compare_different_symbol_equal_unsigned()  local
542   clang_analyzer_denote(y, "$y");  in compare_different_symbol_equal_unsigned()
543   clang_analyzer_express(y); // expected-warning {{$y}}  in compare_different_symbol_equal_unsigned()
544   clang_analyzer_express(x == y); // expected-warning {{$x - $y == 0}}  in compare_different_symbol_equal_unsigned()
548   unsigned x = f() + 1, y = f();  in compare_different_symbol_plus_left_int_equal_unsigned()  local
549   clang_analyzer_denote(x - 1, "$x");  in compare_different_symbol_plus_left_int_equal_unsigned()
550   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_left_int_equal_unsigned()
551   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_different_symbol_plus_left_int_equal_unsigned()
552   clang_analyzer_express(y); // expected-warning {{$y}}  in compare_different_symbol_plus_left_int_equal_unsigned()
553   clang_analyzer_express(x == y); // expected-warning {{$y - $x == 1}}  in compare_different_symbol_plus_left_int_equal_unsigned()
557   unsigned x = f() - 1, y = f();  in compare_different_symbol_minus_left_int_equal_unsigned()  local
559   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_left_int_equal_unsigned()
560   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_different_symbol_minus_left_int_equal_unsigned()
561   clang_analyzer_express(y); // expected-warning {{$y}}  in compare_different_symbol_minus_left_int_equal_unsigned()
562   clang_analyzer_express(x == y); // expected-warning {{$x - $y == 1}}  in compare_different_symbol_minus_left_int_equal_unsigned()
566   unsigned x = f(), y = f() + 2;  in compare_different_symbol_plus_right_int_equal_unsigned()  local
568   clang_analyzer_denote(y - 2, "$y");  in compare_different_symbol_plus_right_int_equal_unsigned()
569   clang_analyzer_express(y); // expected-warning {{$y + 2}}  in compare_different_symbol_plus_right_int_equal_unsigned()
570   clang_analyzer_express(x == y); // expected-warning {{$x - $y == 2}}  in compare_different_symbol_plus_right_int_equal_unsigned()
574   unsigned x = f(), y = f() - 2;  in compare_different_symbol_minus_right_int_equal_unsigned()  local
576   clang_analyzer_denote(y + 2, "$y");  in compare_different_symbol_minus_right_int_equal_unsigned()
577   clang_analyzer_express(y); // expected-warning {{$y - 2}}  in compare_different_symbol_minus_right_int_equal_unsigned()
578   clang_analyzer_express(x == y); // expected-warning {{$y - $x == 2}}  in compare_different_symbol_minus_right_int_equal_unsigned()
582   unsigned x = f() + 2, y = f() + 1;  in compare_different_symbol_plus_left_plus_right_int_equal_unsigned()  local
583   clang_analyzer_denote(x - 2, "$x");  in compare_different_symbol_plus_left_plus_right_int_equal_unsigned()
584   clang_analyzer_denote(y - 1, "$y");  in compare_different_symbol_plus_left_plus_right_int_equal_unsigned()
585   clang_analyzer_express(x); // expected-warning {{$x + 2}}  in compare_different_symbol_plus_left_plus_right_int_equal_unsigned()
586   clang_analyzer_express(y); // expected-warning {{$y + 1}}  in compare_different_symbol_plus_left_plus_right_int_equal_unsigned()
587   clang_analyzer_express(x == y); // expected-warning {{$y - $x == 1}}  in compare_different_symbol_plus_left_plus_right_int_equal_unsigned()
591   unsigned x = f() + 2, y = f() - 1;  in compare_different_symbol_plus_left_minus_right_int_equal_unsigned()  local
592   clang_analyzer_denote(x - 2, "$x");  in compare_different_symbol_plus_left_minus_right_int_equal_unsigned()
593   clang_analyzer_denote(y + 1, "$y");  in compare_different_symbol_plus_left_minus_right_int_equal_unsigned()
594   clang_analyzer_express(x); // expected-warning {{$x + 2}}  in compare_different_symbol_plus_left_minus_right_int_equal_unsigned()
595   clang_analyzer_express(y); // expected-warning {{$y - 1}}  in compare_different_symbol_plus_left_minus_right_int_equal_unsigned()
596   clang_analyzer_express(x == y); // expected-warning {{$y - $x == 3}}  in compare_different_symbol_plus_left_minus_right_int_equal_unsigned()
600   unsigned x = f() - 2, y = f() + 1;  in compare_different_symbol_minus_left_plus_right_int_equal_unsigned()  local
602   clang_analyzer_denote(y - 1, "$y");  in compare_different_symbol_minus_left_plus_right_int_equal_unsigned()
603   clang_analyzer_express(x); // expected-warning {{$x - 2}}  in compare_different_symbol_minus_left_plus_right_int_equal_unsigned()
604   clang_analyzer_express(y); // expected-warning {{$y + 1}}  in compare_different_symbol_minus_left_plus_right_int_equal_unsigned()
605   clang_analyzer_express(x == y); // expected-warning {{$x - $y == 3}}  in compare_different_symbol_minus_left_plus_right_int_equal_unsigned()
609   unsigned x = f() - 2, y = f() - 1;  in compare_different_symbol_minus_left_minus_right_int_equal_unsigned()  local
611   clang_analyzer_denote(y + 1, "$y");  in compare_different_symbol_minus_left_minus_right_int_equal_unsigned()
612   clang_analyzer_express(x); // expected-warning {{$x - 2}}  in compare_different_symbol_minus_left_minus_right_int_equal_unsigned()
613   clang_analyzer_express(y); // expected-warning {{$y - 1}}  in compare_different_symbol_minus_left_minus_right_int_equal_unsigned()
614   clang_analyzer_express(x == y); // expected-warning {{$x - $y == 1}}  in compare_different_symbol_minus_left_minus_right_int_equal_unsigned()
618   unsigned x = f(), y = x;  in compare_same_symbol_equal_unsigned()  local
620   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_equal_unsigned()
621   clang_analyzer_eval(x == y); // expected-warning {{TRUE}}  in compare_same_symbol_equal_unsigned()
625   unsigned x = f(), y = x;  in compare_same_symbol_plus_left_int_equal_unsigned()  local
628   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_int_equal_unsigned()
629   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_plus_left_int_equal_unsigned()
630   clang_analyzer_express(x == y); // expected-warning {{$x + 1U == $x}}  in compare_same_symbol_plus_left_int_equal_unsigned()
634   unsigned x = f(), y = x;  in compare_same_symbol_minus_left_int_equal_unsigned()  local
636   --x;  in compare_same_symbol_minus_left_int_equal_unsigned()
637   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_int_equal_unsigned()
638   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_minus_left_int_equal_unsigned()
639   clang_analyzer_express(x == y); // expected-warning {{$x - 1U == $x}}  in compare_same_symbol_minus_left_int_equal_unsigned()
643   unsigned x = f(), y = x + 1;  in compare_same_symbol_plus_right_int_equal_unsigned()  local
645   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_right_int_equal_unsigned()
646   clang_analyzer_express(x == y); // expected-warning {{$x == $x + 1U}}  in compare_same_symbol_plus_right_int_equal_unsigned()
650   unsigned x = f(), y = x - 1;  in compare_same_symbol_minus_right_int_equal_unsigned()  local
652   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_right_int_equal_unsigned()
653   clang_analyzer_express(x == y); // expected-warning {{$x == $x - 1U}}  in compare_same_symbol_minus_right_int_equal_unsigned()
657   unsigned x = f(), y = x + 1;  in compare_same_symbol_plus_left_plus_right_int_equal_unsigned()  local
660   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_plus_right_int_equal_unsigned()
661   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_plus_right_int_equal_unsigned()
662   clang_analyzer_eval(x == y); // expected-warning {{TRUE}}  in compare_same_symbol_plus_left_plus_right_int_equal_unsigned()
666   unsigned x = f(), y = x - 1;  in compare_same_symbol_plus_left_minus_right_int_equal_unsigned()  local
669   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_minus_right_int_equal_unsigned()
670   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_plus_left_minus_right_int_equal_unsigned()
671   clang_analyzer_express(x == y); // expected-warning {{$x + 1U == $x - 1U}}  in compare_same_symbol_plus_left_minus_right_int_equal_unsigned()
675   unsigned x = f(), y = x + 1;  in compare_same_symbol_minus_left_plus_right_int_equal_unsigned()  local
677   --x;  in compare_same_symbol_minus_left_plus_right_int_equal_unsigned()
678   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_plus_right_int_equal_unsigned()
679   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_minus_left_plus_right_int_equal_unsigned()
680   clang_analyzer_express(x == y); // expected-warning {{$x - 1U == $x + 1U}}  in compare_same_symbol_minus_left_plus_right_int_equal_unsigned()
684   unsigned x = f(), y = x - 1;  in compare_same_symbol_minus_left_minus_right_int_equal_unsigned()  local
686   --x;  in compare_same_symbol_minus_left_minus_right_int_equal_unsigned()
687   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_minus_right_int_equal_unsigned()
688   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_minus_right_int_equal_unsigned()
689   clang_analyzer_eval(x == y); // expected-warning {{TRUE}}  in compare_same_symbol_minus_left_minus_right_int_equal_unsigned()
693   unsigned x = f(), y = f();  in compare_different_symbol_less_or_equal_unsigned()  local
695   clang_analyzer_denote(y, "$y");  in compare_different_symbol_less_or_equal_unsigned()
696   clang_analyzer_express(y); // expected-warning {{$y}}  in compare_different_symbol_less_or_equal_unsigned()
697   clang_analyzer_express(x <= y); // expected-warning {{$x - $y <= 0}}  in compare_different_symbol_less_or_equal_unsigned()
701   unsigned x = f() + 1, y = f();  in compare_different_symbol_plus_left_int_less_or_equal_unsigned()  local
702   clang_analyzer_denote(x - 1, "$x");  in compare_different_symbol_plus_left_int_less_or_equal_unsigned()
703   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_left_int_less_or_equal_unsigned()
704   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_different_symbol_plus_left_int_less_or_equal_unsigned()
705   clang_analyzer_express(y); // expected-warning {{$y}}  in compare_different_symbol_plus_left_int_less_or_equal_unsigned()
706   clang_analyzer_express(x <= y); // expected-warning {{$y - $x >= 1}}  in compare_different_symbol_plus_left_int_less_or_equal_unsigned()
710   unsigned x = f() - 1, y = f();  in compare_different_symbol_minus_left_int_less_or_equal_unsigned()  local
712   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_left_int_less_or_equal_unsigned()
713   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_different_symbol_minus_left_int_less_or_equal_unsigned()
714   clang_analyzer_express(y); // expected-warning {{$y}}  in compare_different_symbol_minus_left_int_less_or_equal_unsigned()
715   clang_analyzer_express(x <= y); // expected-warning {{$x - $y <= 1}}  in compare_different_symbol_minus_left_int_less_or_equal_unsigned()
719   unsigned x = f(), y = f() + 2;  in compare_different_symbol_plus_right_int_less_or_equal_unsigned()  local
721   clang_analyzer_denote(y - 2, "$y");  in compare_different_symbol_plus_right_int_less_or_equal_unsigned()
722   clang_analyzer_express(y); // expected-warning {{$y + 2}}  in compare_different_symbol_plus_right_int_less_or_equal_unsigned()
723   clang_analyzer_express(x <= y); // expected-warning {{$x - $y <= 2}}  in compare_different_symbol_plus_right_int_less_or_equal_unsigned()
727   unsigned x = f(), y = f() - 2;  in compare_different_symbol_minus_right_int_less_or_equal_unsigned()  local
729   clang_analyzer_denote(y + 2, "$y");  in compare_different_symbol_minus_right_int_less_or_equal_unsigned()
730   clang_analyzer_express(y); // expected-warning {{$y - 2}}  in compare_different_symbol_minus_right_int_less_or_equal_unsigned()
731   clang_analyzer_express(x <= y); // expected-warning {{$y - $x >= 2}}  in compare_different_symbol_minus_right_int_less_or_equal_unsigned()
735   unsigned x = f() + 2, y = f() + 1;  in compare_different_symbol_plus_left_plus_right_int_less_or_equal_unsigned()  local
736   clang_analyzer_denote(x - 2, "$x");  in compare_different_symbol_plus_left_plus_right_int_less_or_equal_unsigned()
737   clang_analyzer_denote(y - 1, "$y");  in compare_different_symbol_plus_left_plus_right_int_less_or_equal_unsigned()
738   clang_analyzer_express(x); // expected-warning {{$x + 2}}  in compare_different_symbol_plus_left_plus_right_int_less_or_equal_unsigned()
739   clang_analyzer_express(y); // expected-warning {{$y + 1}}  in compare_different_symbol_plus_left_plus_right_int_less_or_equal_unsigned()
740   clang_analyzer_express(x <= y); // expected-warning {{$y - $x >= 1}}  in compare_different_symbol_plus_left_plus_right_int_less_or_equal_unsigned()
744   unsigned x = f() + 2, y = f() - 1;  in compare_different_symbol_plus_left_minus_right_int_less_or_equal_unsigned()  local
745   clang_analyzer_denote(x - 2, "$x");  in compare_different_symbol_plus_left_minus_right_int_less_or_equal_unsigned()
746   clang_analyzer_denote(y + 1, "$y");  in compare_different_symbol_plus_left_minus_right_int_less_or_equal_unsigned()
747   clang_analyzer_express(x); // expected-warning {{$x + 2}}  in compare_different_symbol_plus_left_minus_right_int_less_or_equal_unsigned()
748   clang_analyzer_express(y); // expected-warning {{$y - 1}}  in compare_different_symbol_plus_left_minus_right_int_less_or_equal_unsigned()
749   clang_analyzer_express(x <= y); // expected-warning {{$y - $x >= 3}}  in compare_different_symbol_plus_left_minus_right_int_less_or_equal_unsigned()
753   unsigned x = f() - 2, y = f() + 1;  in compare_different_symbol_minus_left_plus_right_int_less_or_equal_unsigned()  local
755   clang_analyzer_denote(y - 1, "$y");  in compare_different_symbol_minus_left_plus_right_int_less_or_equal_unsigned()
756   clang_analyzer_express(x); // expected-warning {{$x - 2}}  in compare_different_symbol_minus_left_plus_right_int_less_or_equal_unsigned()
757   clang_analyzer_express(y); // expected-warning {{$y + 1}}  in compare_different_symbol_minus_left_plus_right_int_less_or_equal_unsigned()
758   clang_analyzer_express(x <= y); // expected-warning {{$x - $y <= 3}}  in compare_different_symbol_minus_left_plus_right_int_less_or_equal_unsigned()
762   unsigned x = f() - 2, y = f() - 1;  in compare_different_symbol_minus_left_minus_right_int_less_or_equal_unsigned()  local
764   clang_analyzer_denote(y + 1, "$y");  in compare_different_symbol_minus_left_minus_right_int_less_or_equal_unsigned()
765   clang_analyzer_express(x); // expected-warning {{$x - 2}}  in compare_different_symbol_minus_left_minus_right_int_less_or_equal_unsigned()
766   clang_analyzer_express(y); // expected-warning {{$y - 1}}  in compare_different_symbol_minus_left_minus_right_int_less_or_equal_unsigned()
767   clang_analyzer_express(x <= y); // expected-warning {{$x - $y <= 1}}  in compare_different_symbol_minus_left_minus_right_int_less_or_equal_unsigned()
771   unsigned x = f(), y = x;  in compare_same_symbol_less_or_equal_unsigned()  local
773   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_less_or_equal_unsigned()
774   clang_analyzer_eval(x <= y); // expected-warning {{TRUE}}  in compare_same_symbol_less_or_equal_unsigned()
778   unsigned x = f(), y = x;  in compare_same_symbol_plus_left_int_less_or_equal_unsigned()  local
781   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_int_less_or_equal_unsigned()
782   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_plus_left_int_less_or_equal_unsigned()
783   clang_analyzer_express(x <= y); // expected-warning {{$x + 1U <= $x}}  in compare_same_symbol_plus_left_int_less_or_equal_unsigned()
787   unsigned x = f(), y = x;  in compare_same_symbol_minus_left_int_less_or_equal_unsigned()  local
789   --x;  in compare_same_symbol_minus_left_int_less_or_equal_unsigned()
790   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_int_less_or_equal_unsigned()
791   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_minus_left_int_less_or_equal_unsigned()
792   clang_analyzer_express(x <= y); // expected-warning {{$x - 1U <= $x}}  in compare_same_symbol_minus_left_int_less_or_equal_unsigned()
796   unsigned x = f(), y = x + 1;  in compare_same_symbol_plus_right_int_less_or_equal_unsigned()  local
798   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_right_int_less_or_equal_unsigned()
799   clang_analyzer_express(x <= y); // expected-warning {{$x <= $x + 1U}}  in compare_same_symbol_plus_right_int_less_or_equal_unsigned()
803   unsigned x = f(), y = x - 1;  in compare_same_symbol_minus_right_int_less_or_equal_unsigned()  local
805   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_right_int_less_or_equal_unsigned()
806   clang_analyzer_express(x <= y); // expected-warning {{$x <= $x - 1U}}  in compare_same_symbol_minus_right_int_less_or_equal_unsigned()
810   unsigned x = f(), y = x + 1;  in compare_same_symbol_plus_left_plus_right_int_less_or_equal_unsigned()  local
813   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_plus_right_int_less_or_equal_unsigned()
814   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_plus_right_int_less_or_equal_unsigned()
815   clang_analyzer_eval(x <= y); // expected-warning {{TRUE}}  in compare_same_symbol_plus_left_plus_right_int_less_or_equal_unsigned()
819   unsigned x = f(), y = x - 1;  in compare_same_symbol_plus_left_minus_right_int_less_or_equal_unsigned()  local
822   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_minus_right_int_less_or_equal_unsigned()
823   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_plus_left_minus_right_int_less_or_equal_unsigned()
824   clang_analyzer_express(x <= y); // expected-warning {{$x + 1U <= $x - 1U}}  in compare_same_symbol_plus_left_minus_right_int_less_or_equal_unsigned()
828   unsigned x = f(), y = x + 1;  in compare_same_symbol_minus_left_plus_right_int_less_or_equal_unsigned()  local
830   --x;  in compare_same_symbol_minus_left_plus_right_int_less_or_equal_unsigned()
831   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_plus_right_int_less_or_equal_unsigned()
832   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_minus_left_plus_right_int_less_or_equal_unsigned()
833   clang_analyzer_express(x <= y); // expected-warning {{$x - 1U <= $x + 1U}}  in compare_same_symbol_minus_left_plus_right_int_less_or_equal_unsigned()
837   unsigned x = f(), y = x - 1;  in compare_same_symbol_minus_left_minus_right_int_less_or_equal_unsigned()  local
839   --x;  in compare_same_symbol_minus_left_minus_right_int_less_or_equal_unsigned()
840   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_minus_right_int_less_or_equal_unsigned()
841   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_minus_right_int_less_or_equal_unsigned()
842   clang_analyzer_eval(x <= y); // expected-warning {{TRUE}}  in compare_same_symbol_minus_left_minus_right_int_less_or_equal_unsigned()
846   unsigned x = f(), y = f();  in compare_different_symbol_less_unsigned()  local
848   clang_analyzer_denote(y, "$y");  in compare_different_symbol_less_unsigned()
849   clang_analyzer_express(y); // expected-warning {{$y}}  in compare_different_symbol_less_unsigned()
850   clang_analyzer_express(x < y); // expected-warning {{$x - $y < 0}}  in compare_different_symbol_less_unsigned()
854   unsigned x = f() + 1, y = f();  in compare_different_symbol_plus_left_int_less_unsigned()  local
855   clang_analyzer_denote(x - 1, "$x");  in compare_different_symbol_plus_left_int_less_unsigned()
856   clang_analyzer_denote(y, "$y");  in compare_different_symbol_plus_left_int_less_unsigned()
857   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_different_symbol_plus_left_int_less_unsigned()
858   clang_analyzer_express(y); // expected-warning {{$y}}  in compare_different_symbol_plus_left_int_less_unsigned()
859   clang_analyzer_express(x < y); // expected-warning {{$y - $x > 1}}  in compare_different_symbol_plus_left_int_less_unsigned()
863   unsigned x = f() - 1, y = f();  in compare_different_symbol_minus_left_int_less_unsigned()  local
865   clang_analyzer_denote(y, "$y");  in compare_different_symbol_minus_left_int_less_unsigned()
866   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_different_symbol_minus_left_int_less_unsigned()
867   clang_analyzer_express(y); // expected-warning {{$y}}  in compare_different_symbol_minus_left_int_less_unsigned()
868   clang_analyzer_express(x < y); // expected-warning {{$x - $y < 1}}  in compare_different_symbol_minus_left_int_less_unsigned()
872   unsigned x = f(), y = f() + 2;  in compare_different_symbol_plus_right_int_less_unsigned()  local
874   clang_analyzer_denote(y - 2, "$y");  in compare_different_symbol_plus_right_int_less_unsigned()
875   clang_analyzer_express(y); // expected-warning {{$y + 2}}  in compare_different_symbol_plus_right_int_less_unsigned()
876   clang_analyzer_express(x < y); // expected-warning {{$x - $y < 2}}  in compare_different_symbol_plus_right_int_less_unsigned()
880   unsigned x = f(), y = f() - 2;  in compare_different_symbol_minus_right_int_less_unsigned()  local
882   clang_analyzer_denote(y + 2, "$y");  in compare_different_symbol_minus_right_int_less_unsigned()
883   clang_analyzer_express(y); // expected-warning {{$y - 2}}  in compare_different_symbol_minus_right_int_less_unsigned()
884   clang_analyzer_express(x < y); // expected-warning {{$y - $x > 2}}  in compare_different_symbol_minus_right_int_less_unsigned()
888   unsigned x = f() + 2, y = f() + 1;  in compare_different_symbol_plus_left_plus_right_int_less_unsigned()  local
889   clang_analyzer_denote(x - 2, "$x");  in compare_different_symbol_plus_left_plus_right_int_less_unsigned()
890   clang_analyzer_denote(y - 1, "$y");  in compare_different_symbol_plus_left_plus_right_int_less_unsigned()
891   clang_analyzer_express(x); // expected-warning {{$x + 2}}  in compare_different_symbol_plus_left_plus_right_int_less_unsigned()
892   clang_analyzer_express(y); // expected-warning {{$y + 1}}  in compare_different_symbol_plus_left_plus_right_int_less_unsigned()
893   clang_analyzer_express(x < y); // expected-warning {{$y - $x > 1}}  in compare_different_symbol_plus_left_plus_right_int_less_unsigned()
897   unsigned x = f() + 2, y = f() - 1;  in compare_different_symbol_plus_left_minus_right_int_less_unsigned()  local
898   clang_analyzer_denote(x - 2, "$x");  in compare_different_symbol_plus_left_minus_right_int_less_unsigned()
899   clang_analyzer_denote(y + 1, "$y");  in compare_different_symbol_plus_left_minus_right_int_less_unsigned()
900   clang_analyzer_express(x); // expected-warning {{$x + 2}}  in compare_different_symbol_plus_left_minus_right_int_less_unsigned()
901   clang_analyzer_express(y); // expected-warning {{$y - 1}}  in compare_different_symbol_plus_left_minus_right_int_less_unsigned()
902   clang_analyzer_express(x < y); // expected-warning {{$y - $x > 3}}  in compare_different_symbol_plus_left_minus_right_int_less_unsigned()
906   unsigned x = f() - 2, y = f() + 1;  in compare_different_symbol_minus_left_plus_right_int_less_unsigned()  local
908   clang_analyzer_denote(y - 1, "$y");  in compare_different_symbol_minus_left_plus_right_int_less_unsigned()
909   clang_analyzer_express(x); // expected-warning {{$x - 2}}  in compare_different_symbol_minus_left_plus_right_int_less_unsigned()
910   clang_analyzer_express(y); // expected-warning {{$y + 1}}  in compare_different_symbol_minus_left_plus_right_int_less_unsigned()
911   clang_analyzer_express(x < y); // expected-warning {{$x - $y < 3}}  in compare_different_symbol_minus_left_plus_right_int_less_unsigned()
915   unsigned x = f() - 2, y = f() - 1;  in compare_different_symbol_minus_left_minus_right_int_less_unsigned()  local
917   clang_analyzer_denote(y + 1, "$y");  in compare_different_symbol_minus_left_minus_right_int_less_unsigned()
918   clang_analyzer_express(x); // expected-warning {{$x - 2}}  in compare_different_symbol_minus_left_minus_right_int_less_unsigned()
919   clang_analyzer_express(y); // expected-warning {{$y - 1}}  in compare_different_symbol_minus_left_minus_right_int_less_unsigned()
920   clang_analyzer_express(x < y); // expected-warning {{$x - $y < 1}}  in compare_different_symbol_minus_left_minus_right_int_less_unsigned()
925 // These pass even with aggressive-binary-operation-simplification=false
928   unsigned x = f(), y = x;  in compare_same_symbol_less_unsigned()  local
930   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_less_unsigned()
931   clang_analyzer_eval(x < y); // expected-warning {{FALSE}}  in compare_same_symbol_less_unsigned()
935   unsigned x = f(), y = x;  in compare_same_symbol_plus_left_int_less_unsigned()  local
938   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_int_less_unsigned()
939   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_plus_left_int_less_unsigned()
940   clang_analyzer_express(x < y); // expected-warning {{$x + 1U < $x}}  in compare_same_symbol_plus_left_int_less_unsigned()
944   unsigned x = f(), y = x;  in compare_same_symbol_minus_left_int_less_unsigned()  local
946   --x;  in compare_same_symbol_minus_left_int_less_unsigned()
947   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_int_less_unsigned()
948   clang_analyzer_express(y); // expected-warning {{$x}}  in compare_same_symbol_minus_left_int_less_unsigned()
949   clang_analyzer_express(x < y); // expected-warning {{$x - 1U < $x}}  in compare_same_symbol_minus_left_int_less_unsigned()
953   unsigned x = f(), y = x + 1;  in compare_same_symbol_plus_right_int_less_unsigned()  local
955   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_right_int_less_unsigned()
956   clang_analyzer_express(x < y); // expected-warning {{$x < $x + 1U}}  in compare_same_symbol_plus_right_int_less_unsigned()
960   unsigned x = f(), y = x - 1;  in compare_same_symbol_minus_right_int_less_unsigned()  local
962   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_right_int_less_unsigned()
963   clang_analyzer_express(x < y); // expected-warning {{$x < $x - 1U}}  in compare_same_symbol_minus_right_int_less_unsigned()
967   unsigned x = f(), y = x + 1;  in compare_same_symbol_plus_left_plus_right_int_less_unsigned()  local
970   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_plus_right_int_less_unsigned()
971   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_plus_right_int_less_unsigned()
972   clang_analyzer_eval(x < y); // expected-warning {{FALSE}}  in compare_same_symbol_plus_left_plus_right_int_less_unsigned()
976   unsigned x = f(), y = x - 1;  in compare_same_symbol_plus_left_minus_right_int_less_unsigned()  local
979   clang_analyzer_express(x); // expected-warning {{$x + 1}}  in compare_same_symbol_plus_left_minus_right_int_less_unsigned()
980   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_plus_left_minus_right_int_less_unsigned()
981   clang_analyzer_express(x < y); // expected-warning {{$x + 1U < $x - 1U}}  in compare_same_symbol_plus_left_minus_right_int_less_unsigned()
985   unsigned x = f(), y = x + 1;  in compare_same_symbol_minus_left_plus_right_int_less_unsigned()  local
987   --x;  in compare_same_symbol_minus_left_plus_right_int_less_unsigned()
988   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_plus_right_int_less_unsigned()
989   clang_analyzer_express(y); // expected-warning {{$x + 1}}  in compare_same_symbol_minus_left_plus_right_int_less_unsigned()
990   clang_analyzer_express(x < y); // expected-warning {{$x - 1U < $x + 1U}}  in compare_same_symbol_minus_left_plus_right_int_less_unsigned()
994   unsigned x = f(), y = x - 1;  in compare_same_symbol_minus_left_minus_right_int_less_unsigned()  local
996   --x;  in compare_same_symbol_minus_left_minus_right_int_less_unsigned()
997   clang_analyzer_express(x); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_minus_right_int_less_unsigned()
998   clang_analyzer_express(y); // expected-warning {{$x - 1}}  in compare_same_symbol_minus_left_minus_right_int_less_unsigned()
999   clang_analyzer_eval(x < y); // expected-warning {{FALSE}}  in compare_same_symbol_minus_left_minus_right_int_less_unsigned()
1004     clang_analyzer_eval(n - 126 == m + 3); // expected-warning {{UNKNOWN}}  in overflow()
1008 int mixed_integer_types(int x, int y) {  in mixed_integer_types()  argument
1009   short a = x - 1U;  in mixed_integer_types()
1010   return a - y;  in mixed_integer_types()
1023   unsigned x = fu() + 1U, y = fu() + 1U;  in unsigned_concrete_int_no_crash()  local
1024   clang_analyzer_denote(x - 1U, "$x");  in unsigned_concrete_int_no_crash()
1025   clang_analyzer_denote(y - 1U, "$y");  in unsigned_concrete_int_no_crash()
1026   clang_analyzer_express(y); // expected-warning {{$y}}  in unsigned_concrete_int_no_crash()
1027   clang_analyzer_express(x == y); // expected-warning {{$x + 1U == $y + 1U}}  in unsigned_concrete_int_no_crash()