Author: zhongxingxu
Date: Wed Sep 1 20:42:44 2010
New Revision: 112794
URL: http://llvm.org/viewvc/llvm-project?rev=112794&view=rev
Log:
Tweak test case. 'int' would introduce out-of-bound issues. We focus on array
index constraints in this case.
Modified:
cfe/trunk/test/Analysis/misc-ps-region-store.m
Modified: cfe/trunk/test/Analysis/misc-ps-region-store.m
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps-region-store.m?rev=112794&r1=112793&r2=112794&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/misc-ps-region-store.m (original)
+++ cfe/trunk/test/Analysis/misc-ps-region-store.m Wed Sep 1 20:42:44 2010
@@ -1118,7 +1118,7 @@
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
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
