Update vf_analyzers.cpp

chrchr-github · web-flow · commit a5442c8070be · 2026-01-30T16:16:52.000+01:00
diff --git a/lib/vf_analyzers.cpp b/lib/vf_analyzers.cpp
@@ -139,7 +139,7 @@ struct ValueFlowAnalyzer : Analyzer {
                 return result;
             }
             ConditionState lhs = analyzeCondition(tok->astOperand1(), depth - 1);
-            if (lhs.isUnknownDependent())
+            if (lhs.isUnknownDependent() || !tok->astOperand2())
                 return lhs;
             ConditionState rhs = analyzeCondition(tok->astOperand2(), depth - 1);
             if (rhs.isUnknownDependent())

Original file line number	Diff line number	Diff line change
`@@ -139,7 +139,7 @@ struct ValueFlowAnalyzer : Analyzer {`
`139`	`139`	`return result;`
`140`	`140`	`}`
`141`	`141`	`ConditionState lhs = analyzeCondition(tok->astOperand1(), depth - 1);`
`142`		`- if (lhs.isUnknownDependent())`
	`142`	`+ if (lhs.isUnknownDependent() \|\| !tok->astOperand2())`
`143`	`143`	`return lhs;`
`144`	`144`	`ConditionState rhs = analyzeCondition(tok->astOperand2(), depth - 1);`
`145`	`145`	`if (rhs.isUnknownDependent())`