From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 25687 invoked by alias); 17 Oct 2004 21:28:49 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 25679 invoked from network); 17 Oct 2004 21:28:48 -0000 Received: from unknown (HELO mail.codesourcery.com) (65.74.133.9) by sourceware.org with SMTP; 17 Oct 2004 21:28:48 -0000 Received: (qmail 13814 invoked from network); 17 Oct 2004 21:28:48 -0000 Received: from taltos.codesourcery.com (zack@66.92.218.83) by mail.codesourcery.com with DES-CBC3-SHA encrypted SMTP; 17 Oct 2004 21:28:48 -0000 Received: by taltos.codesourcery.com (sSMTP sendmail emulation); Sun, 17 Oct 2004 14:28:47 -0700 To: kenner@vlsi1.ultra.nyu.edu (Richard Kenner) Cc: gcc-patches@gcc.gnu.org Subject: Re: [patch] for PR 18040 References: <10410172126.AA01637@vlsi1.ultra.nyu.edu> From: Zack Weinberg Date: Sun, 17 Oct 2004 21:43:00 -0000 In-Reply-To: <10410172126.AA01637@vlsi1.ultra.nyu.edu> (Richard Kenner's message of "Sun, 17 Oct 04 17:26:06 EDT") Message-ID: <87r7nxrq40.fsf@codesourcery.com> User-Agent: Gnus/5.110003 (No Gnus v0.3) Emacs/21.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-SW-Source: 2004-10/txt/msg01420.txt.bz2 kenner@vlsi1.ultra.nyu.edu (Richard Kenner) writes: > What he's saying is that > > > > (and all other reference nodes) would implicitly convert FIELD to TYPE, > if that's not FIELD's intrinsic type. I think this makes a hell of a > lot of sense, personally. > > ... actually, it's not good enough because it doesn't handle the > ((cast) var).field > case and that's an expensive one. My gut feeling is that needing this cast means there's something wrong with the static type of VAR. Could you show an example of source code that needs this cast, and the type tree generated for VAR? zw