diff --git a/infer/src/clang/ClangCommand.re b/infer/src/clang/ClangCommand.re index daad3b37d..a73b91c6f 100644 --- a/infer/src/clang/ClangCommand.re +++ b/infer/src/clang/ClangCommand.re @@ -88,6 +88,12 @@ let clang_cc1_cmd_sanitizer cmd => { if (String.equal option "-arch" && String.equal arg "armv7k") { "armv7" /* replace armv7k arch with armv7 */ + } else if ( + String.is_suffix arg suffix::"dep.tmp" + ) { + /* compilation-database-buck integration produces path to `dep.tmp` file that doesn't exist. Create it */ + Unix.mkdir_p (Filename.dirname arg); + arg } else if ( String.equal option "-isystem" ) {