diff --git a/infer/src/clang/cFrontend.ml b/infer/src/clang/cFrontend.ml index 2dc5e897b..7845c658c 100644 --- a/infer/src/clang/cFrontend.ml +++ b/infer/src/clang/cFrontend.ml @@ -141,7 +141,6 @@ let do_source_file source_file ast = let tenv = Sil.create_tenv () in CTypes_decl.add_predefined_types tenv; init_global_state source_file; - CLocation.init_curr_source_file source_file; Config.nLOC := FileLOC.file_get_loc (DB.source_file_to_string source_file); Printing.log_out "\n Start building call/cfg graph for '%s'....\n" (DB.source_file_to_string source_file); diff --git a/infer/src/clang/cLocation.ml b/infer/src/clang/cLocation.ml index 1d4c8dcca..ca5263230 100644 --- a/infer/src/clang/cLocation.ml +++ b/infer/src/clang/cLocation.ml @@ -17,8 +17,6 @@ open Utils (* in this variable. *) let curr_file = ref DB.source_file_empty -let init_curr_source_file _ = () - let source_file_from_path path = if Filename.is_relative path then (Printing.log_err diff --git a/infer/src/clang/cLocation.mli b/infer/src/clang/cLocation.mli index 1727d201e..365fa616e 100644 --- a/infer/src/clang/cLocation.mli +++ b/infer/src/clang/cLocation.mli @@ -25,8 +25,6 @@ val should_translate_enum : Clang_ast_t.source_range -> bool val update_curr_file : Clang_ast_t.decl_info -> unit -val init_curr_source_file : DB.source_file -> unit - val check_source_file : string -> unit val source_file_from_path : string -> DB.source_file