Optimize remove_level_2

romainbrenguier · romainbrenguier · commit 7114c571611e · 2018-12-13T11:28:39.000Z
To reset the identifier we can just used the l1_object_identifier which
is a cached version of the level1 identifier.
diff --git a/src/util/ssa_expr.h b/src/util/ssa_expr.h
@@ -101,7 +101,7 @@ class ssa_exprt:public symbol_exprt
   void remove_level_2()
   {
     remove(ID_L2);
-    update_identifier();
+    set_identifier(get_l1_object_identifier());
   }
 
   const irep_idt get_level_0() const

Original file line number	Diff line number	Diff line change
`@@ -101,7 +101,7 @@ class ssa_exprt:public symbol_exprt`
`101`	`101`	`void remove_level_2()`
`102`	`102`	`{`
`103`	`103`	`remove(ID_L2);`
`104`		`- update_identifier();`
	`104`	`+ set_identifier(get_l1_object_identifier());`
`105`	`105`	`}`
`106`	`106`
`107`	`107`	`const irep_idt get_level_0() const`