From 81c0877e20077ef52ce3f5f3e26a39bbfc431a20 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Thu, 23 Mar 2017 15:50:11 -0700 Subject: [PATCH] [infer][ondemnad] remove the call to `Summary.write_summary` in BufferOverrun which is no longer necessary Summary: Writing the summaries to disk now happens automatically during the on-demand analysis calls. So, individual checkers do not need to worry anymore about when should the analysis summaries be written to disk for the interprocedural analysis to do the right thing. Reviewed By: sblackshear Differential Revision: D4764337 fbshipit-source-id: 63870db --- infer/src/bufferoverrun/bufferOverrunChecker.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/infer/src/bufferoverrun/bufferOverrunChecker.ml b/infer/src/bufferoverrun/bufferOverrunChecker.ml index 131e54318..231590858 100644 --- a/infer/src/bufferoverrun/bufferOverrunChecker.ml +++ b/infer/src/bufferoverrun/bufferOverrunChecker.ml @@ -419,7 +419,6 @@ let compute_post = fun { pdesc; tenv; extras = get_pdesc } -> let cfg = CFG.from_pdesc pdesc in let pdata = ProcData.make pdesc tenv get_pdesc in - let pname = Procdesc.get_proc_name pdesc in let inv_map = Analyzer.exec_pdesc ~initial:Dom.Mem.bot pdata in let entry_mem = let entry_id = CFG.id (CFG.start_node cfg) in @@ -433,7 +432,6 @@ let compute_post Report.report_error pdesc cond_set; match entry_mem, exit_mem with | Some entry_mem, Some exit_mem -> - Summary.write_summary pname (entry_mem, exit_mem, cond_set); Some (entry_mem, exit_mem, cond_set) | _ -> None