Re: A couple of quick questions

[Shark8 <onewingedshark@gmail.com>]

On Saturday, December 29, 2012 4:47:44 AM UTC-6, Florian Weimer wrote:
> * Dufr:
> 
> > Is the efficiency of the compiled code by penalized in any way by
> > the putative bloat of the language?
> 
> [...] Run-time checks (such as overflow checks and array bounds
> checks) are typically bloat which increases instruction cache pressure
> and decreases effective execution speed.

But you're doing Ada a bit of a disservice here: Ada compilers are typically smart enough to omit range-checks where the value can be guaranteed as valid, such as "FOR Index IN Array'Range Loop [...]", no check is needed because the type  of Index guarantees that it is valid.

> Code for abort deferral is
> automatically inserted by the compiler and slows down the program,
> even if no asynchronous transfer of control ever occurs.

Isn't this only an issue ONLY when the TASK (or possibly PROTECTED object) construct is used?
It seems rather contrary to optimization (which Ada compilers, in theory, can do more  effectively than, say, C++ or PHP) techniques.