walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Improved testing of AST, added unit test for #5787

This commit is contained in:
PKEuS 2014-06-05 17:36:29 +02:00
parent f1a57cbfcc
commit 8fe515b929
1 changed files with 15 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
test/testtokenize.cpp
View File

@ -589,6 +589,7 @@ private:
TEST_CASE(asttemplate); TEST_CASE(asttemplate);
TEST_CASE(astcast); TEST_CASE(astcast);
TEST_CASE(astlambda); TEST_CASE(astlambda);
TEST_CASE(astGarbage);
TEST_CASE(startOfExecutableScope); TEST_CASE(startOfExecutableScope);
} }
@ -10471,9 +10472,7 @@ private:
ASSERT_EQUALS("a\"\"=", testAst("a=\"\"")); ASSERT_EQUALS("a\"\"=", testAst("a=\"\""));
ASSERT_EQUALS("a\'\'=", testAst("a=\'\'")); ASSERT_EQUALS("a\'\'=", testAst("a=\'\'"));
testAst("char a[1]=\"\";"); // don't crash ASSERT_EQUALS("a1[\"\"=", testAst("char a[1]=\"\";"));
testAst("int f(char argv[]);"); // don't crash
testAst("--"); // don't crash
ASSERT_EQUALS("'X''a'>", testAst("('X' > 'a')")); ASSERT_EQUALS("'X''a'>", testAst("('X' > 'a')"));
ASSERT_EQUALS("'X''a'>", testAst("(L'X' > L'a')")); ASSERT_EQUALS("'X''a'>", testAst("(L'X' > L'a')"));
@ -10604,10 +10603,11 @@ private:
ASSERT_EQUALS("1f2(+3+", testAst("1+f(2)+3")); ASSERT_EQUALS("1f2(+3+", testAst("1+f(2)+3"));
ASSERT_EQUALS("1f23,(+4+", testAst("1+f(2,3)+4")); ASSERT_EQUALS("1f23,(+4+", testAst("1+f(2,3)+4"));
ASSERT_EQUALS("1f2a&,(+", testAst("1+f(2,&a)")); ASSERT_EQUALS("1f2a&,(+", testAst("1+f(2,&a)"));
testAst("extern unsigned f(const char *);"); // don't crash ASSERT_EQUALS("fargv[(", testAst("int f(char argv[]);"));
testAst("extern void f(const char *format, ...);"); // don't crash ASSERT_EQUALS("fchar(", testAst("extern unsigned f(const char *);"));
testAst("extern int for_each_commit_graft(int (*)(int*), void *);"); // don't crash ASSERT_EQUALS("fcharformat*.,(", testAst("extern void f(const char *format, ...);"));
testAst("for (;;) {}"); // don't crash ASSERT_EQUALS("for_each_commit_graftint((void,(", testAst("extern int for_each_commit_graft(int (*)(int*), void *);"));
ASSERT_EQUALS("for;;(", testAst("for (;;) {}"));
ASSERT_EQUALS("xsizeofvoid(=", testAst("x=sizeof(void*)")); ASSERT_EQUALS("xsizeofvoid(=", testAst("x=sizeof(void*)"));
} }
@ -10668,6 +10668,14 @@ private:
tokenizeAndStringify(code.c_str()); // just survive... tokenizeAndStringify(code.c_str()); // just survive...
} }
void astGarbage() {
testAst("--"); // don't crash
testAst("N 1024 float a[N], b[N + 3], c[N]; void N; (void) i;\n"
"int #define for (i = avx_test i < c[i]; i++)\n"
"b[i + 3] = a[i] * {}"); // Don't hang (#5787)
}
bool isStartOfExecutableScope(int offset, const char code[]) { bool isStartOfExecutableScope(int offset, const char code[]) {
const Settings settings; const Settings settings;
Tokenizer tokenizer(&settings, this); Tokenizer tokenizer(&settings, this);