Add regression test for true negative argumentSize

This commit is contained in:
Alexander Mai 2015-08-29 11:14:13 +02:00
parent d5bc3285b9
commit 66e4faa621
1 changed files with 8 additions and 0 deletions

View File

@ -2477,6 +2477,14 @@ private:
"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