disable nonsense code

Daniel Kroening · Daniel Kroening · commit a40fc8b9c899 · 2016-10-03T14:36:40.000+01:00
diff --git a/src/linking/static_lifetime_init.cpp b/src/linking/static_lifetime_init.cpp
@@ -158,6 +158,7 @@ bool static_lifetime_init(
 
   for(const std::string &id : symbols)
   {
+    #if 0
     const symbolt &symbol=ns.lookup(id);
 
     if(symbol.type.id()==ID_code &&
@@ -168,6 +169,7 @@ bool static_lifetime_init(
       function_call.add_source_location()=source_location;
       dest.move_to_operands(function_call);
     }
+    #endif
   }
 
   return false;

Original file line number	Diff line number	Diff line change
`@@ -158,6 +158,7 @@ bool static_lifetime_init(`
`158`	`158`
`159`	`159`	`for(const std::string &id : symbols)`
`160`	`160`	`{`
	`161`	`+ #if 0`
`161`	`162`	`const symbolt &symbol=ns.lookup(id);`
`162`	`163`
`163`	`164`	`if(symbol.type.id()==ID_code &&`
`@@ -168,6 +169,7 @@ bool static_lifetime_init(`
`168`	`169`	`function_call.add_source_location()=source_location;`
`169`	`170`	`dest.move_to_operands(function_call);`
`170`	`171`	`}`
	`172`	`+ #endif`
`171`	`173`	`}`
`172`	`174`
`173`	`175`	`return false;`