Skip to content

Commit

Permalink
Update vf_analyzers.cpp
Browse files Browse the repository at this point in the history
  • Loading branch information
chrchr-github authored Jan 23, 2025
1 parent 169b136 commit 35393b0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions lib/vf_analyzers.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -1050,8 +1050,8 @@ struct MultiValueFlowAnalyzer : ValueFlowAnalyzer {
return false;
return values.count(tok->varId()) > 0 ||
std::any_of(values.begin(), values.end(), [&](const std::pair<nonneg int, ValueFlow::Value>& p) {
return p.second.isUninitValue() && p.second.tokvalue->varId() == tok->varId();
});
return p.second.isUninitValue() && p.second.tokvalue->varId() == tok->varId();
});
}

ProgramState getProgramState() const override {
Expand Down

0 comments on commit 35393b0

Please sign in to comment.