Re: Efficiency of code generated by Ada compilers

["(see below)" <yaldnif.w@blueyonder.co.uk>]

On 13/08/2010 16:08, in article
61f149b9-00ff-40cd-9698-01e69fdc5c0f@v15g2000yqe.googlegroups.com, "Elias
Salom�o Helou Neto" <eshneto@gmail.com> wrote:

> 1) You can, in more than one way, tell the compiler to suppress most
> (any?) checks, but people do not advise to do so. Even if I say that I
> do need that :(
> 
> 2) It is not necessary for the compiler to actually suppress any
> checking! It seems that the LRM demands the compiler to allow you to
> ask for the suppression, but it does mandate the compiler to actually
> skip such checks. Well, this is, to say the least, funny - unless I
> misunderstood something here.

Quite so. You can be confident that the compiler will suppress the checks as
asked, *unless* you are using an architecture (e.g. B6700) where that is
simply impossible. Since Ada is a portable language, the semantics has to
allow for the latter possibility.

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk