Skip to content

Commit

Permalink
valuwflow.cpp: restored valueFlowBailoutIncompleteVar collecting in…
Browse files Browse the repository at this point in the history
… daca [skip ci]
  • Loading branch information
firewave committed Mar 19, 2024
1 parent 1ea0f39 commit 9e4edce
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion lib/valueflow.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -5334,7 +5334,7 @@ static const Scope* getLoopScope(const Token* tok)
//
static void valueFlowConditionExpressions(const TokenList &tokenlist, const SymbolDatabase& symboldatabase, ErrorLogger *errorLogger, const Settings &settings)
{
if (settings.checkLevel == Settings::CheckLevel::normal)
if (!settings.daca && (settings.checkLevel == Settings::CheckLevel::normal))
return;

for (const Scope * scope : symboldatabase.functionScopes) {
Expand All @@ -5344,6 +5344,9 @@ static void valueFlowConditionExpressions(const TokenList &tokenlist, const Symb
continue;
}

if (settings.daca && (settings.checkLevel == Settings::CheckLevel::normal))
continue;

for (Token* tok = const_cast<Token*>(scope->bodyStart); tok != scope->bodyEnd; tok = tok->next()) {
if (!Token::simpleMatch(tok, "if ("))
continue;
Expand Down

0 comments on commit 9e4edce

Please sign in to comment.