Re: Optimizing Boundary Checks

[Erlo Haugen <_elh_@_terma_._com_>]

On Fri, 13 Jun 2003 11:49:03 +0000 (UTC)
Preben Randhol <randhol+abuse@pvv.org> wrote:

> After reading some posts here lately I have understood that the compiler
> can optimise out boundary checks on say arrays if you do this:
> 
>    type Index_Range is range 1 .. 10;
>    type Items is array (Index_Range) of Natural;
> 
> But if you write:
> 
>    type Items is array (1 .. 10) of Natural;
> 
> is boundary checks then on?

Yes, but in this case (principally) every acces to the array has to be checked,
whereas in the former case, the index is guaranteed to be within range.



-- 
Remove the underscores