From 1a7c5a149340c1dc11540e69b2b4fc01b8afea77 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Wed, 28 Mar 2018 13:07:51 -0700 Subject: [PATCH] Fix deadcode Reviewed By: sblackshear Differential Revision: D7433822 fbshipit-source-id: a1e8de1 --- infer/src/checkers/cost.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/src/checkers/cost.ml b/infer/src/checkers/cost.ml index e73da6da9..81923e206 100644 --- a/infer/src/checkers/cost.ml +++ b/infer/src/checkers/cost.ml @@ -58,7 +58,7 @@ module TransferFunctionsNodesBasicCost (CFG : ProcCfg.S) = struct instrs - let exec_instr_cost inferbo_mem (astate: CostDomain.NodeInstructionToCostMap.astate) + let exec_instr_cost _inferbo_mem (astate: CostDomain.NodeInstructionToCostMap.astate) {ProcData.pdesc} (node: CFG.node) instr : CostDomain.NodeInstructionToCostMap.astate = let nid_int = (Procdesc.Node.get_id (CFG.underlying_node node) :> int) in let instr_idx = instr_idx node instr in @@ -530,7 +530,7 @@ end module AnalyzerWCET = AbstractInterpreter.Make (CFG) (TransferFunctionsWCET) -let checker ({Callbacks.tenv; summary; proc_desc} as proc_callback_args) : Specs.summary = +let checker {Callbacks.tenv; summary; proc_desc} : Specs.summary = Preanal.do_preanalysis proc_desc tenv ; let proc_data = ProcData.make_default proc_desc tenv in let cfg = CFG.from_pdesc proc_desc in