From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ac6c4134c47b12b0
X-Google-Attributes: gid103376,public
From: "Samuel T. Harris" <samuel_t_harris@Raytheon.com>
Subject: Re: Elaboration checks
Date: 2000/02/14
Message-ID: <38A8476F.C2CF8490@Raytheon.com>#1/1
X-Deja-AN: 585832631
Content-Transfer-Encoding: 7bit
References: <38A6BB10.560D973A@dowie-cs.demon.co.uk>
 <8873ge$7vk$1@nnrp1.deja.com> <38A71811.FE942368@dowie-cs.demon.co.uk>
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
Organization: Raytheon Aerospace Engineering Services
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 2000-02-14T00:00:00+00:00
List-Id: <comp.lang.ada>

Martin Dowie wrote:
> 
> 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...

Have you investigated the application of the Apex RCI
(Remote Compilation Integrator). You can use GNAT as
your target compiler and still keep Apex as your
development environment. Once configured, Apex will
perform Code and Link operations using GNAT.

Indeed, you can control any number of other target
compilers and still keep a single development
environment. With the exception of debugging,
all the library and compilation management
functions are performed automagically by Apex.

> 
> 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.

-- 
Samuel T. Harris, Principal Engineer
Raytheon, Aerospace Engineering Services
"If you can make it, We can fake it!"