From 3d4942a748e034c36bc6232d7197de93229df1d2 Mon Sep 17 00:00:00 2001 From: Dulma Rodriguez Date: Mon, 14 Mar 2016 06:11:34 -0700 Subject: [PATCH] Restore not translating header in testing mode Reviewed By: akotulski Differential Revision: D3047221 fb-gh-sync-id: aaa5a75 shipit-source-id: aaa5a75 --- infer/src/clang/cLocation.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/infer/src/clang/cLocation.ml b/infer/src/clang/cLocation.ml index 3d6231da0..caad7d0a2 100644 --- a/infer/src/clang/cLocation.ml +++ b/infer/src/clang/cLocation.ml @@ -106,7 +106,8 @@ let should_translate (loc_start, loc_end) = || map_file_of equal_current_source loc_end || map_file_of equal_current_source loc_start || file_in_models - || (!CFrontend_config.cxx_experimental && file_in_project) + || (!CFrontend_config.cxx_experimental && file_in_project + && not (!CFrontend_config.testing_mode)) let should_translate_lib source_range = not !CFrontend_config.no_translate_libs