[analyzer] fix test case expected warning

After r335814, the constraint manager is no longer generating a false bug report
about the division by zero in the test case.

This patch removes the expected false bug report.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@335932 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Analysis/z3-crosscheck.c b/test/Analysis/z3-crosscheck.c
index 66f778de8a3099c4bc64ddf3ef512a137524bf0e..67d410434fbb032f4ca2d5c14cd42d6708dc43a4 100644 (file)
--- a/test/Analysis/z3-crosscheck.c
+++ b/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;
   }
 }