[Bug rtl-optimization/98601] [8/9/10 Regression] aarch64: ICE in rtx_addr_can_trap_p_1, at rtlanal.c:467

cvs-commit at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Tue Apr 20 09:45:53 GMT 2021


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98601

--- Comment #9 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Jakub Jelinek
<jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:e68ac8c2b46997af1464f2549ac520a192c928b1

commit r10-9723-ge68ac8c2b46997af1464f2549ac520a192c928b1
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Sat Apr 10 12:46:09 2021 +0200

    rtlanal: Another fix for VOIDmode MEMs [PR98601]

    This is a sequel to the PR85022 changes, inline-asm can (unfortunately)
    introduce VOIDmode MEMs and in PR85022 they have been changed so that
    we don't pretend we know their size (as opposed to assuming they have
    zero size).

    This time we ICE in rtx_addr_can_trap_p_1 because it assumes that
    all memory but BLKmode has known size.  The patch just treats VOIDmode
    MEMs like BLKmode in that regard.  And, the STRICT_ALIGNMENT change
    is needed because VOIDmode has GET_MODE_SIZE of 0 and we don't want to
    check if something is a multiple of 0.

    2021-04-10  Jakub Jelinek  <jakub@redhat.com>

            PR rtl-optimization/98601
            * rtlanal.c (rtx_addr_can_trap_p_1): Allow in assert unknown size
            not just for BLKmode, but also for VOIDmode.  For STRICT_ALIGNMENT
            unaligned_mems handle VOIDmode like BLKmode.

            * gcc.dg/torture/pr98601.c: New test.

    (cherry picked from commit 7a493fcd27d6a1af896c4f5ef4ab1e0afe8a839d)


More information about the Gcc-bugs mailing list