[cfe-commits] r137007 - /cfe/trunk/test/Analysis/outofbound.c

[Ted Kremenek]

Author: kremenek
Date: Fri Aug  5 19:34:48 2011
New Revision: 137007

URL: http://llvm.org/viewvc/llvm-project?rev=137007&view=rev
Log:
[analyzer] add more buffer overflow tests to show we handle sizeof(VLA) in obstruse ways...

Modified:
    cfe/trunk/test/Analysis/outofbound.c

Modified: cfe/trunk/test/Analysis/outofbound.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/outofbound.c?rev=137007&r1=137006&r2=137007&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/outofbound.c (original)
+++ cfe/trunk/test/Analysis/outofbound.c Fri Aug  5 19:34:48 2011
@@ -72,6 +72,24 @@
   }
 }
 
+void sizeof_vla_2(int a) {
+  if (a == 5) {
+    char x[a];
+    int y[sizeof(x) / sizeof(char)];
+    y[4] = 4; // no-warning
+    y[5] = 5; // expected-warning{{out-of-bound}}
+  }
+}
+
+void sizeof_vla_3(int a) {
+  if (a == 5) {
+    char x[a];
+    int y[sizeof(*&*&*&x)];
+    y[4] = 4; // no-warning
+    y[5] = 5; // expected-warning{{out-of-bound}}
+  }
+}
+
 void alloca_region(int a) {
   if (a == 5) {
     char *x = __builtin_alloca(a);