From b34a23c1b44fe126343353f6b890d580fa5619c7 Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Sat, 17 Sep 2016 16:10:04 -0700 Subject: [PATCH] [java frontend] fix read of unused id in exception translation. Reviewed By: jeremydubreil Differential Revision: D3870333 fbshipit-source-id: 2bddd67 --- infer/src/java/jTransExn.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/infer/src/java/jTransExn.ml b/infer/src/java/jTransExn.ml index 06a0658ea..6dc92153e 100644 --- a/infer/src/java/jTransExn.ml +++ b/infer/src/java/jTransExn.ml @@ -39,8 +39,7 @@ let translate_exceptions context exit_nodes get_body_nodes handler_table = let id_exn_val = Ident.create_fresh Ident.knormal in let create_entry_node loc = let instr_get_ret_val = Sil.Load (id_ret_val, Exp.Lvar ret_var, ret_type, loc) in - let id_deactivate = Ident.create_fresh Ident.knormal in - let instr_deactivate_exn = Sil.Store (Exp.Lvar ret_var, ret_type, Exp.Var id_deactivate, loc) in + let instr_deactivate_exn = Sil.Store (Exp.Lvar ret_var, ret_type, Exp.null, loc) in let instr_unwrap_ret_val = let unwrap_builtin = Exp.Const (Const.Cfun ModelBuiltins.__unwrap_exception) in Sil.Call