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] for PRs 27639 and 26719

From: Zdenek Dvorak <rakdver at atrey dot karlin dot mff dot cuni dot cz>
To: Eric Botcazou <ebotcazou at adacore dot com>
Cc: Richard Guenther <rguenther at suse dot de>, gcc-patches at gcc dot gnu dot org, sebastian dot pop at cri dot ensmp dot fr
Date: Tue, 27 Jun 2006 01:06:56 +0200
Subject: Re: [patch] for PRs 27639 and 26719
References: <20060520192624.GA28713@atrey.karlin.mff.cuni.cz> <200606251403.53574.ebotcazou@adacore.com> <20060626212619.GA800@atrey.karlin.mff.cuni.cz> <200606270046.15998.ebotcazou@adacore.com>

Hello,

> > I do not see anything principially wrong with the code that ivopts
> > produces; I think this is simply a VRP bug.
> 
> I disagree: IVOPTs should preserve the semantics of subtypes, that is to say 
> the arithmetics operations are performed in the base type and the result is 
> casted to the subtype.  IOW, it should not generate IVs in subtypes.  IIUC 
> it's Jeff's position too: http://gcc.gnu.org/ml/gcc/2006-02/msg00590.html

OK, I was not aware of this (I was cced in the mail, but with a typo in
the address).  I will prepare the patch to fix the problem.

Zdenek

Follow-Ups:
- Re: [patch] for PRs 27639 and 26719
  - From: Zdenek Dvorak

References:
- Re: [patch] for PRs 27639 and 26719
  - From: Eric Botcazou
- Re: [patch] for PRs 27639 and 26719
  - From: Zdenek Dvorak
- Re: [patch] for PRs 27639 and 26719
  - From: Eric Botcazou

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