From 2e50022eb139c802260398330d7a4a8990bf8604 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Fri, 28 Apr 2017 18:29:02 -0700 Subject: [PATCH] [infer][backend] remove unecessary check for analyzer kind Summary: This code only runs when Infer is running and is not reached when any other analyzer is used Reviewed By: sblackshear Differential Revision: D4973824 fbshipit-source-id: 700e24b --- infer/src/backend/interproc.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/infer/src/backend/interproc.ml b/infer/src/backend/interproc.ml index 15f88d75f..0deb31111 100644 --- a/infer/src/backend/interproc.ml +++ b/infer/src/backend/interproc.ml @@ -1435,10 +1435,8 @@ let do_analysis_closures exe_env : Tasks.closure list = let analyze_ondemand source _ proc_desc = let proc_name = Procdesc.get_proc_name proc_desc in let tenv = Exe_env.get_tenv exe_env proc_name in - if not (Config.eradicate || Config.checkers) && not (Procdesc.did_preanalysis proc_desc) + if not (Procdesc.did_preanalysis proc_desc) then - (* Eradicate and the checkers don't need the Nullify/Remove_temps/Abstract instructions that - the preanalysis inserts. *) begin Preanal.do_liveness proc_desc tenv; Preanal.do_abstraction proc_desc;