Home
last modified time | relevance | path

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

/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/Analysis/
H A Dconstraint_manager_negate_difference.c9 #define UINT_MID (UINT_MAX / 2 + 1) macro
126 if (m - n == UINT_MID) { in negate_unsigned_mid()
127 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
128 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
133 if (m - n < UINT_MID && m - n > UINT_MIN) { in negate_unsigned_mid2()
134 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()
135 clang_analyzer_eval(n - m < UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid2()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/Analysis/
H A Dconstraint_manager_negate_difference.c9 #define UINT_MID (UINT_MAX / 2 + 1) macro
126 if (m - n == UINT_MID) { in negate_unsigned_mid()
127 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
128 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
133 if (m - n < UINT_MID && m - n > UINT_MIN) { in negate_unsigned_mid2()
134 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()
135 clang_analyzer_eval(n - m < UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid2()
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/Analysis/
H A Dconstraint_manager_negate_difference.c9 #define UINT_MID (UINT_MAX / 2 + 1) macro
126 if (m - n == UINT_MID) { in negate_unsigned_mid()
127 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
128 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
133 if (m - n < UINT_MID && m - n > UINT_MIN) { in negate_unsigned_mid2()
134 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()
135 clang_analyzer_eval(n - m < UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid2()
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/Analysis/
H A Dconstraint_manager_negate_difference.c9 #define UINT_MID (UINT_MAX / 2 + 1) macro
126 if (m - n == UINT_MID) { in negate_unsigned_mid()
127 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
128 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
133 if (m - n < UINT_MID && m - n > UINT_MIN) { in negate_unsigned_mid2()
134 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()
135 clang_analyzer_eval(n - m < UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid2()
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/Analysis/
H A Dconstraint_manager_negate_difference.c9 #define UINT_MID (UINT_MAX / 2 + 1) macro
126 if (m - n == UINT_MID) { in negate_unsigned_mid()
127 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
128 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
133 if (m - n < UINT_MID && m - n > UINT_MIN) { in negate_unsigned_mid2()
134 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()
135 clang_analyzer_eval(n - m < UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid2()
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/Analysis/
H A Dconstraint_manager_negate_difference.c9 #define UINT_MID (UINT_MAX / 2 + 1) macro
126 if (m - n == UINT_MID) { in negate_unsigned_mid()
127 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
128 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
133 if (m - n < UINT_MID && m - n > UINT_MIN) { in negate_unsigned_mid2()
134 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()
135 clang_analyzer_eval(n - m < UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid2()
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/test/Analysis/
H A Dconstraint_manager_negate_difference.c9 #define UINT_MID (UINT_MAX / 2 + 1) macro
126 if (m - n == UINT_MID) { in negate_unsigned_mid()
127 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
128 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
133 if (m - n < UINT_MID && m - n > UINT_MIN) { in negate_unsigned_mid2()
134 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()
135 clang_analyzer_eval(n - m < UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid2()
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/test/Analysis/
H A Dconstraint_manager_negate_difference.c9 #define UINT_MID (UINT_MAX / 2 + 1) macro
126 if (m - n == UINT_MID) { in negate_unsigned_mid()
127 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
128 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
133 if (m - n < UINT_MID && m - n > UINT_MIN) { in negate_unsigned_mid2()
134 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()
135 clang_analyzer_eval(n - m < UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid2()
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/test/Analysis/
H A Dconstraint_manager_negate_difference.c9 #define UINT_MID (UINT_MAX / 2 + 1) macro
126 if (m - n == UINT_MID) { in negate_unsigned_mid()
127 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
128 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
133 if (m - n < UINT_MID && m - n > UINT_MIN) { in negate_unsigned_mid2()
134 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()
135 clang_analyzer_eval(n - m < UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid2()
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/test/Analysis/
H A Dconstraint_manager_negate_difference.c9 #define UINT_MID (UINT_MAX / 2 + 1) macro
126 if (m - n == UINT_MID) { in negate_unsigned_mid()
127 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
128 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
133 if (m - n < UINT_MID && m - n > UINT_MIN) { in negate_unsigned_mid2()
134 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()
135 clang_analyzer_eval(n - m < UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid2()
/dports/lang/clang-mesa/clang-13.0.1.src/test/Analysis/
H A Dconstraint_manager_negate_difference.c9 #define UINT_MID (UINT_MAX / 2 + 1) macro
126 if (m - n == UINT_MID) { in negate_unsigned_mid()
127 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid()
128 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid()
133 if (m - n < UINT_MID && m - n > UINT_MIN) { in negate_unsigned_mid2()
134 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}} in negate_unsigned_mid2()
135 clang_analyzer_eval(n - m < UINT_MID); // expected-warning{{FALSE}} in negate_unsigned_mid2()