From bbca94569c0a894c0b110dba44b09ee616627826 Mon Sep 17 00:00:00 2001
From: Jeremy Dubreil <jrm@fb.com>
Date: Thu, 25 Jan 2018 15:53:05 -0800
Subject: [PATCH] [infer][scheduler] use the on-demand analysis when retrieving
 the procedure description for a given procedure name to make sure the summary
 exsits

Reviewed By: sblackshear

Differential Revision: D6778802

fbshipit-source-id: 0a1d91d
---
 infer/src/backend/SymExecBlocks.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/backend/SymExecBlocks.ml b/infer/src/backend/SymExecBlocks.ml
index 8b59677cb..916a2b428 100644
--- a/infer/src/backend/SymExecBlocks.ml
+++ b/infer/src/backend/SymExecBlocks.ml
@@ -46,7 +46,7 @@ let get_extended_args_for_method_with_block_analysis act_params =
 
 let resolve_method_with_block_args_and_analyze ~caller_pdesc pname act_params =
   let pdesc_opt =
-    match Specs.get_summary pname with
+    match Ondemand.analyze_proc_name ~caller_pdesc pname with
     | Some summary ->
         Some (Specs.get_proc_desc summary)
     | None ->