From 9192175d5f553f4b3e1ef9f83c0668db4733be49 Mon Sep 17 00:00:00 2001
From: Chris Smowton <chris@smowton.net>
Date: Tue, 31 Jan 2017 14:25:59 +0000
Subject: [PATCH] Do not add named vars to used_local_names

Commit 67f40196a0f206b0eabbef7081f33afa7f2fca1b accidentally reverted
java_bytecode_convert_methodt::variable to an earlier version. This
restores the version as of branch smowton/find_scopes_for_anonymous_variables

Fixes failure of test cbmc-java/inferlexicalscope1
---
 src/java_bytecode/java_bytecode_convert_method.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/java_bytecode/java_bytecode_convert_method.cpp b/src/java_bytecode/java_bytecode_convert_method.cpp
index 08f3b185425..c6d5aea6016 100644
--- a/src/java_bytecode/java_bytecode_convert_method.cpp
+++ b/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -170,8 +170,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;