[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
7 years ago · bbca94569c
parent c1fd661648
commit bbca94569c
1 changed files with 1 additions and 1 deletions
--- 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 ->