Update src/goto-instrument/contracts/contracts.cpp

remi-delmas-3000 · feliperodri · web-flow · commit 22f8b10ba2cf · 2021-11-15T15:19:32.000-05:00
Co-authored-by: Felipe R. Monteiro &lt;rms.felipe@gmail.com&gt;
diff --git a/src/goto-instrument/contracts/contracts.cpp b/src/goto-instrument/contracts/contracts.cpp
@@ -1307,9 +1307,7 @@ void code_contractst::find_static_locals(
   for(auto it = tmp_set.begin(); it != tmp_set.end(); it++)
   {
     symbolt sym = ns.lookup(*it);
-    bool is_local_static =
-      sym.is_static_lifetime && !sym.location.get_function().empty();
-    if(is_local_static)
+    if(sym.is_static_lifetime && !sym.location.get_function().empty())
       assigns.add_to_write_set(sym.symbol_expr());
   }
 

Original file line number	Diff line number	Diff line change
`@@ -1307,9 +1307,7 @@ void code_contractst::find_static_locals(`
`1307`	`1307`	`for(auto it = tmp_set.begin(); it != tmp_set.end(); it++)`
`1308`	`1308`	`{`
`1309`	`1309`	`symbolt sym = ns.lookup(*it);`
`1310`		`- bool is_local_static =`
`1311`		`- sym.is_static_lifetime && !sym.location.get_function().empty();`
`1312`		`- if(is_local_static)`
	`1310`	`+ if(sym.is_static_lifetime && !sym.location.get_function().empty())`
`1313`	`1311`	`assigns.add_to_write_set(sym.symbol_expr());`
`1314`	`1312`	`}`
`1315`	`1313`