From 797eedba8bdf9fe127e6b69005be314d1872a9f4 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Mon, 6 Aug 2018 10:53:48 -0700 Subject: [PATCH] [infer][scheduler] remove one use of Summary.get Summary: This should be functionally equivalent but removes one call to `Summary.get` Reviewed By: jvillard Differential Revision: D9153924 fbshipit-source-id: d49789d2f --- infer/src/checkers/annotationReachability.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/infer/src/checkers/annotationReachability.ml b/infer/src/checkers/annotationReachability.ml index b08cd4fa9..3e5b2a830 100644 --- a/infer/src/checkers/annotationReachability.ml +++ b/infer/src/checkers/annotationReachability.ml @@ -170,9 +170,8 @@ let report_annotation_stack src_annot snk_annot src_summary loc trace stack_str let report_call_stack summary end_of_stack lookup_next_calls report call_site sink_map = - (* TODO: stop using this; we can use the call site instead *) let lookup_location pname = - Option.value_map ~f:Summary.get_loc ~default:Location.dummy (Summary.get pname) + Option.value_map ~f:Procdesc.get_loc ~default:Location.dummy (Ondemand.get_proc_desc pname) in let rec loop fst_call_loc visited_pnames (trace, stack_str) (callee_pname, call_loc) = if end_of_stack callee_pname then