Re: Will (abstract) Ada code improve over time ?

[Florian Weimer <fw@deneb.enyo.de>]

pontius@btv.ibm.com (Dale Pontius) writes:

> The real issue here is about WHO is trying to make better optimizers?
> At present, most real-world compilers are C/C++, which don't furnish
> the extra information Ada does.

Not too recently, one C compiler has introduced optimizations
involving type-based aliasing analysis, an area where Ada can do much,
much better because writing to strings does not potentially change any
other object in the same scope.

There are other features of Ada which can result in compiler backend
input which is easier to optimize, for example, the true 'for' loop
statement.