diff options
| -rw-r--r-- | clang/test/Analysis/z3-crosscheck.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/clang/test/Analysis/z3-crosscheck.c b/clang/test/Analysis/z3-crosscheck.c index 66f778de8a3..67d410434fb 100644 --- a/clang/test/Analysis/z3-crosscheck.c +++ b/clang/test/Analysis/z3-crosscheck.c @@ -21,22 +21,14 @@ void f(int *a, int *b) { if ((a - b) == 0) c = 0; if (a != b) -#ifdef NO_CROSSCHECK - g(3 / c); // expected-warning {{Division by zero}} -#else g(3 / c); // no-warning -#endif } _Bool nondet_bool(); void h(int d) { int x, y, k, z = 1; -#ifdef NO_CROSSCHECK while (z < k) { // expected-warning {{The right operand of '<' is a garbage value}} -#else - while (z < k) { // expected-warning {{The right operand of '<' is a garbage value}} -#endif z = 2 * z; } } |
