[Bug c/101478] [12/13 Regression] ICE with statement expression and offsetof like expression since r10-7127-gcb99630f254aae

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #10 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Richard Biener
<rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:068aa9a7a9cc163ee5f31bffd746a8cd2ebfef7e

commit r13-9640-g068aa9a7a9cc163ee5f31bffd746a8cd2ebfef7e
Author: Richard Biener <rguent...@suse.de>
Date:   Wed Jul 31 10:07:45 2024 +0200

    middle-end/101478 - ICE with degenerate address during gimplification

    When we gimplify &MEM[0B + 4] we are re-folding the address in case
    types are not canonical which ends up with a constant address that
    recompute_tree_invariant_for_addr_expr ICEs on.  Properly guard
    that call.

            PR middle-end/101478
            * gimplify.cc (gimplify_addr_expr): Check we still have an
            ADDR_EXPR before calling recompute_tree_invariant_for_addr_expr.

            * gcc.dg/pr101478.c: New testcase.

    (cherry picked from commit 33ead6400ad59d4b38fa0527a9a7b53a28114ab7)