This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
MEMBER_TYPE and CV qualifiers
- From: Nathan Sidwell <nathan at codesourcery dot com>
- To: gcc mailing list <gcc at gcc dot gnu dot org>
- Cc: Jason Merrill <jason at redhat dot com>, Mark Mitchell <mark at codesourcery dot com>
- Date: Sun, 17 Jul 2005 16:38:08 +0100
- Subject: MEMBER_TYPE and CV qualifiers
I'm looking at holding the CV qualifiers of a member function on the MEMBER_TYPE
node itself, rather than only on the this pointer argument.
this brings up a design issue of what TYPE_MAIN_VARIANT should be of a cv
qualified member function. Should it be itself (thereby breaking the invariant
that T_M_V is always unqualified), or should it be the cv unqualified member
function? Our current behaviour is such that T_M_V of a member function is a
self reference.
Clearly cp_build_qualified_type should continue to reject cv qualifying a
MEMBER_TYPE. We'd need a new cp_build_qualified_member_type to do that, so we
can correctly deal with the syntactic differences.
thoughts?
nathan
--
Nathan Sidwell :: http://www.codesourcery.com :: CodeSourcery LLC
nathan@codesourcery.com :: http://www.planetfall.pwp.blueyonder.co.uk