Re: Speeding up Ada procedure?

[Hyman Rosen <hyrosen@mail.com>]

Papandopulo wrote:
> it can become deadly if massive arrays of data are being processed

That depends a lot on your pattern of usage.

In many cases, the compiler can eliminate checks by "proving" to itself
that they can never fail. Or it may hoist checks outside loops.

I would suggest that you ignore your intuition, and only try to fix
things once you have measured and know for a fact that the index checks
are a problem.