Re: IVOPTS vs Ada subtypes and base types

2006-02-24 Thread Daniel Berlin
On Fri, 2006-02-24 at 15:48 +0100, Sebastian Pop wrote: > Jeffrey A Law wrote: > > > > Note how the conversions have been lost. > > > > This is a bug in chrec_convert_aggressive. > > The following patch fixes the problem in a quite drastic way, > disabling the analysis of ivs that contain casts

Re: IVOPTS vs Ada subtypes and base types

2006-02-24 Thread Sebastian Pop
Jeffrey A Law wrote: > > Note how the conversions have been lost. > This is a bug in chrec_convert_aggressive. The following patch fixes the problem in a quite drastic way, disabling the analysis of ivs that contain casts in their induction. Index: tree-scalar-evolution.c =

Re: IVOPTS vs Ada subtypes and base types

2006-02-23 Thread Jeffrey A Law
On Wed, 2006-02-22 at 13:25 -0500, Richard Kenner wrote: > When I speak about doing arithmetic in a type, I'm referring to the > type of the expression & its input operands in a gimplified > expression. At that point I do not care about base types or anything > like that. All