diff --git a/infer/src/backend/InferAnalyze.ml b/infer/src/backend/InferAnalyze.ml index 2fd3f392e..53b084c49 100644 --- a/infer/src/backend/InferAnalyze.ml +++ b/infer/src/backend/InferAnalyze.ml @@ -19,6 +19,7 @@ let clear_caches () = (** Create tasks to analyze an execution environment *) let analyze_source_file : SourceFile.t Tasks.doer = fun source_file -> + DB.Results_dir.init source_file ; let exe_env = Exe_env.mk () in L.(debug Analysis Medium) "@\nProcessing '%a'@." SourceFile.pp source_file ; (* clear cache for each source file to avoid it growing unboundedly *) diff --git a/infer/src/base/DB.ml b/infer/src/base/DB.ml index 743dc4ca4..6037a6c04 100644 --- a/infer/src/base/DB.ml +++ b/infer/src/base/DB.ml @@ -180,8 +180,6 @@ module Results_dir = struct (** initialize the results directory *) let init source = if SourceFile.is_invalid source then L.(die InternalError) "Invalid source file passed" ; - Utils.create_dir Config.results_dir ; - Utils.create_dir specs_dir ; if Config.html || Config.debug_mode || Config.frontend_tests then ( Utils.create_dir (path_to_filename Abs_root [Config.captured_dir_name]) ; Utils.create_dir (path_to_filename (Abs_source_dir source) []) )