[quandary] print caller of unexpected operator= expression

Reviewed By: mbouaziz Differential Revision: D7858939 fbshipit-source-id: a69d858
7 years ago · c99b634655
parent 7108b348ff
commit c99b634655
1 changed files with 4 additions and 2 deletions
--- 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 =