[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

@@ -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
+      Tabulation.log_call_trace ~caller_name:current_pname ~callee_name:callee_pname
-      | None ->
+        ?callee_attributes ~reason loc Tabulation.CR_skip ;
-          ()
-      | 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 ) ;
       unknown_or_scan_call ~is_scan:false ~reason ret_typ ret_annots
         Builtin.
           { pdesc= current_pdesc