This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Tree-SSA self checking infrastructure

From: law at redhat dot com
To: Jan Hubicka <hubicka at ucw dot cz>
Cc: Jan Hubicka <jh at suse dot cz>, gcc at gcc dot gnu dot org
Date: Wed, 19 Nov 2003 13:46:05 -0700
Subject: Re: Tree-SSA self checking infrastructure
Reply-to: law at redhat dot com

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.

Jeff

Follow-Ups:
- Re: Tree-SSA self checking infrastructure
  - From: Jan Hubicka

References:
- Re: Tree-SSA self checking infrastructure
  - From: Jan Hubicka

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]