[Bug c++/43704] [4.5 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

["dodji at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #11 from dodji at gcc dot gnu dot org  2010-04-20 19:40 -------
Fixed in trunk (4.6) and 4.5.1.


------- Comment #12 from dodji at gcc dot gnu dot org  2010-04-20 19:40 -------
Subject: Bug 43704

Author: dodji
Date: Tue Apr 20 19:40:11 2010
New Revision: 158572

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=158572
Log:
Fix PR c++/43704

gcc/cp/ChangeLog:
        PR c++/43704
        * typeck.c (structural_comptypes): Test dependent typedefs
        incompatibility before testing for their main variant based
        equivalence.
        (incompatible_dependent_types_p): If one of the
        compared types if not a typedef then honour their main variant
        equivalence.

gcc/testsuite/ChangeLog:
        PR c++/43704
        * g++.dg/template/typedef32.C: New test.
        * g++.dg/template/typedef33.C: New test.


gcc/testsuite/ChangeLog:

Added:
    branches/gcc-4_5-branch/gcc/testsuite/g++.dg/template/typedef32.C
    branches/gcc-4_5-branch/gcc/testsuite/g++.dg/template/typedef33.C
Modified:
    branches/gcc-4_5-branch/gcc/cp/ChangeLog
    branches/gcc-4_5-branch/gcc/cp/typeck.c
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog


-- 

dodji at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43704