Merge pull request #881 from reuk/ref-to-tmp-fix

kroening · web-flow · commit 832eb934fc5b · 2017-05-03T16:14:49.000+01:00
Fix return of temporary ref in ssa_exprt
diff --git a/src/util/ssa_expr.h b/src/util/ssa_expr.h
@@ -42,7 +42,7 @@ class ssa_exprt:public symbol_exprt
     return static_cast<const exprt &>(find(ID_expression));
   }
 
-  const irep_idt &get_object_name() const
+  irep_idt get_object_name() const
   {
     object_descriptor_exprt ode;
     ode.object()=get_original_expr();

Original file line number	Diff line number	Diff line change
`@@ -42,7 +42,7 @@ class ssa_exprt:public symbol_exprt`
`42`	`42`	`return static_cast<const exprt &>(find(ID_expression));`
`43`	`43`	`}`
`44`	`44`
`45`		`- const irep_idt &get_object_name() const`
	`45`	`+ irep_idt get_object_name() const`
`46`	`46`	`{`
`47`	`47`	`object_descriptor_exprt ode;`
`48`	`48`	`ode.object()=get_original_expr();`