Add regression test for true negative argumentSize

amai2012 · amai2012 · commit 66e4faa62195 · 2015-08-29T11:14:13.000+02:00
diff --git a/test/testbufferoverrun.cpp b/test/testbufferoverrun.cpp
@@ -2477,6 +2477,14 @@ class TestBufferOverrun : public TestFixture {
               "f(a);\n"
               "");
         ASSERT_EQUALS("", errout.str());
+
+        check("void CreateLeafTex(unsigned char buf[256][2048][4]);\n"
+              "void foo() {\n"
+              "  unsigned char(* tree)[2048][4] = new unsigned char[256][2048][4];\n"
+              "  CreateLeafTex(tree);\n"
+              "}");
+        ASSERT_EQUALS("", errout.str());
+
     }
 
     void possible_buffer_overrun_1() { // #3035
