165   int max = INT_MAX;  in mixedComparisons9()  local
167   clang_analyzer_eval((a + 2) <= (max - 5LL)); // expected-warning{{TRUE}}  in mixedComparisons9()
176   unsigned max = UINT_MAX;  in mixedSignedness1()  local
177   clang_analyzer_eval(a < max); // expected-warning{{UNKNOWN}}  in mixedSignedness1()
178   clang_analyzer_eval((a + 2) < max); // expected-warning{{UNKNOWN}}  in mixedSignedness1()
179   clang_analyzer_eval((a + 2U) < max); // expected-warning{{UNKNOWN}}  in mixedSignedness1()
183   unsigned max = UINT_MAX;  in mixedSignedness2()  local
184   clang_analyzer_eval(a <= max); // expected-warning{{TRUE}}  in mixedSignedness2()
185   clang_analyzer_eval((a + 2) <= max); // expected-warning{{TRUE}}  in mixedSignedness2()
186   clang_analyzer_eval((a + 2U) <= max); // expected-warning{{TRUE}}  in mixedSignedness2()
190   int max = INT_MAX;  in mixedSignedness3()  local
191   clang_analyzer_eval(a < max); // expected-warning{{UNKNOWN}}  in mixedSignedness3()
192   clang_analyzer_eval((a + 2) < max); // expected-warning{{UNKNOWN}}  in mixedSignedness3()
193   clang_analyzer_eval((a + 2U) < max); // expected-warning{{UNKNOWN}}  in mixedSignedness3()
197   int max = INT_MAX;  in mixedSignedness4()  local
198   clang_analyzer_eval(a <= max); // expected-warning{{UNKNOWN}}  in mixedSignedness4()
199   clang_analyzer_eval((a + 2) <= max); // expected-warning{{UNKNOWN}}  in mixedSignedness4()
200   clang_analyzer_eval((a + 2U) <= max); // expected-warning{{UNKNOWN}}  in mixedSignedness4()
260   unsigned max = INT_MAX;  in mixedSignedness13()  local
261   clang_analyzer_eval(a < max); // expected-warning{{UNKNOWN}}  in mixedSignedness13()
262   clang_analyzer_eval((a + 2) < max); // expected-warning{{UNKNOWN}}  in mixedSignedness13()
263   clang_analyzer_eval((a + 2U) < max); // expected-warning{{UNKNOWN}}  in mixedSignedness13()
267   unsigned max = INT_MAX;  in mixedSignedness14()  local
268   clang_analyzer_eval(a <= max); // expected-warning{{UNKNOWN}}  in mixedSignedness14()
269   clang_analyzer_eval((a + 2) <= max); // expected-warning{{UNKNOWN}}  in mixedSignedness14()
270   clang_analyzer_eval((a + 2U) <= max); // expected-warning{{UNKNOWN}}  in mixedSignedness14()
288   unsigned max = INT_MAX;  in mixedSignedness17()  local
289   if (a < max)  in mixedSignedness17()