From: George Karpenkov <ekarpenkov@apple.com>
Date: Tue, 27 Feb 2018 19:19:43 +0000 (+0000)
Subject: [analyzer] Logging test quickfix #2.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6d40150029c1c8a111dcee4c4b0cef92186c2186;p=clang

[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 9a31af113a..6401b83636 100644
--- 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