On Tue, Jul 08, 2025 at 03:17:39PM +0200, Richard Biener wrote:
> The following avoids inlining the actual main() (renamed to
> guality_main) into the guality plumbing. This can cause
> jump threading opportunities to appear and generally increase
> the chance what we actually test isn't what we think. Likewise
> make guality_check noipa instead of just noinline.
>
> Bootstrapped and tested on x86_64-unknown-linux-gnu. With -m32
> for me this adds
>
> +FAIL: gcc.dg/guality/pr41447-1.c -O2 -flto -fuse-linker-plugin
> -fno-fat-lto-o
> bjects -DPREVENT_OPTIMIZATION execution test
> +FAIL: gcc.dg/guality/pr41447-1.c -O3 -g -DPREVENT_OPTIMIZATION
> execution te
> st
> +FAIL: gcc.dg/guality/pr41447-1.c -Os -DPREVENT_OPTIMIZATION execution
> test
>
> on my testing machine. It avoids an additional FAIL with another
> patch I am testing that exposes a jump threading opportunity
> in main with guality_main inlined.
>
> OK for trunk?
>
> Thanks,
> Richard.
>
> gcc/testsuite/
> * gcc.dg/guality/guality.h (guality_main): Declare noipa.
> (guality_check): Likewise.
LGTM.
Jakub
