Pass vector of SMT expressions to SymbolicFunctionVariable function

operator by const ref instead of by value To avoid the cost of copying the vector
ethereum · Apr 3, 2024 · d94555a · d94555a
1 parent 6040a52
commit d94555a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/libsolidity/formal/SymbolicVariables.cpp b/libsolidity/formal/SymbolicVariables.cpp
@@ -203,7 +203,7 @@ smtutil::Expression SymbolicFunctionVariable::increaseIndex()
 	return m_abstract.currentValue();
 }
 
-smtutil::Expression SymbolicFunctionVariable::operator()(std::vector<smtutil::Expression> _arguments) const
+smtutil::Expression SymbolicFunctionVariable::operator()(std::vector<smtutil::Expression> const& _arguments) const
 {
 	return m_declaration(_arguments);
 }

diff --git a/libsolidity/formal/SymbolicVariables.h b/libsolidity/formal/SymbolicVariables.h
@@ -62,7 +62,7 @@ class SymbolicVariable
 	virtual smtutil::Expression resetIndex();
 	virtual smtutil::Expression setIndex(unsigned _index);
 	virtual smtutil::Expression increaseIndex();
-	virtual smtutil::Expression operator()(std::vector<smtutil::Expression> /*_arguments*/) const
+	virtual smtutil::Expression operator()(std::vector<smtutil::Expression> const& /*_arguments*/) const
 	{
 		solAssert(false, "Function application to non-function.");
 	}
@@ -177,7 +177,7 @@ class SymbolicFunctionVariable: public SymbolicVariable
 	smtutil::Expression setIndex(unsigned _index) override;
 	smtutil::Expression increaseIndex() override;
 
-	smtutil::Expression operator()(std::vector<smtutil::Expression> _arguments) const override;
+	smtutil::Expression operator()(std::vector<smtutil::Expression> const& _arguments) const override;
 
 private:
 	/// Creates a new function declaration.