infer [skip ci]

firewave · firewave · commit 48e076146b8f · 2026-03-28T00:40:34.000+01:00
diff --git a/lib/valueflow.cpp b/lib/valueflow.cpp
@@ -3781,11 +3781,11 @@ static void valueFlowSymbolicInfer(const SymbolDatabase& symboldatabase, const S
             std::vector<ValueFlow::Value> values;
             {
                 SymbolicInferModel leftModel{tok->astOperand1()};
-                values = infer(leftModel, tok->str(), 0, tok->astOperand2()->values());
+                values = infer(std::move(leftModel), tok->str(), 0, tok->astOperand2()->values());
             }
             if (values.empty()) {
                 SymbolicInferModel rightModel{tok->astOperand2()};
-                values = infer(rightModel, tok->str(), tok->astOperand1()->values(), 0);
+                values = infer(std::move(rightModel), tok->str(), tok->astOperand1()->values(), 0);
             }
             for (ValueFlow::Value& value : values) {
                 setTokenValue(tok, std::move(value), settings);

Original file line number	Diff line number	Diff line change
`@@ -3781,11 +3781,11 @@ static void valueFlowSymbolicInfer(const SymbolDatabase& symboldatabase, const S`
`3781`	`3781`	`std::vector<ValueFlow::Value> values;`
`3782`	`3782`	`{`
`3783`	`3783`	`SymbolicInferModel leftModel{tok->astOperand1()};`
`3784`		`- values = infer(leftModel, tok->str(), 0, tok->astOperand2()->values());`
	`3784`	`+ values = infer(std::move(leftModel), tok->str(), 0, tok->astOperand2()->values());`
`3785`	`3785`	`}`
`3786`	`3786`	`if (values.empty()) {`
`3787`	`3787`	`SymbolicInferModel rightModel{tok->astOperand2()};`
`3788`		`- values = infer(rightModel, tok->str(), tok->astOperand1()->values(), 0);`
	`3788`	`+ values = infer(std::move(rightModel), tok->str(), tok->astOperand1()->values(), 0);`
`3789`	`3789`	`}`
`3790`	`3790`	`for (ValueFlow::Value& value : values) {`
`3791`	`3791`	`setTokenValue(tok, std::move(value), settings);`