diff --git a/lib/vf_analyzers.cpp b/lib/vf_analyzers.cpp index ec0307c2565..766ccd861e0 100644 --- a/lib/vf_analyzers.cpp +++ b/lib/vf_analyzers.cpp @@ -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& 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 {