Re: Optimizing Boundary Checks

[Preben Randhol <randhol+abuse@pvv.org>]

Vinzent Hoefler wrote:
> 
> Well, the compiler *could* see that the type Index_Range always
> satisfies the same constraint as for the array. I don't know for sure,
> but I'd think, it does, because somehow it must store the constraints
> for any type anyway and I strongly doubt that an optimizer would work
> on type names instead of actual numbers describing their constraints.

For the second example I was thinking that the Index_Range was not
defined at all.

> OTOH, I think, using such unnamed indices is a quite bad idea anyway,
> because it breaks the type safety. So simply: Don't do it. :-)

Sure. :-)

-- 
Preben Randhol                    http://www.pvv.org/~randhol/