commit 002839ee1dbb38425ec892074ad5876f588bd292
author Zhongxing Xu <xuzhongxing@gmail.com> Thu Feb 19 08:42:43 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Thu Feb 19 08:42:43 2009 +0000
tree f33737d2286b223ff92897cff60799c2972c067c
parent bac49106aa4d4a515c76068daeb3a8c998801216

add test case.


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

test/Analysis/array-struct.c

diff --git a/test/Analysis/array-struct.c b/test/Analysis/array-struct.c
index bf615c3..86858d7 100644
--- a/test/Analysis/array-struct.c
+++ b/test/Analysis/array-struct.c
@@ -97,3 +97,10 @@
   if (a.data == 0) // no-warning
     a.data = 1;
 }
+
+// Convert unsigned offset to signed when creating ElementRegion from 
+// SymbolicRegion.
+void f12(int *list) {
+  unsigned i = 0;
+  list[i] = 1;
+}