Add const and &

TGWDB · TGWDB · commit 6339a5b9c1cc · 2021-03-24T11:18:22.000Z
This makes it explicit that ops is not copied.
diff --git a/src/util/expr.cpp b/src/util/expr.cpp
@@ -28,7 +28,7 @@ Author: Daniel Kroening, kroening@kroening.com
 /// beyond the supplied limit.
 std::size_t exprt::bounded_size(std::size_t count, std::size_t limit) const
 {
-  auto ops = operands();
+  const auto &ops = operands();
   count += ops.size();
   for(const auto &op : ops)
   {

Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,7 @@ Author: Daniel Kroening, [email protected]`
`28`	`28`	`/// beyond the supplied limit.`
`29`	`29`	`std::size_t exprt::bounded_size(std::size_t count, std::size_t limit) const`
`30`	`30`	`{`
`31`		`- auto ops = operands();`
	`31`	`+ const auto &ops = operands();`
`32`	`32`	`count += ops.size();`
`33`	`33`	`for(const auto &op : ops)`
`34`	`34`	`{`