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

reverted ee14ea4f. I think this fix was too generic. If there is a union in the struct then only the union members should be skipped.

This commit is contained in:
Daniel Marjamäki 2013-09-23 17:52:42 +02:00
parent ee14ea4fc2
commit 698e9e2b59
2 changed files with 0 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
lib/checkuninitvar.cpp
View File

@ -1101,22 +1101,11 @@ void CheckUninitVar::checkScope(const Scope* scope)
for (std::size_t j = 0U; j < symbolDatabase->classAndStructScopes.size(); ++j) {
const Scope *scope2 = symbolDatabase->classAndStructScopes[j];
if (scope2->className == structname && scope2->numConstructors == 0U) {
bool hasUnion = false;
for (std::list<Scope*>::const_iterator childscope = scope2->nestedList.begin();
childscope != scope2->nestedList.end();
++childscope) {
if ((*childscope)->type == Scope::eUnion)
hasUnion = true;
}
if (hasUnion)
break;
for (std::list<Variable>::const_iterator it = scope2->varlist.begin(); it != scope2->varlist.end(); ++it) {
const Variable &var = *it;
if (!var.isArray())
checkScopeForVariable(scope, tok, *i, NULL, NULL, var.name());
}
break;
}
}
}

14
test/testuninitvar.cpp
View File

@ -2788,20 +2788,6 @@ private:
"}\n", "test.c");
ASSERT_EQUALS("", errout.str());
checkUninitVar2("struct PIXEL {\n" // union in struct #4970
" union {\n"
" struct { unsigned char red,green,blue,alpha; };\n"
" unsigned int color;\n"
" };\n"
"};\n"
"\n"
"unsigned char f() {\n"
" struct PIXEL p1;\n"
" p1.color = 255;\n"
" return p1.red;\n"
"}");
ASSERT_EQUALS("", errout.str());
// return
checkUninitVar2("struct AB { int a; int b; };\n"
"void f(void) {\n"