[checkers] return already-computed summaries from Interprocedural.checker

Reviewed By: jvillard Differential Revision: D4075325 fbshipit-source-id: 940c382
8 years ago · 471a7633f1
parent c7318ee27e
commit 471a7633f1
1 changed files with 2 additions and 1 deletions
--- 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