From 71e1704bf9abb47755729b2f31c370bcc591a2bb Mon Sep 17 00:00:00 2001 From: Phoebe Nichols Date: Fri, 13 Sep 2019 03:32:44 -0700 Subject: [PATCH] Clean results directory before using incremental analysis Summary: This calls the method `delete_capture_and_analysis_data` introduced in D17184424 once the appropriate specs files for incremental analysis have been deleted. This fixes two bugs that I observed in incremental analysis that were arising because of stale state left in the results directory. Reviewed By: ngorogiannis Differential Revision: D17184424 fbshipit-source-id: d63f59db9 --- infer/src/backend/InferAnalyze.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/infer/src/backend/InferAnalyze.ml b/infer/src/backend/InferAnalyze.ml index 21aaae8e5..4ea85bfa9 100644 --- a/infer/src/backend/InferAnalyze.ml +++ b/infer/src/backend/InferAnalyze.ml @@ -173,7 +173,8 @@ let invalidate_changed_procedures changed_files = ScubaLogging.log_count ~label:"incremental_analysis.total_nodes" ~value:total_nodes ; ScubaLogging.log_count ~label:"incremental_analysis.invalidated_nodes" ~value:invalidated_nodes ; (* save some memory *) - CallGraph.reset reverse_callgraph ) + CallGraph.reset reverse_callgraph ; + ResultsDir.delete_capture_and_results_data () ) let main ~changed_files =