[Bug c++/105304] [10/11 Regression] ICE segfault using ad-hoc concept with -Wall since r10-7441-ga7ea3d2ced786c45

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Patrick Palka
<ppalka@gcc.gnu.org>:

https://gcc.gnu.org/g:992dd9a071c16b94a616ab7242390b6581fa6001

commit r11-9946-g992dd9a071c16b94a616ab7242390b6581fa6001
Author: Patrick Palka <ppalka@redhat.com>
Date:   Mon Apr 25 21:49:00 2022 -0400

    c++: ICE with requires-expr and -Wsequence-point [PR105304]

    Here we're crashing from verify_sequence_points for this requires-expr
    condition because it contains a templated CAST_EXPR with empty operand,
    and verify_tree doesn't ignore this empty operand only because the
    manual tail recursion that it performs for unary expression trees skips
    the NULL test.

            PR c++/105304

    gcc/c-family/ChangeLog:

            * c-common.c (verify_tree) [restart]: Move up to before the
            NULL test.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/concepts-requires30.C: New test.

    (cherry picked from commit c83b9c54d9dee2dce5d8268472a745b013d166cc)