Add another test case for PR 8015, here with the array index being within a valid...

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

diff --git a/test/Analysis/misc-ps-region-store.m b/test/Analysis/misc-ps-region-store.m
index 5b6a7c7bfa6606705d3628a8abbdcd251e203d39..4aedac22104ad43e85b1a84a15cd7ac1948c41c1 100644 (file)
--- a/test/Analysis/misc-ps-region-store.m
+++ b/test/Analysis/misc-ps-region-store.m
@@ -1116,3 +1116,12 @@ void pr8015_D_FIXME() {
   }
 }
 
+void pr8015_E() {
+  // Similar to pr8015_C, but number is allowed to be a valid range.
+  int number = pr8015_A();
+  const char *numbers[] = { "zero", "one", "two" };
+  if (number < 3) {
+    pr8015_B(numbers[number]); // no-warning
+  }
+}
+