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,8c87bf30faa2b6b
X-Google-Attributes: gid103376,public
From: Ken Garlington <garlingtonke@lmtas.lmco.com>
Subject: Re: [Q] To initialise or not.
Date: 1996/04/26
Message-ID: <3180CF00.17D5@lmtas.lmco.com>#1/1
X-Deja-AN: 151581530
references: <484274071wnr@diphi.demon.co.uk>
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-04-26T00:00:00+00:00
List-Id: <comp.lang.ada>


JP Thornley wrote:
> 
> However the issue of whether or not to require all scalar objects to be
> initialised has generated a substantial discussion without yet reaching
> a clear conclusion.  The Ada Quality and Style Guidelines are silent on
> this issue, so I would be interested in what other Ada users have found
> and what recommendations they would make.

Section 5.9.6 of the Ada 95 Quality and Style Guide does discuss initialization
issues. Some of the recommendations there are also applicable to Ada 83.

> (Note that some projects will be using Ada 83 for some time yet, so
> pragma Normalize_Scalars isn't an option).

Actually, Normalize_Scalars cannot be used to ensure that objects are
initialized before use; in fact, it definitely cannot be used to ensure
objects have _valid_ values before use!