From 7a3fd229cdaf2d2af5ea70880d5f8d154ae3620e Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Mon, 27 Feb 2017 11:49:13 -0800 Subject: [PATCH] [infer][ondemand] Also store the summary to disk when the on-demand analysis raises an exception Summary: The summary was stored to disk at the end of the on-demand analysis, unless an exception was raised in which case it was only updated in the in-memory cache. Reviewed By: sblackshear Differential Revision: D4612369 fbshipit-source-id: 1c8d75b --- infer/src/backend/ondemand.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/backend/ondemand.ml b/infer/src/backend/ondemand.ml index d22e11bf0..b87dbc804 100644 --- a/infer/src/backend/ondemand.ml +++ b/infer/src/backend/ondemand.ml @@ -165,7 +165,7 @@ let run_proc_analysis ~propagate_exceptions analyze_proc curr_pdesc callee_pdesc { prev_summary.Specs.payload with Specs.preposts = Some []; } in let new_summary = { prev_summary with Specs.stats; payload; timestamp; } in - Specs.add_summary callee_pname new_summary; + Specs.store_summary callee_pname new_summary; new_summary in let old_state = save_global_state () in