This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: MEMBER_TYPE and CV qualifiers
- From: "Giovanni Bajo" <rasky at develer dot com>
- To: "Mark Mitchell" <mark at codesourcery dot com>,"Nathan Sidwell" <nathan at codesourcery dot com>
- Cc: <jason at redhat dot com>,<gcc at gcc dot gnu dot org>
- Date: Mon, 18 Jul 2005 12:15:35 +0200
- Subject: Re: MEMBER_TYPE and CV qualifiers
- References: <42DA7B60.2070405@codesourcery.com> <42DABA65.2020107@codesourcery.com>
Mark Mitchell <mark@codesourcery.com> wrote:
> The function type is no more
> cv-qualified than any other function type; the only thing that's
> cv-qualified is the type pointed to by the first argument.
The standard does not agree with you though, see 9.3.1/3. In fact, what
happens is that we currently deduce the type wrong (PR 8271) because of the
fact that the METHOD_TYPE is not cv-qualified. So either we special-case
this, or we represent it correctly.
FWIW, Jason agreed that the right way to fix this problem is to put cv
qualification on METHOD_TYPE, rather than special-case hacks:
http://gcc.gnu.org/ml/gcc-patches/2004-07/msg00550.html
http://gcc.gnu.org/ml/gcc-patches/2004-07/msg00630.html
--
Giovanni Bajo