On Fri, 2006-02-24 at 19:47 +0100, Sebastian Pop wrote: > Jeffrey A Law wrote: > > Another possibility is to simply not allow conversions between a > > subtype and basetype. > > Such a patch also solves the problem. But I'm not sure to understand > the impact on other codes. Is this kind of conversion between a type > and its basetype specific to Ada? My suspicions appear to be correct. This never triggers except for Ada code and it's relatively common in Ada code. No surprise since I don't think any other front-end abuses TYPE_MAX_VALUE in the way the Ada front-end does. This wouldn't be the first time we've had to hack up something in the generic optimizers to deal with the broken TYPE_MAX_VALUE.
jeff
