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. -- Pinski