Lines Matching refs:UINT_MAX
5 #define UINT_MAX (~0U)
6 #define INT_MAX (UINT_MAX & (UINT_MAX >> 1))
44 if (a == UINT_MAX) {
46 clang_analyzer_eval(a-1 == UINT_MAX-1); // expected-warning{{TRUE}}
49 clang_analyzer_eval(a-1 != UINT_MAX-1); // expected-warning{{TRUE}}
75 if (a >= UINT_MAX)
76 clang_analyzer_eval(a == UINT_MAX); // expected-warning{{TRUE}}
78 clang_analyzer_eval(a != UINT_MAX); // expected-warning{{TRUE}}
82 if (a < UINT_MAX)
83 clang_analyzer_eval(a != UINT_MAX); // expected-warning{{TRUE}}
85 clang_analyzer_eval(a == UINT_MAX); // expected-warning{{TRUE}}
98 clang_analyzer_eval(a-1 > UINT_MAX-1); // expected-warning{{UNKNOWN}}
102 clang_analyzer_eval(a-1 > UINT_MAX-1); // expected-warning{{UNKNOWN}}
104 if (a-1 >= UINT_MAX-1)
105 clang_analyzer_eval(a == UINT_MAX); // expected-warning{{UNKNOWN}}
124 clang_analyzer_eval(a <= UINT_MAX); // expected-warning{{TRUE}}
190 clang_analyzer_eval(a == UINT_MAX); // expected-warning{{TRUE}}
194 if (a != UINT_MAX)