This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: As-if Infinitely Ranged Integer Model
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