From: Mikhail R. Gadelha <mikhail.ramalho@gmail.com>
Date: Thu, 28 Jun 2018 22:08:44 +0000 (+0000)
Subject: [analyzer] fix test case expected warning
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=1670f60ecbfc01f65c752093196735f29c212dbb;p=clang

[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 66f778de8a..67d410434f 100644
--- 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;
   }
 }