Mark argument const for identifiers resolution

romainbrenguier · romainbrenguier · commit 95f599ea92be · 2019-08-19T13:07:27.000+01:00
EXplicit that it is not modified by the function.
diff --git a/src/solvers/strings/string_refinement.cpp b/src/solvers/strings/string_refinement.cpp
@@ -464,7 +464,7 @@ static void add_string_equation_to_symbol_resolution(
 /// \param stream: output stream
 /// \return union_find_replacet structure containing the correspondences.
 union_find_replacet string_identifiers_resolution_from_equations(
-  std::vector<equal_exprt> &equations,
+  const std::vector<equal_exprt> &equations,
   const namespacet &ns,
   messaget::mstreamt &stream)
 {
diff --git a/src/solvers/strings/string_refinement.h b/src/solvers/strings/string_refinement.h
@@ -122,7 +122,7 @@ exprt substitute_array_lists(exprt expr, std::size_t string_max_length);
 
 // Declaration required for unit-test:
 union_find_replacet string_identifiers_resolution_from_equations(
-  std::vector<equal_exprt> &equations,
+  const std::vector<equal_exprt> &equations,
   const namespacet &ns,
   messaget::mstreamt &stream);
 

Original file line number	Diff line number	Diff line change
`@@ -464,7 +464,7 @@ static void add_string_equation_to_symbol_resolution(`
`464`	`464`	`/// \param stream: output stream`
`465`	`465`	`/// \return union_find_replacet structure containing the correspondences.`
`466`	`466`	`union_find_replacet string_identifiers_resolution_from_equations(`
`467`		`- std::vector<equal_exprt> &equations,`
	`467`	`+ const std::vector<equal_exprt> &equations,`
`468`	`468`	`const namespacet &ns,`
`469`	`469`	`messaget::mstreamt &stream)`
`470`	`470`	`{`