Always analyze procedures when analyze_models is set.

Reviewed By: jberdine Differential Revision: D2971883 fb-gh-sync-id: b68ee4d shipit-source-id: b68ee4d
9 years ago · 90489d7f54
parent decb263b1d
commit 90489d7f54
1 changed files with 1 additions and 0 deletions
--- a/infer/src/backend/interproc.ml
+++ b/infer/src/backend/interproc.ml
@ -1259,6 +1259,7 @@ let do_analysis exe_env =
  IList.iter
    (fun ((pn, _) as x) ->
       let should_init () =
+         Config.analyze_models ||
         not !Config.ondemand_enabled ||
         Specs.get_summary pn = None in
       if filter x &&