Re: Elaboration checks

[Martin Dowie <martin@dowie-cs.demon.co.uk>]

nice plug :-)

i'm not sure that switching compiler vendors this far in will be viewed
with much enthusiasm from the project cost control managers, esp. if we
can do this optimization ourselves...

Robert Dewar wrote:

> In article <38A6BB10.560D973A@dowie-cs.demon.co.uk>,
>   Martin Dowie <martin@dowie-cs.demon.co.uk> wrote:
> > about 15% of our executable appear to be made up of
> > elaboration checks (this is the size difference after
> > inserting configuration pragma suppress (elaboration_check)).
>
> Sounds like your compiler is doing absolutely NO optimization
> of elaboration checks at all, which can indeed lead to pretty
> gruesome code. If you used GNAT, then the checking is typically
> done at compile time, and you have static safety plus almost no
> overhead from elaboration checking.
>
> Sent via Deja.com http://www.deja.com/
> Before you buy.