- Fixed false positive when using typeof/__alignof__

This commit is contained in:
Felipe Pena 2013-10-12 13:46:14 -03:00
parent cd87699eb1
commit c37ba4cbcf
2 changed files with 10 additions and 0 deletions

View File

@ -1603,6 +1603,10 @@ bool CheckUninitVar::isVariableUsage(const Token *vartok, bool pointer, bool cpp
if (vartok->previous()->str() == "return")
return true;
// Passing variable to typeof
if (Token::Match(vartok->tokAt(-3), "typeof|__alignof__ ( * %var%"))
return false;
// Passing variable to function..
if (Token::Match(vartok->previous(), "[(,] %var% [,)]") || Token::Match(vartok->tokAt(-2), "[(,] & %var% [,)]")) {
const bool address(vartok->previous()->str() == "&");

View File

@ -1963,6 +1963,12 @@ private:
" TYPEOF(s->status);\n"
"}");
ASSERT_EQUALS("", errout.str());
checkUninitVar("void f() {\n"
" #define w(x) ({ x z; (x*)z; })\n"
" int *n = w(typeof(*n));\n"
"}");
ASSERT_EQUALS("", errout.str());
}