From 44edd9ba7f04dc79532caeb18edc51758778af75 Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Fri, 13 May 2016 08:36:51 -0700 Subject: [PATCH] fix frontend crash when running on Java 8 Reviewed By: jeremydubreil Differential Revision: D3297326 fbshipit-source-id: 04986db --- infer/src/java/jTrans.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/infer/src/java/jTrans.ml b/infer/src/java/jTrans.ml index bbea0bb10..6e923a06f 100644 --- a/infer/src/java/jTrans.ml +++ b/infer/src/java/jTrans.ml @@ -353,8 +353,10 @@ let create_local_procdesc program linereader cfg tenv node m = Cfg.Procdesc.set_start_node procdesc start_node; Cfg.Procdesc.set_exit_node procdesc exit_node; Cfg.Node.add_locals_ret_declaration start_node locals; - with JBir.Subroutine -> - L.err "create_local_procdesc raised JBir.Subroutine on %a@." Procname.pp proc_name in + with JBir.Subroutine | JBasics.Class_structure_error _ -> + L.err + "create_local_procdesc raised JBir.Subroutine or JBasics.Class_structure_error on %a@." + Procname.pp proc_name in match lookup_procdesc cfg proc_name with | Unknown -> create_new_procdesc ()