From 846d6fa23dbe3eb24ffa76e117424620a8754e70 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Wed, 19 Dec 2018 21:25:49 -0800 Subject: [PATCH] [nullsafe][android] stop the analysis if there is no source file to analyze Reviewed By: mbouaziz Differential Revision: D13509512 fbshipit-source-id: 565a27eef --- infer/src/java/jMain.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/infer/src/java/jMain.ml b/infer/src/java/jMain.ml index e0f75c3c3..e037ed626 100644 --- a/infer/src/java/jMain.ml +++ b/infer/src/java/jMain.ml @@ -134,13 +134,11 @@ let main load_sources_and_classes = let classpath, sources, classes = match load_sources_and_classes with | `FromVerboseOut verbose_out_file -> - let classpath, sources, classes = JClasspath.load_from_verbose_output verbose_out_file in - if String.Map.is_empty sources then - L.(die InternalError) "Failed to load any Java source code" - else (classpath, sources, classes) + JClasspath.load_from_verbose_output verbose_out_file | `FromArguments path -> JClasspath.load_from_arguments path in + if String.Map.is_empty sources then L.(die InternalError) "Failed to load any Java source code" ; do_all_files classpath sources classes