This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [C++ PATCH] Canonical function and method types
- From: Mark Mitchell <mark at codesourcery dot com>
- To: Doug Gregor <doug dot gregor at gmail dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Tue, 03 Jul 2007 17:37:44 -0700
- Subject: Re: [C++ PATCH] Canonical function and method types
- References: <24b520d20706291536l13754ba7q3f046904121f7b26@mail.gmail.com>
Doug Gregor wrote:
> This patch implements canonical types for FUNCTION_TYPE and
> METHOD_TYPE nodes, which previously were always marked as requiring
> structural type-checks.
Good stuff.
This isn't 100% clear:
+ ANY_STRUCTURAL_P points to a boolean that states whether any of the
+ other types that work with ARGTYPES (e.g., the return type of the
+ function) are structural. *ANY_STRUCTURAL_P will be set TRUE if any
+ of those types or any of the argument types in ARGTYPES are
+ structural.
In particular, it doesn't obviously say if the parameter must be set on
entry.
/* Upon return, *ANY_STRUCTURAL_P will be true iff either it was true
on entry to this function, or if any of the ARGTYPES are structural. */
That explains how this function works, without pulling other stuff into
the mix.
OK with that change (and the similar change to ANY_NONCANONICAL_P.)
Thanks,
--
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713