From 9348012dc324652685ea6a4196bb9e5f7ddc1d12 Mon Sep 17 00:00:00 2001 From: Varun Arora Date: Fri, 16 Feb 2018 12:52:38 -0800 Subject: [PATCH] [clang] restore logging of procedures translated summaries Reviewed By: jvillard Differential Revision: D7012062 fbshipit-source-id: a5f6e0a --- infer/src/clang/cFrontend.ml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/infer/src/clang/cFrontend.ml b/infer/src/clang/cFrontend.ml index de16e79e7..1789cc731 100644 --- 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 ; ()