Cross Reference: /external/clang/test/Analysis/additive-folding.cpp

Lines Matching defs: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)