Home
last modified time | relevance | path

Searched refs:UINT_MIN (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/clang/test/Analysis/
H A Dconstraint_manager_negate.c10 #define UINT_MIN (0U) macro
11 #define UINT_MAX (~UINT_MIN)
69 assert(a == UINT_MIN); in negate_unsigned_min()
70 clang_analyzer_eval(-a == UINT_MIN); // expected-warning{{TRUE}} in negate_unsigned_min()
71 clang_analyzer_eval(-a != UINT_MIN); // expected-warning{{FALSE}} in negate_unsigned_min()
72 clang_analyzer_eval(-a > UINT_MIN); // expected-warning{{FALSE}} in negate_unsigned_min()
73 clang_analyzer_eval(-a < UINT_MIN); // expected-warning{{FALSE}} in negate_unsigned_min()
95 assert(UINT_MIN < a && a < UINT_MID); in negate_unsigned_mid2()
H A Dconstraint_manager_negate_difference.c9 #define UINT_MIN (0U) macro
10 #define UINT_MAX (~UINT_MIN)
107 assert(m - n == UINT_MIN); in negate_unsigned_min()
108 clang_analyzer_eval(n - m == UINT_MIN); // expected-warning{{TRUE}} in negate_unsigned_min()
109 clang_analyzer_eval(n - m != UINT_MIN); // expected-warning{{FALSE}} in negate_unsigned_min()
110 clang_analyzer_eval(n - m > UINT_MIN); // expected-warning{{FALSE}} in negate_unsigned_min()
111 clang_analyzer_eval(n - m < UINT_MIN); // expected-warning{{FALSE}} in negate_unsigned_min()
129 assert(UINT_MIN < m - n && m - n < UINT_MID); in negate_unsigned_mid2()
/llvm-project-15.0.7/llvm/test/Transforms/IndVarSimplify/X86/
H A Deliminate-trunc.ll298 ; Minimum value at which we can apply the transform: UINT_MIN.
353 ; Trunc changes the actual value of the IV, so it is invalid to remove it: UINT_MIN - 1.