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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Nathan Sidwell <nat...@gcc.gnu.org>:

https://gcc.gnu.org/g:9d0eb0ae948f0fbee208cfb9a86133abea650f81

commit r11-5824-g9d0eb0ae948f0fbee208cfb9a86133abea650f81
Author: Nathan Sidwell <nat...@acm.org>
Date:   Mon Dec 7 07:02:58 2020 -0800

    c++: check alias match for specializations [PR98116]

    This fixes the underlying problem my recent (backedout) changes to
    array type creation uncovered.  We had paths through
    structural_comptypes that ignored alias templates, even when
    significant.  This adds the necessary checks.

            PR c++/98116
            gcc/cp/
            * typeck.c (structural_comptypes): Move early outs to comptype.
            Always check template-alias match when comparing_specializations.
            (comptypes): Do early out checking here.
            gcc/testsuite/
            * g++.dg/template/pr98116.C: Remove dg-ice.
            * g++.dg/template/pr98116-2.C: New.

Reply via email to