From 14862d0aca4234db36f5e80f3b637a5a898e33ce Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Thu, 23 Feb 2017 15:05:48 -0800 Subject: [PATCH] [infer][ondemand] remove redundant check for already analyzed procedures Summary: This check is redundant and already happens in `Ondemand`. Reviewed By: sblackshear Differential Revision: D4605613 fbshipit-source-id: d249212 --- infer/src/backend/interproc.ml | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/infer/src/backend/interproc.ml b/infer/src/backend/interproc.ml index 183fb513f..c03229c28 100644 --- a/infer/src/backend/interproc.ml +++ b/infer/src/backend/interproc.ml @@ -1401,11 +1401,6 @@ let perform_transition exe_env tenv proc_name source = let interprocedural_algorithm exe_env : unit = let call_graph = Exe_env.get_cg exe_env in - let filter_initial proc_name = - let summary = Specs.get_summary_unsafe "main_algorithm" proc_name in - Int.equal (Specs.get_timestamp summary) 0 in - let procs_to_analyze = - List.filter ~f:filter_initial (Cg.get_defined_nodes call_graph) in let process_one_proc proc_name = let analyze proc_desc = ignore (Ondemand.analyze_proc_desc ~propagate_exceptions:false proc_desc proc_desc) in @@ -1416,7 +1411,7 @@ let interprocedural_algorithm exe_env : unit = analyze proc_desc | Some proc_desc -> analyze proc_desc | None -> () in - List.iter ~f:process_one_proc procs_to_analyze + List.iter ~f:process_one_proc (Cg.get_defined_nodes call_graph) (** Perform the analysis of an exe_env *)