From faf04af1f4bd7a590948f3760cc9a11540420361 Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Wed, 13 Sep 2017 15:42:05 -0700 Subject: [PATCH] [cleanup] kill some debug code Reviewed By: jeremydubreil Differential Revision: D5828038 fbshipit-source-id: cd92ee4 --- infer/src/backend/InferPrint.ml | 12 ------------ infer/src/clang/cAst_utils.ml | 3 --- 2 files changed, 15 deletions(-) diff --git a/infer/src/backend/InferPrint.ml b/infer/src/backend/InferPrint.ml index bf308351c..20d47aa01 100644 --- a/infer/src/backend/InferPrint.ml +++ b/infer/src/backend/InferPrint.ml @@ -67,18 +67,6 @@ let get_bug_hash (kind: string) (type_str: string) (procedure_id: string) (filen (node_key: int) (error_desc: Localise.error_desc) = let qualifier_tag_call_procedure = Localise.error_desc_get_tag_call_procedure error_desc in let qualifier_tag_value = Localise.error_desc_get_tag_value error_desc in - Logging.progress - "\nCreating hash from kind=%s, type_str=%s, \ - procedure_id=%s, filename=%s, node_key=%d, \ - qualifier_tag_call_procedure=%s, qualifier_tag_value=%s @." - kind - type_str - procedure_id - filename - node_key - qualifier_tag_call_procedure - qualifier_tag_value - ; Hashtbl.hash ( kind , type_str diff --git a/infer/src/clang/cAst_utils.ml b/infer/src/clang/cAst_utils.ml index b7f77f665..60210ff5f 100644 --- a/infer/src/clang/cAst_utils.ml +++ b/infer/src/clang/cAst_utils.ml @@ -282,9 +282,6 @@ let generate_key_decl decl = let name = full_name_of_decl_opt (Some decl) in Buffer.add_string buffer (string_of_int (get_tag decl)) ; Buffer.add_string buffer (QualifiedCppName.to_qual_string name) ; - Logging.(debug Capture Medium) - "Generated key for decl with name %s and tag %d is %s" (QualifiedCppName.to_qual_string name) - (get_tag decl) (Buffer.contents buffer) ; Buffer.contents buffer let rec get_super_if decl =