Revert undocumented change of 27153d1

tautschnig · tautschnig · commit 223d872bdb4b · 2018-06-08T17:22:19.000Z
While the functional behaviour is identical, there is a ~10% performance penalty
during symbolic execution when using the non-optimised version.
diff --git a/src/util/ssa_expr.h b/src/util/ssa_expr.h
@@ -65,7 +65,7 @@ class ssa_exprt:public symbol_exprt
 
   const irep_idt get_l1_object_identifier() const
   {
-    #if 1
+    #if 0
     return get_l1_object().get_identifier();
     #else
     // the above is the clean version, this is the fast one, using

Original file line number	Diff line number	Diff line change
`@@ -65,7 +65,7 @@ class ssa_exprt:public symbol_exprt`
`65`	`65`
`66`	`66`	`const irep_idt get_l1_object_identifier() const`
`67`	`67`	`{`
`68`		`- #if 1`
	`68`	`+ #if 0`
`69`	`69`	`return get_l1_object().get_identifier();`
`70`	`70`	`#else`
`71`	`71`	`// the above is the clean version, this is the fast one, using`