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,c1131ea1fcd630a
X-Google-Attributes: gid103376,public
From: Ken Garlington <garlingtonke@lmtas.lmco.com>
Subject: Re: To Initialise or not
Date: 1996/05/06
Message-ID: <318E4462.51E4@lmtas.lmco.com>#1/1
X-Deja-AN: 153391574
references: <318508FE.204B@sanders.lockheed.com> <Dqp3HF.12t@world.std.com>
 <Dqq1F9.CK3@thomsoft.com> <318792E8.28CC1042@escmail.orl.mmc.com>
 <Dqqws5.Dvr@world.std.com> <3188AF51.1F1A7590@escmail.orl.mmc.com>
 <4matk0$4k@usafa2.usafa.af.mil>
content-type: text/plain; charset=us-ascii
organization: Lockheed Martin Tactical Aircraft Systems
mime-version: 1.0
newsgroups: comp.lang.ada
x-mailer: Mozilla 2.01 (Macintosh; I; 68K)
Date: 1996-05-06T00:00:00+00:00
List-Id: <comp.lang.ada>


Chris Warack <sys mgr> wrote:
> 
> In article <3188AF51.1F1A7590@escmail.orl.mmc.com>, "Theodore E. Dennison" <dennison@escmail.orl.mmc.com> writes:
> |> I do see what you are getting at, but I don't think adding a "dirty
> |> bit" to every varaible is a serious consideration. (At least, the
> |> systems programmer in me HOPES it isn't).
> 
> Unfortunately, that's about the only option possible.

Well, Ada 95 has a solution for those cases where the type doesn't occupy all
values of the underlying hardware representation, so if you want this for
all variables, just make sure your types always have more bits allocated
than needed, and you're set!

(see: pragma Normalize_Scalars, 'Valid).

-- 
LMTAS - "Our Brand Means Quality"