Revert "disable nonsense code"

tautschnig · tautschnig · commit fbdd728b06db · 2017-05-31T23:14:12.000+01:00
This reverts commit a40fc8b.
diff --git a/src/linking/static_lifetime_init.cpp b/src/linking/static_lifetime_init.cpp
@@ -156,7 +156,6 @@ bool static_lifetime_init(
 
   // call designated "initialization" functions
 
-  #if 0
   for(const std::string &id : symbols)
   {
     const symbolt &symbol=ns.lookup(id);
@@ -170,7 +169,6 @@ bool static_lifetime_init(
       dest.move_to_operands(function_call);
     }
   }
-  #endif
 
   return false;
 }

Original file line number	Diff line number	Diff line change
`@@ -156,7 +156,6 @@ bool static_lifetime_init(`
`156`	`156`
`157`	`157`	`// call designated "initialization" functions`
`158`	`158`
`159`		`- #if 0`
`160`	`159`	`for(const std::string &id : symbols)`
`161`	`160`	`{`
`162`	`161`	`const symbolt &symbol=ns.lookup(id);`
`@@ -170,7 +169,6 @@ bool static_lifetime_init(`
`170`	`169`	`dest.move_to_operands(function_call);`
`171`	`170`	`}`
`172`	`171`	`}`
`173`		`- #endif`
`174`	`172`
`175`	`173`	`return false;`
`176`	`174`	`}`