[cfe-commits] r65036 - /cfe/trunk/test/Analysis/array-struct.c

[Zhongxing Xu]

Author: zhongxingxu
Date: Thu Feb 19 02:42:43 2009
New Revision: 65036

URL: http://llvm.org/viewvc/llvm-project?rev=65036&view=rev
Log:
add test case.

Modified:
    cfe/trunk/test/Analysis/array-struct.c

Modified: cfe/trunk/test/Analysis/array-struct.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/array-struct.c?rev=65036&r1=65035&r2=65036&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/array-struct.c (original)
+++ cfe/trunk/test/Analysis/array-struct.c Thu Feb 19 02:42:43 2009
@@ -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;
+}