Laurent GUERBY wrote:
In most Ada code array T index type will likely be "Natural range <>" and so the type system will not give useful bounds for optimizations.
Well very often the bounds of the loop are taken from the bounds of the array, so I don't agree with that statement :-)
Laurent
