From 2d49f4b7ade8e959f36f2c5846fcfc535e44ae8a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= Date: Tue, 10 Aug 2021 03:08:43 -0700 Subject: [PATCH] [cost] Remove unnecessary attribute from extras Summary: After D24569661 (https://github.com/facebook/infer/commit/15c1f816dc41db536f09e707af3b5f1988ab12ef), attributes is not used anywhere so let's remove it. Reviewed By: ngorogiannis Differential Revision: D30216020 fbshipit-source-id: 184881ae2 --- infer/src/cost/cost.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/infer/src/cost/cost.ml b/infer/src/cost/cost.ml index 86f549e95..c48f49434 100644 --- a/infer/src/cost/cost.ml +++ b/infer/src/cost/cost.ml @@ -23,8 +23,7 @@ type extras_WorstCaseCost = ; get_node_nb_exec: Node.t -> BasicCost.t ; get_summary: Procname.t -> CostDomain.summary option ; get_formals: Procname.t -> (Pvar.t * Typ.t) list option - ; get_proc_desc: Procname.t -> Procdesc.t option - ; proc_resolve_attributes: Procname.t -> ProcAttributes.t option } + ; get_proc_desc: Procname.t -> Procdesc.t option } let instantiate_cost ?get_closure_callee_cost ~default_closure_cost integer_type_widths ~inferbo_caller_mem ~callee_pname ~callee_formals ~args ~callee_cost ~loc = @@ -444,8 +443,7 @@ let checker ({InterproceduralAnalysis.proc_desc; exe_env; analyze_dependency} as ; get_node_nb_exec ; get_summary ; get_formals - ; get_proc_desc= Procdesc.load - ; proc_resolve_attributes= Attributes.load } + ; get_proc_desc= Procdesc.load } in AnalysisCallbacks.html_debug_new_node_session (NodeCFG.start_node node_cfg) ~pp_name:(fun f -> F.pp_print_string f "cost(worst-case)")