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.

Reply via email to