From 3ce84b35388f165f14d77d17ca38a3c375114475 Mon Sep 17 00:00:00 2001
From: Nikos Gorogiannis <nikosg@fb.com>
Date: Fri, 27 Aug 2021 01:37:49 -0700
Subject: [PATCH] [java] ignore some Sawja exceptions caused by Kotlin files

Reviewed By: ezgicicek

Differential Revision: D30510781

fbshipit-source-id: 95783baed
---
 infer/src/java/jTrans.ml | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/infer/src/java/jTrans.ml b/infer/src/java/jTrans.ml
index b8adc7783af..79ee7f79f27 100644
--- a/infer/src/java/jTrans.ml
+++ b/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