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

Add test case for #5777, use TODO_ASSERT, enable test case (#3703) 

* Add test case for #5777, use TODO_ASSERT, enable test case

* Comment
This commit is contained in:
chrchr-github 2022-01-13 19:52:02 +01:00 committed by GitHub
parent 5a05631c84
commit 12abf85d1d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 20 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
test/testuninitvar.cpp
View File

@ -3873,9 +3873,11 @@ private:
" foo(123, &abc);\n"
" return abc.b;\n"
"}");
/* TODO ASSERT_EQUALS("[test.cpp:5]: (error) Uninitialized struct member: abc.a\n"
"[test.cpp:5]: (error) Uninitialized struct member: abc.b\n"
"[test.cpp:5]: (error) Uninitialized struct member: abc.c\n", errout.str()); */
TODO_ASSERT_EQUALS("[test.cpp:5]: (error) Uninitialized struct member: abc.a\n"
"[test.cpp:5]: (error) Uninitialized struct member: abc.b\n"
"[test.cpp:5]: (error) Uninitialized struct member: abc.c\n",
"[test.cpp:6]: (error) Uninitialized struct member: abc.b\n",
errout.str());
checkUninitVar("struct ABC { int a; int b; int c; };\n"
"void foo() {\n"
@ -5950,6 +5952,20 @@ private:
" f(&s);\n"
"}\n");
ASSERT_EQUALS("", errout.str());
valueFlowUninit("typedef struct { int a; int b; int c; } ABC;\n" // #5777
"void setabc(int x, const ABC* const abc) {\n"
" sum = abc->a + abc->b + abc->c;\n"
"}\n"
"void f(void) {\n"
" ABC abc;\n"
" abc.a = 1;\n"
" setabc(123, &abc);\n"
"}\n");
TODO_ASSERT_EQUALS("[test.cpp:8] -> [test.cpp:3]: (error) Uninitialized variable: abc->b\n"
"[test.cpp:8] -> [test.cpp:3]: (error) Uninitialized variable: abc->c\n",
"[test.cpp:8] -> [test.cpp:3]: (error) Uninitialized variable: abc->b\n",
errout.str());
}
void uninitvar_memberfunction() {
@ -6119,7 +6135,7 @@ private:
" int x;\n"
" f(&x);\n"
"}");
// TODO ASSERT_EQUALS("", errout.str());
ASSERT_EQUALS("", errout.str());
}
};