From 12dcede3e95822929c7a145fc02e44fc52802cc0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= Date: Fri, 10 Jan 2020 03:54:35 -0800 Subject: [PATCH] [litho] Use read_full Reviewed By: skcho Differential Revision: D19344966 fbshipit-source-id: 532777ac5 --- infer/src/checkers/RequiredProps.ml | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/infer/src/checkers/RequiredProps.ml b/infer/src/checkers/RequiredProps.ml index 15adf466f..de77bdfc6 100644 --- a/infer/src/checkers/RequiredProps.ml +++ b/infer/src/checkers/RequiredProps.ml @@ -286,11 +286,9 @@ module Analyzer = LowerHil.MakeAbstractInterpreter (TransferFunctions) let init_extras summary = let get_proc_summary_and_formals callee_pname = - Ondemand.analyze_proc_name ~caller_summary:summary callee_pname - |> Option.bind ~f:(fun summary -> - Payload.of_summary summary - |> Option.map ~f:(fun payload -> - (payload, Summary.get_proc_desc summary |> Procdesc.get_pvar_formals) ) ) + Payload.read_full ~caller_summary:summary ~callee_pname + |> Option.map ~f:(fun (callee_pdesc, callee_summary) -> + (callee_summary, Procdesc.get_pvar_formals callee_pdesc) ) in TransferFunctions.{get_proc_summary_and_formals}