From c99b634655c62a9b5d912d2343c8762fa58380d6 Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Thu, 3 May 2018 09:24:12 -0700 Subject: [PATCH] [quandary] print caller of unexpected operator= expression Reviewed By: mbouaziz Differential Revision: D7858939 fbshipit-source-id: a69d858 --- infer/src/quandary/TaintAnalysis.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/infer/src/quandary/TaintAnalysis.ml b/infer/src/quandary/TaintAnalysis.ml index 34fba5ac7..4001509b3 100644 --- a/infer/src/quandary/TaintAnalysis.ml +++ b/infer/src/quandary/TaintAnalysis.ml @@ -630,11 +630,13 @@ module Make (TaintSpecification : TaintSpec.S) = struct |> exec_write dummy_ret_access_expr rhs_exp | _ -> L.internal_error "Unexpected call to operator= %a in %a" HilInstr.pp instr - Typ.Procname.pp callee_pname ; + Typ.Procname.pp + (Procdesc.get_proc_name proc_data.pdesc) ; access_tree ) | _ -> L.internal_error "Unexpected call to operator= %a in %a" HilInstr.pp instr - Typ.Procname.pp callee_pname ; + Typ.Procname.pp + (Procdesc.get_proc_name proc_data.pdesc) ; access_tree ) | _ -> let model =