From 286d27be103c9aaba84ac905c9b17845ef12cedf Mon Sep 17 00:00:00 2001 From: Dulma Rodriguez Date: Mon, 19 Oct 2015 10:19:55 -0700 Subject: [PATCH] Remove the file information form the mangling of variable names Reviewed By: ddino Differential Revision: D2555266 fb-gh-sync-id: 4f10814 --- infer/src/clang/cFrontend_utils.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/infer/src/clang/cFrontend_utils.ml b/infer/src/clang/cFrontend_utils.ml index 1c16b8b1c..1db6ff54e 100644 --- a/infer/src/clang/cFrontend_utils.ml +++ b/infer/src/clang/cFrontend_utils.ml @@ -510,11 +510,9 @@ struct else let type_name = Ast_utils.string_of_type_ptr type_ptr in let start_location = fst decl_info.Clang_ast_t.di_source_range in - let file_opt = start_location.Clang_ast_t.sl_file in let line_opt = start_location.Clang_ast_t.sl_line in let line_str = match line_opt with | Some line -> string_of_int line | None -> "" in - let rel_path = get_rel_file_path file_opt in - let mangled = CRC.crc16 (type_name ^ rel_path ^ line_str) in + let mangled = CRC.crc16 (type_name ^ line_str) in let mangled_name = Mangled.mangled name.Clang_ast_t.ni_name mangled in Sil.mk_pvar mangled_name procname | None -> Sil.mk_pvar simple_name procname