Tweak test case. 'int' would introduce out-of-bound issues. We focus on array

index constraints in this case.

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

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