75   int min = INT_MIN;  in mixedComparisons1()  local
77   clang_analyzer_eval((a - 2) >= (min + 5LL)); // expected-warning{{TRUE}}  in mixedComparisons1()
143   int min = INT_MIN;  in mixedComparisons7()  local
145   clang_analyzer_eval((a + 2) >= (min + 5LL)); // expected-warning{{TRUE}}  in mixedComparisons7()
204   int min = INT_MIN;  in mixedSignedness5()  local
205   clang_analyzer_eval(a < min); // expected-warning{{UNKNOWN}}  in mixedSignedness5()
206   clang_analyzer_eval((a + 2) < min); // expected-warning{{UNKNOWN}}  in mixedSignedness5()
207   clang_analyzer_eval((a + 2U) < min); // expected-warning{{UNKNOWN}}  in mixedSignedness5()
211   int min = INT_MIN;  in mixedSignedness6()  local
212   clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness6()
213   clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness6()
214   clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness6()
218   unsigned min = 0;  in mixedSignedness7()  local
219   clang_analyzer_eval(a < min); // expected-warning{{FALSE}}  in mixedSignedness7()
220   clang_analyzer_eval((a + 2) < min); // expected-warning{{FALSE}}  in mixedSignedness7()
221   clang_analyzer_eval((a + 2U) < min); // expected-warning{{FALSE}}  in mixedSignedness7()
225   unsigned min = 0;  in mixedSignedness8()  local
226   clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness8()
227   clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness8()
228   clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness8()
232   int min = 0;  in mixedSignedness9()  local
233   clang_analyzer_eval(a < min); // expected-warning{{FALSE}}  in mixedSignedness9()
234   clang_analyzer_eval((a + 2) < min); // expected-warning{{FALSE}}  in mixedSignedness9()
235   clang_analyzer_eval((a + 2U) < min); // expected-warning{{FALSE}}  in mixedSignedness9()
239   int min = 0;  in mixedSignedness10()  local
240   clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness10()
241   clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness10()
242   clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness10()
246   int min = 0;  in mixedSignedness11()  local
247   clang_analyzer_eval(a < min); // expected-warning{{UNKNOWN}}  in mixedSignedness11()
248   clang_analyzer_eval((a + 2) < min); // expected-warning{{UNKNOWN}}  in mixedSignedness11()
249   clang_analyzer_eval((a + 2U) < min); // expected-warning{{FALSE}}  in mixedSignedness11()
253   int min = 0;  in mixedSignedness12()  local
254   clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness12()
255   clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness12()
256   clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness12()
274   unsigned min = INT_MIN;  in mixedSignedness15()  local
275   clang_analyzer_eval(a < min); // expected-warning{{UNKNOWN}}  in mixedSignedness15()
276   clang_analyzer_eval((a + 2) < min); // expected-warning{{UNKNOWN}}  in mixedSignedness15()
277   clang_analyzer_eval((a + 2U) < min); // expected-warning{{UNKNOWN}}  in mixedSignedness15()
281   unsigned min = INT_MIN;  in mixedSignedness16()  local
282   clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness16()
283   clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness16()
284   clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}}  in mixedSignedness16()