2007-01-04 Douglas Gregor <doug.gregor@gmail.com>

	* pt.c (tsubst): Propagate the need for structural equality checks
	when reducing the level of template parameters.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@120483 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 7a370367c426a0be9b116cd818ef8cf75a8a348b..79dce7482ac3784015ddb3f67e2786140d08b2ea 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2007-01-05  Douglas Gregor  <doug.gregor@gmail.com>
+
+       * pt.c (tsubst): Propagate the need for structural equality checks
+       when reducing the level of template parameters.
+
 2007-01-03  Kazu Hirata  <kazu@codesourcery.com>
 
        * pt.c: Fix a comment typo.

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index c1fc2ad4f46b274e9457424916e052f1079179d4..787cd60b060e9403d3f8b94f8e75297947d09080 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -7530,6 +7530,8 @@ tsubst (tree t, tree args, tsubst_flags_t complain, tree in_decl)
                     require structural equality checking to compare
                     TEMPLATE_TEMPLATE_PARMs. */
                  SET_TYPE_STRUCTURAL_EQUALITY (r);
+               else if (TYPE_STRUCTURAL_EQUALITY_P (t))
+                 SET_TYPE_STRUCTURAL_EQUALITY (r);
                else
                  TYPE_CANONICAL (r) = canonical_type_parameter (r);