On Tue, Mar 05, 2024 at 06:03:41PM +0000, Richard Sandiford wrote: > This patch makes the expansion of IFN_ASAN_MARK let through > poly-int-sized objects. The expansion itself was already generic > enough, but the tests for the fast path were too strict. > > Bootstrapped & regression tested on aarch64-linux-gnu. Is this OK > for trunk now, or should it wait for GCC 15? I'm not sure that it's > technically a regression, in the sense that we previously accepted the > testcase, but rejecting with an ICE is arguably worse than "sorry, can't > do that". And as noted in the PR, this bug is breaking numpy builds. > > Richard > > > gcc/ > PR sanitizer/97696 > * asan.cc (asan_expand_mark_ifn): Allow the length to be a poly_int. > > gcc/testsuite/ > PR sanitizer/97696 > * gcc.target/aarch64/sve/pr97696.c: New test.
Ok for trunk now. > --- /dev/null > +++ b/gcc/testsuite/gcc.target/aarch64/sve/pr97696.c > @@ -0,0 +1,28 @@ > +/* { dg-options "-fsanitize=address -fsanitize-address-use-after-scope" } */ Though I'd say this test should require sanitize_address affective target. E.g. libsanitizer (sure, not actually used by the test) is only supported on aarch64*-*-linux*, not e.g. on darwin nor freebsd nor fuchsia etc. Jakub