From: Ken Garlington <kennieg@flash.net>
Subject: Re: 'size attribute inheritance
Date: 1997/08/16
Date: 1997-08-16T00:00:00+00:00 [thread overview]
Message-ID: <33F670EF.4F65@flash.net> (raw)
In-Reply-To: dewar.871737994@merv
Robert Dewar wrote:
>
> 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!
I suppose this is technically true, but couldn't the effect of
pragam Normalize_Scalars, when combined with 'Valid and/or range
checking, be informally described as checking for uninitialized
variables?
next prev parent reply other threads:[~1997-08-16 0:00 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-08-09 0:00 'size attribute inheritance Carlos Palenzuela
1997-08-10 0:00 ` Robert Dewar
1997-08-11 0:00 ` Matthew Heaney
1997-08-11 0:00 ` Ken Garlington
1997-08-10 0:00 ` Matthew Heaney
1997-08-11 0:00 ` Robert Dewar
1997-08-12 0:00 ` Matthew Heaney
1997-08-13 0:00 ` Robert A Duff
1997-08-13 0:00 ` Matthew Heaney
1997-08-14 0:00 ` Robert A Duff
1997-08-14 0:00 ` Dale Stanbrough
1997-08-16 0:00 ` Robert Dewar
1997-08-16 0:00 ` Ken Garlington [this message]
1997-08-17 0:00 ` Robert A Duff
1997-08-17 0:00 ` Robert Dewar
1997-08-18 0:00 ` Robert A Duff
[not found] ` <dewar.872433846@merv>
1997-09-03 0:00 ` Robert A Duff
1997-09-06 0:00 ` Robert Dewar
1997-09-08 0:00 ` Robert A Duff
1997-08-13 0:00 ` Ken Garlington
1997-08-13 0:00 ` Matthew Heaney
1997-08-10 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox