Fixup Pass by const reference, instead of just const

thomasspriggs · thomasspriggs · commit 7e91b334a13b · 2018-08-10T13:00:25.000+01:00
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -1825,13 +1825,13 @@ class struct_exprt:public exprt
   }
 
   /// \return The expression for a named component of this struct.
-  exprt &component(const irep_idt name)
+  exprt &component(const irep_idt &name)
   {
     return operands()[to_struct_type(type()).component_number(name)];
   }
 
   /// \return The expression for a named component of this struct.
-  const exprt &component(const irep_idt name) const
+  const exprt &component(const irep_idt &name) const
   {
     return operands()[to_struct_type(type()).component_number(name)];
   }

Original file line number	Diff line number	Diff line change
`@@ -1825,13 +1825,13 @@ class struct_exprt:public exprt`
`1825`	`1825`	`}`
`1826`	`1826`
`1827`	`1827`	`/// \return The expression for a named component of this struct.`
`1828`		`- exprt &component(const irep_idt name)`
	`1828`	`+ exprt &component(const irep_idt &name)`
`1829`	`1829`	`{`
`1830`	`1830`	`return operands()[to_struct_type(type()).component_number(name)];`
`1831`	`1831`	`}`
`1832`	`1832`
`1833`	`1833`	`/// \return The expression for a named component of this struct.`
`1834`		`- const exprt &component(const irep_idt name) const`
	`1834`	`+ const exprt &component(const irep_idt &name) const`
`1835`	`1835`	`{`
`1836`	`1836`	`return operands()[to_struct_type(type()).component_number(name)];`
`1837`	`1837`	`}`