[java] ignore some Sawja exceptions caused by Kotlin files

Reviewed By: ezgicicek

Differential Revision: D30510781

fbshipit-source-id: 95783baed

infer/src/java/jTrans.ml

@@ -464,9 +464,17 @@ let create_cm_procdesc source_file program icfg cm proc_name =
     Procdesc.set_start_node procdesc start_node ;
     Procdesc.set_exit_node procdesc exit_node ;
     Some (procdesc, start_node, exit_node, exn_node, jbir_code)
-  with JBir.Subroutine when Config.mask_sajwa_exceptions ->
-    L.internal_error "create_procdesc raised JBir.Subroutine when translating %a in %a@."
-      Procname.pp proc_name SourceFile.pp source_file ;
+  with
+  | (JBir.Subroutine as exn)
+  | (Sawja_pack.Bir.NonemptyStack_backward_jump as exn)
+  | (Sawja_pack.Bir.Uninit_is_not_expr as exn)
+  ->
+    IExn.reraise_if
+      ~f:(fun () ->
+        L.internal_error "create_procdesc raised %a when translating %a in %a@\n" Exn.pp exn
+          Procname.pp proc_name SourceFile.pp source_file ;
+        not Config.mask_sajwa_exceptions )
+      exn ;
     None