diff --git a/infer/src/base/SourceFile.ml b/infer/src/base/SourceFile.ml index 3a365e44b..d19d4d9e2 100644 --- a/infer/src/base/SourceFile.ml +++ b/infer/src/base/SourceFile.ml @@ -59,8 +59,7 @@ let from_abs_path ?(warn_on_error= true) fname = | Some path -> RelativeProjectRoot path | None when Config.buck_cache_mode && Filename.check_suffix fname_real "java" -> - L.internal_error "%s is not relative to %s" fname_real project_root_real ; - Invalid "absolute path" + L.(die InternalError) "%s is not relative to %s" fname_real project_root_real | None -> match Utils.filename_to_relative ~root:models_dir_real fname_real with | Some path -> diff --git a/infer/src/java/jMain.ml b/infer/src/java/jMain.ml index a84668dd7..763f8fab0 100644 --- a/infer/src/java/jMain.ml +++ b/infer/src/java/jMain.ml @@ -94,7 +94,7 @@ let do_all_files classpath sources classes = ~f:(fun pattern -> Str.string_match (Str.regexp pattern) path 0) Config.skip_analysis_in_path in - SourceFile.is_invalid source_file || is_path_matching (SourceFile.to_rel_path source_file) + is_path_matching (SourceFile.to_rel_path source_file) || Inferconfig.skip_translation_matcher source_file Typ.Procname.empty_block in let translate_source_file basename (package_opt, _) source_file =