diff --git a/infer/src/backend/ondemand.ml b/infer/src/backend/ondemand.ml
index 04e89aec7..4c2c5a11a 100644
--- a/infer/src/backend/ondemand.ml
+++ b/infer/src/backend/ondemand.ml
@@ -157,9 +157,10 @@ let update_taskbar callee_pdesc =
 
 
 let analyze callee_summary =
-  BackendStats.incr_ondemand_procs_analyzed () ;
   let exe_env = Option.value_exn !exe_env_ref in
-  Callbacks.iterate_procedure_callbacks exe_env callee_summary
+  let summary = Callbacks.iterate_procedure_callbacks exe_env callee_summary in
+  BackendStats.incr_ondemand_procs_analyzed () ;
+  summary
 
 
 let run_proc_analysis ~caller_pdesc callee_pdesc =