On Mon, 2009-07-27 at 10:28 -0400, Robert Dewar wrote: > 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 :-)
It's likely true for loops handling only one array as in my choosen example :). But as soon as you have more than one array - starting with not so complex code as vector dot product or more than one string operations - this is no longer true and you'll see "1 .. T1'Length" loop range and some index arithmetic. Laurent
