Merge pull request #483 from smowton/fix_used_local_names

Daniel Kroening · web-flow · commit 6ce9aecfe27f · 2017-01-31T17:31:20.000Z
Do not add named vars to used_local_names
diff --git a/src/java_bytecode/java_bytecode_convert_method.cpp b/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -171,8 +171,6 @@ const exprt java_bytecode_convert_methodt::variable(
   else
   {
     exprt result=var.symbol_expr;
-    if(!var.is_parameter)
-      used_local_names.insert(to_symbol_expr(result));
     if(do_cast==CAST_AS_NEEDED && t!=result.type())
       result=typecast_exprt(result, t);
     return result;

Original file line number	Diff line number	Diff line change
`@@ -171,8 +171,6 @@ const exprt java_bytecode_convert_methodt::variable(`
`171`	`171`	`else`
`172`	`172`	`{`
`173`	`173`	`exprt result=var.symbol_expr;`
`174`		`- if(!var.is_parameter)`
`175`		`- used_local_names.insert(to_symbol_expr(result));`
`176`	`174`	`if(do_cast==CAST_AS_NEEDED && t!=result.type())`
`177`	`175`	`result=typecast_exprt(result, t);`
`178`	`176`	`return result;`