add test case.

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

diff --git a/test/Analysis/array-struct.c b/test/Analysis/array-struct.c
index bf615c3fc89858113127d3e9185746a18b5b31bd..86858d7bd2c70401fe8034fcc1111fddb63f6fa4 100644 (file)
--- a/test/Analysis/array-struct.c
+++ b/test/Analysis/array-struct.c
@@ -97,3 +97,10 @@ void f11() {
   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;
+}