[C++] Add option to exclude header models from compilation

Summary: Can be useful in case there is compilation issue with the models

Reviewed By: jvillard

Differential Revision: D5208830

fbshipit-source-id: f31d84f

infer/src/base/Config.ml

@@ -767,11 +767,21 @@ and copy_propagation =
   CLOpt.mk_bool ~deprecated:["copy-propagation"] ~long:"copy-propagation"
     "Perform copy-propagation on the IR"
 
-and cxx =
-  CLOpt.mk_bool ~deprecated:["cxx-experimental"] ~long:"cxx"
+and cxx, cxx_infer_headers =
+  let cxx_infer_headers =
+    CLOpt.mk_bool ~long:"cxx-infer-headers"
+      ~default:true
+      ~in_help:CLOpt.[Capture, manual_clang]
+      "Include C++ header models during compilation, set by $(b,--cxx). Infer swaps some C++ \
+       headers for its own in order to get a better model of, eg, the standard library. This \
+       can sometimes cause compilation failures." in
+  let cxx = CLOpt.mk_bool_group ~long:"cxx"
       ~default:true
       ~in_help:CLOpt.[Capture, manual_clang]
       "Analyze C++ methods"
+      [cxx_infer_headers] [] in
+  cxx, cxx_infer_headers
+
 
 and (
   bo_debug,
@@ -1846,6 +1856,7 @@ and copy_propagation = !copy_propagation
 and crashcontext = !crashcontext
 and create_harness = !android_harness
 and cxx = !cxx
+and cxx_infer_headers = !cxx_infer_headers
 and debug_level_analysis = !debug_level_analysis
 and debug_level_capture = !debug_level_capture
 and debug_level_linters = !debug_level_linters

infer/src/base/Config.mli

@@ -208,6 +208,7 @@ val copy_propagation : bool
 val crashcontext : bool
 val create_harness : bool
 val cxx : bool
+val cxx_infer_headers : bool
 val debug_level_analysis : int
 val debug_level_capture : int
 val debug_level_linters : int

infer/src/clang/ClangCommand.re

@@ -31,7 +31,7 @@ let plugin_name = "BiniouASTExporter";
 
 
 /** whether to amend include search path with C++ model headers */
-let infer_cxx_models = Config.cxx;
+let infer_cxx_models = Config.cxx_infer_headers;
 
 let value_of_argv_option argv opt_name =>
   List.fold