From de3f97136e2a779f20cfcaa177df111d3eb1c228 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 20 Aug 2019 08:23:49 -0700 Subject: [PATCH] [java] catch `Failure` to avoid crashing on invalid class type signatures Summary: Javalib is not happy about some class signature, let's try to silence it temporarily. Reviewed By: ngorogiannis Differential Revision: D16917273 fbshipit-source-id: 39ce4adee --- infer/src/java/jClasspath.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/java/jClasspath.ml b/infer/src/java/jClasspath.ml index 47bcd005a..6fa44b4f7 100644 --- a/infer/src/java/jClasspath.ml +++ b/infer/src/java/jClasspath.ml @@ -283,7 +283,7 @@ let lookup_node cn program = | JBasics.No_class_found _ -> (* TODO T28155039 Figure out when and what to log *) None - | (JBasics.Class_structure_error _ | Invalid_argument _) as exn -> + | (JBasics.Class_structure_error _ | Invalid_argument _ | Failure _) as exn -> L.internal_error "ERROR: %s@." (Exn.to_string exn) ; None )