noisymime
/
cppcheck
mirror of https://github.com/noisymime/cppcheck.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

value flow: fixed segfault and added more handling of unsigned values

This commit is contained in:
Daniel Marjamäki 2014-01-08 20:10:38 +01:00
parent 644004573b
commit 32f2ee422f
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/valueflow.cpp
View File

@ -87,7 +87,10 @@ static void valueFlowBeforeCondition(TokenList *tokenlist, ErrorLogger *errorLog
const ValueFlow::Value val(tok, num); const ValueFlow::Value val(tok, num);
ValueFlow::Value val2; ValueFlow::Value val2;
if (num==1 && var->typeStartToken()->isUnsigned() && Token::Match(tok,"<=|>=")) if (var &&
var->typeStartToken()->isUnsigned() &&
((num==0 && Token::Match(tok,"<|>")) ||
(num==1 && Token::Match(tok,"<=|>="))))
val2 = ValueFlow::Value(tok,0); val2 = ValueFlow::Value(tok,0);
for (Token *tok2 = tok->previous(); ; tok2 = tok2->previous()) { for (Token *tok2 = tok->previous(); ; tok2 = tok2->previous()) {