r326229 - [analyzer] Logging test quickfix #2.

[George Karpenkov via cfe-commits]

Author: george.karpenkov
Date: Tue Feb 27 11:19:43 2018
New Revision: 326229

URL: http://llvm.org/viewvc/llvm-project?rev=326229&view=rev
Log:
[analyzer] Logging test quickfix #2.

Modified:
    cfe/trunk/test/Analysis/region_store_overflow.c

Modified: cfe/trunk/test/Analysis/region_store_overflow.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/region_store_overflow.c?rev=326229&r1=326228&r2=326229&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/region_store_overflow.c (original)
+++ cfe/trunk/test/Analysis/region_store_overflow.c Tue Feb 27 11:19:43 2018
@@ -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