[Java frontend] New Sawja 1.5.11 release

Reviewed By: ngorogiannis

Differential Revision: D32016435

fbshipit-source-id: c18219ae0

Author: davidpichardie

infer/src/java/jTrans.ml

@@ -337,8 +337,10 @@ let get_jbir_representation cm bytecode =
       bytecode.JCode.c_local_variable_table
   in
   let fixed_bytecode = {bytecode with JCode.c_local_variable_table} in
-  JBir.transform ~bcv:false ~ch_link:false ~formula:false ~formula_cmd:[] ~almost_ssa:true cm
-    fixed_bytecode
+  try JBir.transform ~bcv:false ~ch_link:false ~almost_ssa:true cm fixed_bytecode
+  with Sawja_pack.Bir.Uninit_is_not_expr ->
+    JBir.transform ~bcv:false ~ch_link:false ~almost_ssa:true ~folding:JBir.DoNotFold cm
+      fixed_bytecode
 
 
 let pp_jbir fmt jbir =
@@ -1181,10 +1183,6 @@ let instruction (context : JContext.t) pc instr : translation =
           MonitorExit
     | Nop ->
         Skip
-    | Formula _ ->
-        (* Sawja formulas are not generated with the current used
-           flags '~formula:false' *)
-        Skip
     | Check _ ->
         Skip
     | MayInit _ ->

opam/infer.opam

@@ -47,7 +47,7 @@ depends: [
   "ppx_expect" {>= "v0.14.0" & < "v0.15"}
   "ppx_fields_conv" {>= "v0.14.0" & < "v0.15"}
   "ppx_yojson_conv" {>= "v0.14.0" & < "v0.15"}
-  "sawja" {>="1.5.10"}
+  "sawja" {>="1.5.11"}
   "sqlite3"
   "utop" {with-test}
   "xmlm" {>="1.2.0"}

opam/infer.opam.locked

@@ -133,7 +133,7 @@ depends: [
   "re" {= "1.9.0"}
   "react" {= "1.2.1" & with-test}
   "result" {= "1.5"}
-  "sawja" {= "1.5.10"}
+  "sawja" {= "1.5.11"}
   "seq" {= "base"}
   "sexplib" {= "v0.14.0"}
   "sexplib0" {= "v0.14.0"}