Author: mramalho Date: Thu Jun 28 15:08:44 2018 New Revision: 335932 URL: http://llvm.org/viewvc/llvm-project?rev=335932&view=rev Log: [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. Modified: cfe/trunk/test/Analysis/z3-crosscheck.c Modified: cfe/trunk/test/Analysis/z3-crosscheck.c URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/z3-crosscheck.c?rev=335932&r1=335931&r2=335932&view=diff ============================================================================== --- cfe/trunk/test/Analysis/z3-crosscheck.c (original) +++ cfe/trunk/test/Analysis/z3-crosscheck.c Thu Jun 28 15:08:44 2018 @@ -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; } } _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits