From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 9538 invoked by alias); 19 Nov 2003 21:18:26 -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 9524 invoked from network); 19 Nov 2003 21:18:25 -0000 Received: from unknown (HELO frothingslosh.sfbay.redhat.com) (66.187.237.200) by sources.redhat.com with SMTP; 19 Nov 2003 21:18:25 -0000 Received: from frothingslosh.sfbay.redhat.com (localhost.localdomain [127.0.0.1]) by frothingslosh.sfbay.redhat.com (8.12.8/8.12.8) with ESMTP id hAJLIPOG000634; Wed, 19 Nov 2003 13:18:25 -0800 Received: (from rth@localhost) by frothingslosh.sfbay.redhat.com (8.12.8/8.12.8/Submit) id hAJLIPRn000632; Wed, 19 Nov 2003 13:18:25 -0800 X-Authentication-Warning: frothingslosh.sfbay.redhat.com: rth set sender to rth@redhat.com using -f Date: Wed, 19 Nov 2003 21:28:00 -0000 From: Richard Henderson To: Jan Hubicka Cc: law@redhat.com, Jan Hubicka , gcc@gcc.gnu.org Subject: Re: Tree-SSA self checking infrastructure Message-ID: <20031119211825.GC31811@redhat.com> Mail-Followup-To: Richard Henderson , Jan Hubicka , law@redhat.com, Jan Hubicka , gcc@gcc.gnu.org References: <20031119190939.GR16923@atrey.karlin.mff.cuni.cz> <200311191925.hAJJPeaY010869@speedy.slc.redhat.com> <20031119203653.GT16923@atrey.karlin.mff.cuni.cz> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20031119203653.GT16923@atrey.karlin.mff.cuni.cz> User-Agent: Mutt/1.4i X-SW-Source: 2003-11/txt/msg01040.txt.bz2 On Wed, Nov 19, 2003 at 09:36:53PM +0100, Jan Hubicka wrote: > With transitivity, we still shall be able to verify that we have useless > conversion from PLUS_EXPR into it's operands, for instance. > Even that appears to be broken at the moment. Why? See the block comment above maybe_fold_stmt_plus. IMO that example is a front end bug. r~