[Bug c++/112633] [13/14 Regression] ICE with type aliases and depedent value

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:63c65224e778124eee52acc7b9fcb32cd8ad61e8

commit r13-8090-g63c65224e778124eee52acc7b9fcb32cd8ad61e8
Author: Patrick Palka <ppalka@redhat.com>
Date:   Wed Nov 22 19:07:19 2023 -0500

    c++: alias template of non-template class [PR112633]

    The entering_scope adjustment in tsubst_aggr_type assumes if an alias is
    dependent, then so is the aliased type (and therefore it has template info)
    but that's not true for the dependent alias template specialization ty1<T>
    below which aliases the non-template class A.  In this case no adjustment
    is needed anyway, so we can just punt.

            PR c++/112633

    gcc/cp/ChangeLog:

            * pt.cc (tsubst_aggr_type): Handle empty TYPE_TEMPLATE_INFO
            in the entering_scope adjustment.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp0x/alias-decl-75.C: New test.

    (cherry picked from commit 3f266c84a15d63e42bfad46397fea9aff92b0720)