[analyzer] Logging test quickfix #2.

George Karpenkov · George Karpenkov · commit 6a5004229cc7 · 2018-03-07T11:23:01.000-08:00
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
@@ -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

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`		`-// RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core -mllvm -debug-only=MemRegion %s 2>&1 \| FileCheck %s`
`2`		`-// REQUIRES: asserts`
	`1`	`+// RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core -verify %s`
`3`	`2`
	`3`	`+// expected-no-diagnostics`
`4`	`4`	`int **h;`
`5`	`5`	`int overflow_in_memregion(long j) {`
`6`	`6`	`for (int l = 0;; ++l) {`
`@@ -9,4 +9,3 @@ int overflow_in_memregion(long j) {`
`9`	`9`	`}`
`10`	`10`	`return 0;`
`11`	`11`	`}`
`12`		`-// CHECK: MemRegion::getAsArrayOffset: offset overflowing, returning unknown`