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: Richard Henderson <rth at redhat dot com>
To: Jan Hubicka <hubicka at ucw dot cz>
Cc: law at redhat dot com, Jan Hubicka <jh at suse dot cz>, gcc at gcc dot gnu dot org
Date: Wed, 19 Nov 2003 13:18:25 -0800
Subject: Re: Tree-SSA self checking infrastructure
References: <20031119190939.GR16923@atrey.karlin.mff.cuni.cz> <200311191925.hAJJPeaY010869@speedy.slc.redhat.com> <20031119203653.GT16923@atrey.karlin.mff.cuni.cz>

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~

References:
- Re: Tree-SSA self checking infrastructure
  - From: Jan Hubicka
- Re: Tree-SSA self checking infrastructure
  - From: law
- 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]