Lines Matching refs:UINT_MAX
5 #define UINT_MAX (~0U)
6 #define INT_MAX (UINT_MAX & (UINT_MAX >> 1))
15 clang_analyzer_eval(a < UINT_MAX-1); // expected-warning{{TRUE}}
17 clang_analyzer_eval(a == UINT_MAX-1 || a == UINT_MAX); // expected-warning{{TRUE}}
22 clang_analyzer_eval(a < UINT_MAX-1 || a == UINT_MAX); // expected-warning{{TRUE}}
24 clang_analyzer_eval(a == UINT_MAX-1); // expected-warning{{TRUE}}
29 clang_analyzer_eval(a == 0 || a == UINT_MAX); // expected-warning{{TRUE}}
34 clang_analyzer_eval(a == 0 || a == 1 || a == UINT_MAX); // expected-warning{{TRUE}}
42 if (a-2 > UINT_MAX-1)
49 if (a-2 >= UINT_MAX-1)
57 clang_analyzer_eval(a == UINT_MAX-1); // expected-warning{{TRUE}}
59 clang_analyzer_eval(a != UINT_MAX-1); // expected-warning{{TRUE}}
64 clang_analyzer_eval(a == UINT_MAX-1 || a == UINT_MAX); // expected-warning{{TRUE}}
66 clang_analyzer_eval(a < UINT_MAX-1); // expected-warning{{TRUE}}
176 unsigned max = UINT_MAX;
183 unsigned max = UINT_MAX;
303 clang_analyzer_eval(a == UINT_MAX); // expected-warning{{UNKNOWN}}