This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [C++ PATCH] Fix handling of canonical types for nested BOUND_TEMPLATE_TEMPLATE_PARMS
- From: Mark Mitchell <mark at codesourcery dot com>
- To: Doug Gregor <doug dot gregor at gmail dot com>
- Cc: Andrew Pinski <pinskia at physics dot uc dot edu>, Jan Hubicka <hubicka at ucw dot cz>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 04 Jan 2007 19:37:52 -0800
- Subject: Re: [C++ PATCH] Fix handling of canonical types for nested BOUND_TEMPLATE_TEMPLATE_PARMS
- References: <24b520d20701040728o748fea45s1963b8c37abb453c@mail.gmail.com>
Doug Gregor wrote:
> Index: pt.c
> ===================================================================
> --- pt.c (revision 120438)
> +++ pt.c (working copy)
> @@ -7530,6 +7530,8 @@ tsubst (tree t, tree args, tsubst_flags_
> 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);
>
> 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.
OK, thanks.
--
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713