From cf5040cbeecbd63a2f9545d2e6920f2a0020c6c3 Mon Sep 17 00:00:00 2001 From: jrm Date: Fri, 8 Jan 2016 15:11:38 -0800 Subject: [PATCH] call the on-demand analysis using the procedre name after name resolution Summary: public Fist resolve the method name based on the dynamic types found during the symbolic execution, then run the analysis on-demand with the resolved method name. Reviewed By: cristianoc Differential Revision: D2815744 fb-gh-sync-id: c55accd --- infer/src/backend/symExec.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/backend/symExec.ml b/infer/src/backend/symExec.ml index 8c6b58970..97712fe9f 100644 --- a/infer/src/backend/symExec.ml +++ b/infer/src/backend/symExec.ml @@ -1089,7 +1089,7 @@ let rec sym_exec cfg tenv pdesc _instr (_prop: Prop.normal Prop.t) path let resolved_pname = resolve_virtual_pname cfg tenv prop_r n_actual_params fn call_flags in if !Config.ondemand_enabled then - Ondemand.do_analysis pdesc callee_pname; + Ondemand.do_analysis pdesc resolved_pname; let callee_pdesc_opt = Cfg.Procdesc.find_from_name cfg resolved_pname in let ret_typ_opt = Option.map Cfg.Procdesc.get_ret_type callee_pdesc_opt in