On Tue, May 03, 2005 at 06:21:11PM -0400, Richard Kenner wrote: > As of right now, I don't think this is a VRP problem, but something wrong > with the tree Ada produces. > That'd be good. If that's the case, we can make VRP assert that the range derived from such types agrees with the type's range.
Thanks. Diego.
