diff options
| author | dgregor <dgregor@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-01-05 14:16:48 +0000 |
|---|---|---|
| committer | dgregor <dgregor@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-01-05 14:16:48 +0000 |
| commit | 11b0d70e4f4dbc5a4cd87fd68ad258ae13916753 (patch) | |
| tree | 574bda8fb9b87aab5e94dafad0b0aaba37eff28d | |
| parent | 7cb4612262d6c7e32b79796a02726a62eccf6c97 (diff) | |
| download | ppe42-gcc-11b0d70e4f4dbc5a4cd87fd68ad258ae13916753.tar.gz ppe42-gcc-11b0d70e4f4dbc5a4cd87fd68ad258ae13916753.zip | |
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
| -rw-r--r-- | gcc/cp/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/cp/pt.c | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 7a370367c42..79dce7482ac 100644 --- 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 c1fc2ad4f46..787cd60b060 100644 --- 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); |
