5 #define UINT_MAX (~0U)  macro
6 #define INT_MAX (UINT_MAX & (UINT_MAX >> 1))
15     clang_analyzer_eval(a < UINT_MAX-1); // expected-warning{{TRUE}}  in smallAdjustmentGT()
17     clang_analyzer_eval(a == UINT_MAX-1 || a == UINT_MAX); // expected-warning{{TRUE}}  in smallAdjustmentGT()
22     clang_analyzer_eval(a < UINT_MAX-1 || a == UINT_MAX); // expected-warning{{TRUE}}  in smallAdjustmentGE()
24     clang_analyzer_eval(a == UINT_MAX-1); // expected-warning{{TRUE}}  in smallAdjustmentGE()
29     clang_analyzer_eval(a == 0 || a == UINT_MAX); // expected-warning{{TRUE}}  in smallAdjustmentLT()
34     clang_analyzer_eval(a == 0 || a == 1 || a == UINT_MAX); // expected-warning{{TRUE}}  in smallAdjustmentLE()
42   if (a-2 > UINT_MAX-1)  in largeAdjustmentGT()
49   if (a-2 >= UINT_MAX-1)  in largeAdjustmentGE()
57     clang_analyzer_eval(a == UINT_MAX-1); // expected-warning{{TRUE}}  in largeAdjustmentLT()
59     clang_analyzer_eval(a != UINT_MAX-1); // expected-warning{{TRUE}}  in largeAdjustmentLT()
64     clang_analyzer_eval(a == UINT_MAX-1 || a == UINT_MAX); // expected-warning{{TRUE}}  in largeAdjustmentLE()
66     clang_analyzer_eval(a < UINT_MAX-1); // expected-warning{{TRUE}}  in largeAdjustmentLE()