From 471a7633f111de45143cc8ce883fb329417a2996 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Tue, 25 Oct 2016 11:43:50 -0700
Subject: [PATCH] [checkers] return already-computed summaries from
 Interprocedural.checker

Reviewed By: jvillard

Differential Revision: D4075325

fbshipit-source-id: 940c382
---
 infer/src/checkers/abstractInterpreter.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/infer/src/checkers/abstractInterpreter.ml b/infer/src/checkers/abstractInterpreter.ml
index e0d2b91a6..456ff3af3 100644
--- a/infer/src/checkers/abstractInterpreter.ml
+++ b/infer/src/checkers/abstractInterpreter.ml
@@ -154,7 +154,8 @@ module MakeNoCFG
           Ondemand.unset_callbacks ();
           post_opt
         end
-      else None
+      else
+        Summ.read_summary tenv proc_desc proc_name
   end
 end