[clang] Add flag -fno-cxx-modules to analysis

Reviewed By: akotulski, jvillard

Differential Revision: D4058961

fbshipit-source-id: a1b0b19

infer/lib/xcode_wrappers/clang

@@ -6,6 +6,4 @@ BIN_PATH="${SCRIPT_PATH}/../../bin"
 if [ "${0%++}" != "$0" ]; then INFER_XX="++"; fi
 export INFER_XX
 
-EXTRA_ARGS=-fno-cxx-modules
-
-"${BIN_PATH}/InferClang" "$@" $EXTRA_ARGS
+"${BIN_PATH}/InferClang" "$@"

infer/src/clang/InferClang.re

@@ -21,9 +21,10 @@ let normalize (args: array string) :list ClangCommand.t =>
     Logging.out "InferClang got toplevel -cc1 command@\n";
     [ClangCommand.CC1 args]
   | NonCCCommand args =>
+    let args' = ClangCommand.append_args ["-fno-cxx-modules"] args;
     let clang_hashhashhash =
       Printf.sprintf
-        "%s 2>&1" (ClangCommand.prepend_arg "-###" args |> ClangCommand.command_to_run);
+        "%s 2>&1" (ClangCommand.prepend_arg "-###" args' |> ClangCommand.command_to_run);
     Logging.out "clang -### invocation: %s@\n" clang_hashhashhash;
     let normalized_commands = ref [];
     let one_line line =>