From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 23 Oct 92 16:49:54 GMT
From: cis.ohio-state.edu!news.sei.cmu.edu!ajpo.sei.cmu.edu!falis@ucbvax.Berkele
y.EDU  (Edward Falis)
Subject: Re: Uninitialized subtype variables
Message-ID: <1992Oct23.164954.1695@sei.cmu.edu>
List-Id: <comp.lang.ada>

My limited understanding is that there's no requirement for an uninitialized
variable to be in bounds.  This is why we provide an analysis of reads
of unitialized variables in our high level optimizer.  In many,
but not all, cases, we print a warning.  The redundant check eliminator
in our technology would require an explicit bounds check for the case
of the subprogram you cited as an example.

- Ed Falis, Alsys