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.1 required=5.0 tests=BAYES_00,INVALID_MSGID,
	TO_NO_BRKTS_PCNT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ac6c4134c47b12b0,start
X-Google-Attributes: gid103376,public
From: Martin Dowie <martin@dowie-cs.demon.co.uk>
Subject: Elaboration checks
Date: 2000/02/13
Message-ID: <38A6BB10.560D973A@dowie-cs.demon.co.uk>#1/1
X-Deja-AN: 585325721
Content-Transfer-Encoding: 7bit
X-NNTP-Posting-Host: dowie-cs.demon.co.uk:193.237.34.207
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@demon.net
X-Trace: news.demon.co.uk 950450961 nnrp-09:29301 NO-IDENT
 dowie-cs.demon.co.uk:193.237.34.207
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Date: 2000-02-13T00:00:00+00:00
List-Id: <comp.lang.ada>

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

this is pushing us over our 50% memory usage requirement. our plan is
now to have 2 builds - one with elaboration checks the other without
(which would become our deliverable). is it true to say that if no
elaboration checks fail in the 'full' build, that our 'small' build is
also safe?

we plan to ensure that each of our packages provides an 'Initialise'
routine to assign package-local initial values. all our tasks currently
block on an 'accept Initialise' already.

anything else we can do?

environment is Rational Apex 3.0.0b (3.2 being evaluated as i type)
targeting PowerPC. Rational have also informed us that we *can not*
switch on any level of optimization as "it won't work"(!).