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

ExprEngine: Fail to execute contract => write error message

This commit is contained in:
Daniel Marjamäki 2020-04-29 18:30:12 +02:00
parent cdc530a25f
commit e30eabc896
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/exprengine.cpp
View File

@ -1318,11 +1318,11 @@ static void checkContract(Data &data, const Token *tok, const Function *function
const std::string functionExpects = contractIt->second;
ErrorLogger::ErrorMessage errmsg(callstack,
&data.tokenizer->list,
Severity::SeverityType::information,
Severity::SeverityType::error,
id,
"ExprEngine failed to execute contract for function '" + function->name() + "'.",
"Function '" + function->name() + "' is called, can not determine that its contract is always met.",
CWE(0),
false);
true);
data.errorLogger->reportErr(errmsg);
}
}