ExprEngine: Better debug output for exceptions (#2943)

This commit is contained in:
Georgy Komarov 2020-12-13 18:54:22 +03:00 committed by GitHub
parent 47f9870560
commit 38a055d2f3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -2826,7 +2826,7 @@ void ExprEngine::executeFunction(const Scope *functionScope, ErrorLogger *errorL
execute(functionScope->bodyStart, functionScope->bodyEnd, data);
} catch (const ExprEngineException &e) {
if (settings->debugBugHunting)
report << "ExprEngineException tok.line:" << e.tok->linenr() << " what:" << e.what << "\n";
report << "ExprEngineException " << e.tok->linenr() << ":" << e.tok->column() << ": " << e.what << "\n";
trackExecution.setAbortLine(e.tok->linenr());
auto bailoutValue = std::make_shared<BailoutValue>();
for (const Token *tok = e.tok; tok != functionScope->bodyEnd; tok = tok->next()) {