On 3/16/06, Andrew Pinski <[EMAIL PROTECTED]> wrote:
>
> On Mar 16, 2006, at 8:10 AM, Richard Guenther wrote:
>
> > The above was for 4.1.0 - with mainline gigi now generates
> >
> > if (i == 0 || i > 10)
> > {
> > __gnat_rcheck_06 ("t2.adb", 7);
> > }
> > else
> > {
> >
> > }
> > x[(<unnamed type>) (t2__TrB) i]{lb: 1 sz: 4} = 0;
> >
> > huh? That's even more bogus.
>
> It might not be gigi that is producing the about, but fold.
> I want to make sure that people know that most of the
> subtype bugs have been in fold lately and nowhere else.
Right. Though the original problem is not using VIEW_CONVERT_EXPR,
fold rightfully might strip away the NOP_EXPR here.
Richard.