From 22b84162d693763b26ffbf5ec9d36d2494ae330b Mon Sep 17 00:00:00 2001 From: Andrzej Kotulski Date: Thu, 26 Nov 2015 08:51:00 -0800 Subject: [PATCH] Don't use trans_state.parent_line_number to determine location Summary: public Turn off this 'feature' without killing the code (yet) We should be fine without it due to CAstProcessor that populates all location information. Reviewed By: dulmarod Differential Revision: D2699651 fb-gh-sync-id: cd7a184 --- infer/src/clang/cLocation.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/clang/cLocation.ml b/infer/src/clang/cLocation.ml index 870970a72..7f7fe1d5d 100644 --- a/infer/src/clang/cLocation.ml +++ b/infer/src/clang/cLocation.ml @@ -113,7 +113,7 @@ let get_sil_location_from_range source_range prefer_first = let get_sil_location stmt_info parent_line_number context = match stmt_info.Clang_ast_t.si_source_range with (sloc1, sloc2) -> let sloc = choose_sloc sloc1 sloc2 true in - clang_to_sil_location sloc parent_line_number (Some (CContext.get_procdesc context)) + clang_to_sil_location sloc (-1) (Some (CContext.get_procdesc context)) let get_line stmt_info line_number = match stmt_info.Clang_ast_t.si_source_range with