RegionStoreManager also passes this test file.

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

diff --git a/test/Analysis/no-outofbounds-basicstore.c b/test/Analysis/no-outofbounds-basicstore.c
index b0fcf1959cc8268d5072a7be6b4310f39a5707b6..7aeae7e11d1e61372e3fcc6f027aca78d4aa268c 100644 (file)
--- a/test/Analysis/no-outofbounds-basicstore.c
+++ b/test/Analysis/no-outofbounds-basicstore.c
@@ -1,5 +1,10 @@
 // RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s &&
-// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic-old-cast -verify %s
+// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic-old-cast -verify %s &&
+// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s
+
+//===----------------------------------------------------------------------===//
+// This file tests cases where we should not flag out-of-bounds warnings.
+//===----------------------------------------------------------------------===//
 
 void f() {
   long x = 0;