infer [skip ci]

firewave · firewave · commit 8b49f67fb44f · 2025-01-26T23:03:26.000+01:00
diff --git a/lib/valueflow.cpp b/lib/valueflow.cpp
@@ -3711,11 +3711,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
`@@ -3711,11 +3711,11 @@ static void valueFlowSymbolicInfer(const SymbolDatabase& symboldatabase, const S`
`3711`	`3711`	`std::vector<ValueFlow::Value> values;`
`3712`	`3712`	`{`
`3713`	`3713`	`SymbolicInferModel leftModel{tok->astOperand1()};`
`3714`		`- values = infer(leftModel, tok->str(), 0, tok->astOperand2()->values());`
	`3714`	`+ values = infer(std::move(leftModel), tok->str(), 0, tok->astOperand2()->values());`
`3715`	`3715`	`}`
`3716`	`3716`	`if (values.empty()) {`
`3717`	`3717`	`SymbolicInferModel rightModel{tok->astOperand2()};`
`3718`		`- values = infer(rightModel, tok->str(), tok->astOperand1()->values(), 0);`
	`3718`	`+ values = infer(std::move(rightModel), tok->str(), tok->astOperand1()->values(), 0);`
`3719`	`3719`	`}`
`3720`	`3720`	`for (ValueFlow::Value& value : values) {`
`3721`	`3721`	`setTokenValue(tok, std::move(value), settings);`