From 65491b79ffc94eec31ee7a95e30053a6206c8116 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= <ezgi@fb.com>
Date: Mon, 13 Aug 2018 07:32:24 -0700
Subject: [PATCH] [Java] Do not generate the same intermediate variable in java
 translation

Reviewed By: mbouaziz, jvillard

Differential Revision: D9239272

fbshipit-source-id: 2cb5d8c86
---
 infer/src/java/jTrans.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/infer/src/java/jTrans.ml b/infer/src/java/jTrans.ml
index e1a31aff4..6a1bd35a0 100644
--- a/infer/src/java/jTrans.ml
+++ b/infer/src/java/jTrans.ml
@@ -266,7 +266,8 @@ let get_bytecode cm =
 
 
 let get_jbir_representation cm bytecode =
-  JBir.transform ~bcv:false ~ch_link:false ~formula:false ~formula_cmd:[] cm bytecode
+  JBir.transform ~bcv:false ~ch_link:false ~formula:false ~formula_cmd:[] ~almost_ssa:true cm
+    bytecode
 
 
 let trans_access = function