[analyzer] Logging test quickfix #2.

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

diff --git a/test/Analysis/region_store_overflow.c b/test/Analysis/region_store_overflow.c
index 9a31af113a39ae6be265dd19b71ff8cffb5e64a7..6401b83636cac6c7cb79c35ee0d1b8714735f4f4 100644 (file)
--- a/test/Analysis/region_store_overflow.c
+++ b/test/Analysis/region_store_overflow.c
@@ -1,6 +1,6 @@
-// RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core -mllvm -debug-only=MemRegion %s 2>&1 | FileCheck %s
-// REQUIRES: asserts
+// RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core -verify %s
 
+// expected-no-diagnostics
 int **h;
 int overflow_in_memregion(long j) {
   for (int l = 0;; ++l) {
@@ -9,4 +9,3 @@ int overflow_in_memregion(long j) {
   }
   return 0;
 }
-// CHECK: MemRegion::getAsArrayOffset: offset overflowing, returning unknown