Test: Buffer overrun

testbufferoverrun1/testbufferoverrun1.cpp

@@ -2,6 +2,7 @@
 
 void f()
 {
-    char str[10];
-    str[10] = 0;
+    char str[0x10];
+    str[15] = 0;
+    str[16] = 0;
 }

testbufferoverrun2/err.msg

@@ -0,0 +1 @@
+[testbufferoverrun2\testbufferoverrun2.cpp:7]: Buffer overrun

testbufferoverrun2/testbufferoverrun2.cpp

@@ -0,0 +1,8 @@
+
+
+void f()
+{
+    char str[50];
+    for (i = 0; i < 100; i++)
+        str[i] = 0;
+}

testbufferoverrun3/testbufferoverrun3.cpp

@@ -0,0 +1,13 @@
+
+
+void f()
+{
+    if (ab)
+    {
+        char str[50];
+    }
+    if (ab)
+    {
+        char str[50];
+    }
+}