[clang] do not use C++ header models unless biabduction or inferbo is active

Summary: These can make the compilation fail, so don't use them unless we really need to.

Reviewed By: mbouaziz

Differential Revision: D6147574

fbshipit-source-id: ab2c3fa

infer/src/clang/ClangCommand.ml

@@ -162,7 +162,8 @@ let with_plugin_args args =
     |> (* -cc1 has to be the first argument or clang will think it runs in driver mode *)
        argv_cons "-cc1"
     |> (* It's important to place this option before other -isystem options. *)
-       argv_do_if Config.cxx_infer_headers
+       argv_do_if
+         Config.(cxx_infer_headers && (biabduction || bufferoverrun))
          (List.rev_append ["-isystem"; Config.cpp_extra_include_dir])
     |> List.rev_append
          [ "-load"