This is the mail archive of the gcc-patches@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: [PATCH] Use special routine for folding rhs in gimplifier

From: Richard Guenther <rguenth at tat dot physik dot uni-tuebingen dot de>
To: Richard Henderson <rth at redhat dot com>
Cc: gcc-patches at gcc dot gnu dot org, Mark Mitchell <mark at codesourcery dot com>
Date: Tue, 17 May 2005 20:07:41 +0200
Subject: Re: [PATCH] Use special routine for folding rhs in gimplifier
References: <Pine.LNX.4.44.0505171353190.5176-100000@alwazn.tat.physik.uni-tuebingen.de> <20050517175904.GD945@redhat.com>

Richard Henderson wrote:
> On Tue, May 17, 2005 at 01:58:59PM +0200, Richard Guenther wrote:
> 
>>+    possible.  This may only be applied to a rhs of an expression
>>+    that does not care about the resulting type of the simplification.  */
> 
> 
> This comment makes me nervous.  When is this *ever* true?

Maybe it's overexaggerated - it can happen you pass it something that
is "const char" and you get back a "char" - it is guaranteed that
the result type is compatible (per langhooks definition) to the type
pointed to of the tree you passed it.  Looks I should re-word the
description to something like

  ...
  This may only be applied to a rhs of an expression.  Note that the
  resulting type may be different from the type pointed to in the
  sense that it is still compatible from the langhooks point of view. */

Richard.

References:
- [PATCH] Use special routine for folding rhs in gimplifier
  - From: Richard Guenther
- Re: [PATCH] Use special routine for folding rhs in gimplifier
  - From: Richard Henderson

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