From 90489d7f54247bcb3e7a1cc86afd1ad944c7988f Mon Sep 17 00:00:00 2001
From: Cristiano Calcagno <cristianoc@fb.com>
Date: Wed, 24 Feb 2016 10:01:00 -0800
Subject: [PATCH] Always analyze procedures when analyze_models is set.

Reviewed By: jberdine

Differential Revision: D2971883

fb-gh-sync-id: b68ee4d
shipit-source-id: b68ee4d
---
 infer/src/backend/interproc.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/src/backend/interproc.ml b/infer/src/backend/interproc.ml
index b468457a8..ab09c2d77 100644
--- 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 &&