[clang] don't include procname in broken cfg error message

Reviewed By: dulmarod Differential Revision: D7728747 fbshipit-source-id: 308c487
8 years ago · 4fc0ecd86b
parent 8f0701a01c
commit 4fc0ecd86b
1 changed files with 1 additions and 4 deletions
--- a/infer/src/clang/ClangLogging.ml
+++ b/infer/src/clang/ClangLogging.ml
@ -25,16 +25,13 @@ let log_caught_exception (trans_unit_ctx: CFrontend_config.translation_unit_cont

 let log_broken_cfg procdesc exception_triggered_location ~lang =
  let proc_location = Procdesc.get_loc procdesc in
-  let exception_type =
-    F.asprintf "Broken CFG for %a" Typ.Procname.pp (Procdesc.get_proc_name procdesc)
-  in
  let cfg_exception =
    EventLogger.FrontendException
      { source_location_start= proc_location
      ; source_location_end= proc_location
      ; ast_node= None
      ; exception_triggered_location
-      ; exception_type
+      ; exception_type= "Broken CFG"
      ; lang }
  in
  EventLogger.log cfg_exception