diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-09-02 01:42:44 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-09-02 01:42:44 +0000 |
commit | 6610e7ee74ba1e7c4d8d113b71d1f20ae3a37a43 (patch) | |
tree | 89bf3524ac86da242f22cd79b88bbba9d14c6e2f /test/Analysis/misc-ps-region-store.m | |
parent | a423e81a4d04b7c1882d2787d1189cbc14540c16 (diff) | |
download | clang-6610e7ee74ba1e7c4d8d113b71d1f20ae3a37a43.tar.gz |
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
Diffstat (limited to 'test/Analysis/misc-ps-region-store.m')
-rw-r--r-- | test/Analysis/misc-ps-region-store.m | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Analysis/misc-ps-region-store.m b/test/Analysis/misc-ps-region-store.m index 5cd9048c57..a4e0d0bfa6 100644 --- 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 |