From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24435 invoked by alias); 22 Nov 2007 01:09:29 -0000 Received: (qmail 24424 invoked by uid 22791); 22 Nov 2007 01:09:29 -0000 X-Spam-Check-By: sourceware.org Received: from py-out-1112.google.com (HELO py-out-1112.google.com) (64.233.166.176) by sourceware.org (qpsmtpd/0.31) with ESMTP; Thu, 22 Nov 2007 01:09:25 +0000 Received: by py-out-1112.google.com with SMTP id a29so9077044pyi for ; Wed, 21 Nov 2007 17:09:23 -0800 (PST) Received: by 10.35.51.19 with SMTP id d19mr9663533pyk.1195693762867; Wed, 21 Nov 2007 17:09:22 -0800 (PST) Received: by 10.35.88.12 with HTTP; Wed, 21 Nov 2007 17:09:22 -0800 (PST) Message-ID: Date: Thu, 22 Nov 2007 12:08:00 -0000 From: "Andrew Pinski" To: "Aldy Hernandez" Subject: Re: [tuples] dereference POINTER_PLUS_EXPR check Cc: "Richard Guenther" , "Diego Novillo" , gcc-patches@gcc.gnu.org In-Reply-To: <20071122005837.GA7171@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20071121204635.GA7204@redhat.com> <4744A197.1060701@google.com> <20071121215235.GA11077@redhat.com> <84fc9c000711211357w7a2587d2n663dd561845e4e1c@mail.gmail.com> <20071121225800.GA5508@redhat.com> <84fc9c000711211525h37554477yf567a8265f09d59@mail.gmail.com> <20071122005837.GA7171@redhat.com> X-IsSubscribed: yes Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2007-11/txt/msg01152.txt.bz2 On 11/21/07, Aldy Hernandez wrote: > u_t_c(lhs_type, rhs1_type) fails because it doesn't look far enough > down, but you're saying it shouldn't. Is u_t_c wrong then? No it is correct. So we have char* = char[]& . That is incorrect where are the cast or address expression. We should get b = &(*a)[0] + c (or b = &(*a)[c] ). -- Pinski