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

ExprEngine: Throw exception if there is unhandled expression in assignment LHS

This commit is contained in:
Daniel Marjamäki 2019-10-22 18:39:15 +02:00
parent 3e4dd9b354
commit 3699227b12
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lib/exprengine.cpp
View File

@ -877,6 +877,9 @@ static ExprEngine::ValuePtr executeAssign(const Token *tok, Data &data)
assignValue = simplifyValue(std::make_shared<ExprEngine::BinOpResult>(binop, lhsValue, rhsValue)); assignValue = simplifyValue(std::make_shared<ExprEngine::BinOpResult>(binop, lhsValue, rhsValue));
} }
if (!assignValue)
throw VerifyException(tok, "Expression '" + tok->expressionString() + "'; No value for LHS!");
const Token *lhsToken = tok->astOperand1(); const Token *lhsToken = tok->astOperand1();
assignValue = truncateValue(assignValue, lhsToken->valueType(), data); assignValue = truncateValue(assignValue, lhsToken->valueType(), data);
call(data.callbacks, tok, assignValue, &data); call(data.callbacks, tok, assignValue, &data);