From 4fc0ecd86bc2fa6fd850e88250e058ea4a4a57f1 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Mon, 23 Apr 2018 10:24:43 -0700
Subject: [PATCH] [clang] don't include procname in broken cfg error message

Reviewed By: dulmarod

Differential Revision: D7728747

fbshipit-source-id: 308c487
---
 infer/src/clang/ClangLogging.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/infer/src/clang/ClangLogging.ml b/infer/src/clang/ClangLogging.ml
index c384ebbe1..4ee8ff719 100644
--- 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