From 8e078c33d771385be5b8287aa2d289d29590aca1 Mon Sep 17 00:00:00 2001 From: Dulma Churchill Date: Mon, 10 Jul 2017 01:01:23 -0700 Subject: [PATCH] [linters] Print active linters to the stdout when --print-active-checkers is passed Reviewed By: mbouaziz Differential Revision: D5382170 fbshipit-source-id: 3d8ad61 --- infer/src/clang/cFrontend_checkers_main.ml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/infer/src/clang/cFrontend_checkers_main.ml b/infer/src/clang/cFrontend_checkers_main.ml index f102a3b97..d5a0fc2f3 100644 --- a/infer/src/clang/cFrontend_checkers_main.ml +++ b/infer/src/clang/cFrontend_checkers_main.ml @@ -298,6 +298,10 @@ let do_frontend_checks (trans_unit_ctx: CFrontend_config.translation_unit_contex L.(debug Linters Medium) "Start linting file %a with rules: @\n%a@\n" SourceFile.pp source_file CFrontend_errors.pp_linters filtered_parsed_linters; + if Config.print_active_checkers then + L.progress "Linting file %a, active linters: @\n%a@\n" + SourceFile.pp source_file + CFrontend_errors.pp_linters filtered_parsed_linters; match ast with | Clang_ast_t.TranslationUnitDecl(_, decl_list, _, _) -> let context =