On Wed, Feb 13, 2019 at 03:08:01PM -0800, H.J. Lu wrote:
> > How does this test verify that both -fno-builtin-* options are in effect?
> > That is, how does it fail if you remove either or both of those options?
> >
>
> Without -fno-builtin-free -fno-builtin-malloc
As you haven't discovered any ubsan/asan etc. failures, I guess I'll add
a test for similar thing with -fsanitize=signed-integer-overflow
-fsanitize=shift
and similar (two -fsanitize-recover=, two -fno-sanitize=, two
-fno-sanitize-recover=). But I can do that incrementally.
There is
c-c++-common/ubsan/attrib-2.c:/* { dg-options "-fsanitize=undefined
-fsanitize=float-divide-by-zero -fsanitize=float-cast-overflow" } */
but it doesn't actually test all of those are instrumented.
Jakub
