From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 23710 invoked by alias); 19 Jul 2005 18:48:32 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 23690 invoked by uid 22791); 19 Jul 2005 18:48:28 -0000 Received: from dumbledore.codesourcery.com (HELO mail.codesourcery.com) (65.74.133.11) by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Tue, 19 Jul 2005 18:48:28 +0000 Received: (qmail 14709 invoked from network); 19 Jul 2005 18:48:26 -0000 Received: from unknown (HELO ?192.168.0.103?) (mitchell@127.0.0.2) by mail.codesourcery.com with ESMTPA; 19 Jul 2005 18:48:26 -0000 Message-ID: <42DD4AF3.8060704@codesourcery.com> Date: Tue, 19 Jul 2005 18:48:00 -0000 From: Mark Mitchell User-Agent: Mozilla Thunderbird 1.0.2 (Windows/20050317) MIME-Version: 1.0 To: Jason Merrill CC: Giovanni Bajo , Nathan Sidwell , gcc@gcc.gnu.org Subject: Re: MEMBER_TYPE and CV qualifiers References: <42DA7B60.2070405@codesourcery.com> <42DABA65.2020107@codesourcery.com> <00ee01c58b81$a32aa450$bf03030a@trilan> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2005-07/txt/msg00839.txt.bz2 Jason Merrill wrote: > I think that the underlying problem here, as with pointers to data members, > comes from using POINTER_TYPE in the first type. Pointers to members are > not pointers, and so using POINTER_TYPE just causes confusion. I heartily agree. PTRMEM_CST was a step in the right direction, on the object-representation side; we need a PTRMEM_TYPE on the type side as well. Because we don't have a proper lowering phase, the difficulty is that we need to transmute PTRMEM_TYPE into OFFSET_TYPE/RECORD_TYPE at some point. However, that's no excuse for forming a POINTER_TYPE pointing to a METHOD_TYPE or member FUNCTION_TYPE. Such things should be replaced with the RECORD_TYPEs we presently use to represent pointers to member functions. -- Mark Mitchell CodeSourcery, LLC mark@codesourcery.com (916) 791-8304