From: bobduff@world.std.com (Robert A Duff)
Subject: Re: 'size attribute inheritance
Date: 1997/08/17
Date: 1997-08-17T00:00:00+00:00 [thread overview]
Message-ID: <EF27nr.K8H@world.std.com> (raw)
In-Reply-To: 33F670EF.4F65@flash.net
In article <33F670EF.4F65@flash.net>,
Ken Garlington <Ken.Garlington@computer.org> wrote:
>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?
Sort of, but you have to remember that (1) the check doesn't happen when
you read the uninit var -- it happens *if* and when you use it in some
way that requires a range check, and (2) it only works if there are
enough bits to store the out-of-range value (it probably won't work for
a variable of type Character or Integer, for example).
- Bob
next prev parent reply other threads:[~1997-08-17 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 ` Ken Garlington
1997-08-11 0:00 ` Matthew Heaney
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 ` Ken Garlington
1997-08-13 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
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-17 0:00 ` Robert A Duff [this message]
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