Re: [PATCH] sra: Disqualify bases of operands of asm gotos

[Jeff Law]

On 1/17/24 11:21, Martin Jambor wrote:
Hi,

PR 110422 shows that SRA can ICE assuming there is a single edge
outgoing from a block terminated with an asm goto.  We need that for
BB-terminating statements so that any adjustments they make to the
aggregates can be copied over to their replacements.  Because we can't
have that after ASM gotos, we need to punt.

Bootstrapped and tested on x86_64-linux, OK for master?  It will need
some tweaking for release branches, is it in principle OK for them too
(after testing)?

Thanks,

Martin


gcc/ChangeLog:

2024-01-17  Martin Jambor  <mjam...@suse.cz>

        PR tree-optimization/110422
        * tree-sra.cc (scan_function): Disqualify bases of operands of asm
        gotos.

gcc/testsuite/ChangeLog:

2024-01-17  Martin Jambor  <mjam...@suse.cz>

        PR tree-optimization/110422
        * gcc.dg/torture/pr110422.c: New test.
OK.  Also OK for the other release branches with necessary adjustments 
after testing.

jeff