From 69142ccad49baa889975801c3247d9c8a75c1506 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Wed, 8 Aug 2018 03:33:13 -0700 Subject: [PATCH] [biabd] do not get summary of pname to then get pname from summary Summary: Using the proc name directly should be equivalent and does not rely on `Summary` caching summaries for us. Reviewed By: mbouaziz Differential Revision: D9196503 fbshipit-source-id: dea67999a --- infer/src/biabduction/SymExec.ml | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/infer/src/biabduction/SymExec.ml b/infer/src/biabduction/SymExec.ml index 78a11ecfe..fdd14c59f 100644 --- a/infer/src/biabduction/SymExec.ml +++ b/infer/src/biabduction/SymExec.ml @@ -1216,13 +1216,8 @@ let rec sym_exec exe_env tenv current_pdesc instr_ (prop_: Prop.normal Prop.t) p Reporting.log_info_deprecated current_pname exn ; L.d_strln (F.sprintf "Skipping function '%s': %s" (Typ.Procname.to_string callee_pname) reason) ; - ( match Summary.get current_pname with - | None -> - () - | Some summary -> - let caller_name = Summary.get_proc_name summary in - Tabulation.log_call_trace ~caller_name ~callee_name:callee_pname ?callee_attributes - ~reason loc Tabulation.CR_skip ) ; + Tabulation.log_call_trace ~caller_name:current_pname ~callee_name:callee_pname + ?callee_attributes ~reason loc Tabulation.CR_skip ; unknown_or_scan_call ~is_scan:false ~reason ret_typ ret_annots Builtin. { pdesc= current_pdesc