[clang] Ignore -fsanitize=builtin

Reviewed By: jvillard

Differential Revision: D6543987

fbshipit-source-id: 8eda1d2

infer/src/clang/ClangCommand.ml

@@ -130,8 +130,11 @@ let clang_cc1_cmd_sanitizer cmd =
 
 let mk quoting_style ~prog ~args =
   (* Some arguments break the compiler so they need to be removed even before the normalization step *)
+  let blacklisted_flags = ["-fsanitize=builtin"] in
   let blacklisted_flags_with_arg = ["-index-store-path"] in
-  let sanitized_args = filter_and_replace_unsupported_args ~blacklisted_flags_with_arg args in
+  let sanitized_args =
+    filter_and_replace_unsupported_args ~blacklisted_flags ~blacklisted_flags_with_arg args
+  in
   {exec= prog; orig_argv= sanitized_args; argv= sanitized_args; quoting_style}
 
 

infer/tests/build_systems/clang_with_blacklisted_flags/Makefile

@@ -13,7 +13,7 @@ ANALYZER = checkers
 # a folder, is not discarded, and Clang considers it as a source file. This
 # leads to an error. This weird case can be observed when -index-store-path is
 # passed in a sequence like the one in CLANG_OPTIONS.
-CLANG_OPTIONS = -x c -index-store-path . -c
+CLANG_OPTIONS = -x c -index-store-path . -c -fsanitize=builtin
 INFER_OPTIONS = --report-custom-error --developer-mode --project-root ../codetoanalyze
 INFERPRINT_OPTIONS = --issues-tests