[clang] restore logging of procedures translated summaries

Reviewed By: jvillard Differential Revision: D7012062 fbshipit-source-id: a5f6e0a
7 years ago · 9348012dc3
parent d76d20a9ca
commit 9348012dc3
1 changed files with 8 additions and 0 deletions
--- a/infer/src/clang/cFrontend.ml
+++ b/infer/src/clang/cFrontend.ml
@ -59,4 +59,12 @@ let do_source_file (translation_unit_context: CFrontend_config.translation_unit_
     || Option.is_some Config.icfg_dotty_outfile
  then Dotty.print_icfg_dotty source_file cfg ;
  L.(debug Capture Verbose) "%a" Cfg.pp_proc_signatures cfg ;
+  let procedures_translated_summary =
+    EventLogger.ProceduresTranslatedSummary
+      { procedures_translated_total= !CFrontend_config.procedures_attempted
+      ; procedures_translated_failed= !CFrontend_config.procedures_failed
+      ; lang= CFrontend_config.string_of_clang_lang translation_unit_context.lang
+      ; source_file= translation_unit_context.source_file }
+  in
+  EventLogger.log procedures_translated_summary ;
  ()