From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 26399 invoked by alias); 19 Nov 2003 20:52:18 -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 26386 invoked from network); 19 Nov 2003 20:52:17 -0000 Received: from unknown (HELO nikam.ms.mff.cuni.cz) (195.113.18.106) by sources.redhat.com with SMTP; 19 Nov 2003 20:52:17 -0000 Received: from camelot.ms.mff.cuni.cz (kampanus.ms.mff.cuni.cz [195.113.18.107]) by nikam.ms.mff.cuni.cz (Postfix) with SMTP id 9D0904DF0B; Wed, 19 Nov 2003 21:52:18 +0100 (CET) Received: by camelot.ms.mff.cuni.cz (sSMTP sendmail emulation); Wed, 19 Nov 2003 21:52:21 +0100 Date: Wed, 19 Nov 2003 21:22:00 -0000 From: Jan Hubicka To: law@redhat.com Cc: Jan Hubicka , Jan Hubicka , gcc@gcc.gnu.org Subject: Re: Tree-SSA self checking infrastructure Message-ID: <20031119205221.GM11681@kam.mff.cuni.cz> References: <20031119203653.GT16923@atrey.karlin.mff.cuni.cz> <200311192046.hAJKk5oF011663@speedy.slc.redhat.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200311192046.hAJKk5oF011663@speedy.slc.redhat.com> User-Agent: Mutt/1.3.28i X-SW-Source: 2003-11/txt/msg01037.txt.bz2 > In message <20031119203653.GT16923@atrey.karlin.mff.cuni.cz>, Jan Hubicka write > s: > >I see, thanks. Still this breaks the symmetricity only. > >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? > I don't know. As I said I have a todo to look at it, but haven't had > the time. I would certainly appreciate it if you could poke at it a > little. OK, I will add it into my TODO too after the other checks I have better idea about and lets see who will get it first :) Honza > > Jeff >