diff --git a/infer/tests/codetoanalyze/c/errors/assertions/assertion_example.c b/infer/tests/codetoanalyze/c/errors/assertions/assertion_example.c index e022631df..e3112b51e 100644 --- a/infer/tests/codetoanalyze/c/errors/assertions/assertion_example.c +++ b/infer/tests/codetoanalyze/c/errors/assertions/assertion_example.c @@ -7,6 +7,9 @@ * of patent rights can be found in the PATENTS file in the same directory. */ +// TODO: remove this #define, it's here to get a specific version of +// [assert], as others may confuse the clang frontend (t26324545) +#define __STRICT_ANSI__ #include // We should report here no NPE, but also we should report div0 to show that we diff --git a/infer/tests/codetoanalyze/c/errors/assertions/assertion_failure.c b/infer/tests/codetoanalyze/c/errors/assertions/assertion_failure.c index 50e63413f..910071469 100644 --- a/infer/tests/codetoanalyze/c/errors/assertions/assertion_failure.c +++ b/infer/tests/codetoanalyze/c/errors/assertions/assertion_failure.c @@ -7,6 +7,9 @@ * of patent rights can be found in the PATENTS file in the same directory. */ +// TODO: remove this #define, it's here to get a specific version of +// [assert], as others may confuse the clang frontend (t26324545) +#define __STRICT_ANSI__ #include #include