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,ad4aec717fd8556e
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: 'size attribute inheritance
Date: 1997/08/16
Message-ID: <dewar.871737994@merv>#1/1
X-Deja-AN: 265227691
References: <33ECF679.4B5D@lmco.com>
 <mheaney-ya023680001008972210070001@news.ni.net> <dewar.871345653@merv>
 <mheaney-ya023680001208971859210001@news.ni.net> <EEv8xA.HqH@world.std.com>
 <mheaney-ya023680001308972242460001@news.ni.net>
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-08-16T00:00:00+00:00
List-Id: <comp.lang.ada>


Matthew said

<<Does unitialized variable checking only apply to array index variables?
And do you have an AARM reference?>.

There is no "checking for uninitialized
" variable feature in Ada 95.

There are requirements to check for values being in range in certain cases,
don't get confused between these two, an uninitialized variable may well
be in range!