Home
last modified time | relevance | path

Searched refs:UINT_MID (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/clang/test/Analysis/
H A Dconstraint_manager_negate.c12 #define UINT_MID (UINT_MAX / 2 + 1) macro
87 _Static_assert(UINT_MID == -UINT_MID, "");
89 assert(a == UINT_MID); in negate_unsigned_mid()
90 clang_analyzer_eval(-a == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
91 clang_analyzer_eval(-a != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
95 assert(UINT_MIN < a && a < UINT_MID); in negate_unsigned_mid2()
98 clang_analyzer_eval(-a > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()
H A Dconstraint_manager_negate_difference.c11 #define UINT_MID (UINT_MAX / 2 + 1) macro
121 _Static_assert(UINT_MID == -UINT_MID, "");
123 assert(m - n == UINT_MID); in negate_unsigned_mid()
124 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
125 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
129 assert(UINT_MIN < m - n && m - n < UINT_MID); in negate_unsigned_mid2()
130 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()