[Bug c++/118060] [13/14/15 Regression] ICE (internal compiler error) on requires clause

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

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

--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Patrick Palka <ppa...@gcc.gnu.org>:

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

commit r15-6741-gca79349c050c27ff466735ba78d2e2bbce56ffdc
Author: Patrick Palka <ppa...@redhat.com>
Date:   Thu Jan 9 10:50:19 2025 -0500

    c++: ICE during requires-expr partial subst [PR118060]

    Here during partial substitution of the requires-expression (as part of
    CTAD constraint rewriting) we segfault from the INDIRECT_REF case of
    convert_to_void due *f(u) being type-dependent.  We should just defer
    checking convert_to_void until satisfaction.

            PR c++/118060

    gcc/cp/ChangeLog:

            * constraint.cc (tsubst_valid_expression_requirement): Don't
            check convert_to_void during partial substitution.

    gcc/testsuite/ChangeLog:

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

    Reviewed-by: Jason Merrill <ja...@redhat.com>