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