From 2320ed8af341cc20ea0f743e0108191601e6f261 Mon Sep 17 00:00:00 2001
From: Jeremy Dubreil <jrm@fb.com>
Date: Mon, 14 Nov 2016 21:29:47 -0800
Subject: [PATCH] [infer][java] Infer does not really rely on having compliant
 bytecode to run the analysis

Summary: Infer starts from bytecode generated by the compilation commands, so there isn't much need to check if the bytecode is compliant or not.

Reviewed By: sblackshear

Differential Revision: D4179218

fbshipit-source-id: 2f27148
---
 infer/src/java/jMain.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/src/java/jMain.ml b/infer/src/java/jMain.ml
index ad3639668..2bbb18fd7 100644
--- a/infer/src/java/jMain.ml
+++ b/infer/src/java/jMain.ml
@@ -152,6 +152,7 @@ let do_all_files classpath sources classes =
 
 (* loads the source files and translates them *)
 let () =
+  JBasics.set_permissive true;
   let classpath, sources, classes = JClasspath.load_sources_and_classes () in
   if StringMap.is_empty sources then
     failwith "Failed to load any Java source code"