From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Ada 83 - avoiding unchecked conversions.
Date: 1996/12/26
Date: 1996-12-26T00:00:00+00:00 [thread overview]
Message-ID: <dewar.851609561@merv> (raw)
In-Reply-To: E2ooC4.FMy@thomsoft.com
Keity says
"I agree that the compiler needs to emit a shift for this case, but
it shouldn't generate a check that the result is within the declared
range of its subtype. This makes it the programmer's responsibility to
guarantee that the result will be a valid value of the target subtype
(if possible, by using a target subtype that covers all possible bit
patterns), or to deal with it properly if it isn't."
Notice that the shouldn't here corresponds to implementation advice in the
RM, not to any requirement, so code that counts on there being no check
is potentially non-portable.
next prev parent reply other threads:[~1996-12-26 0:00 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <md5:8B831999BCF200C6E70994BDF6CC529F>
1996-12-11 0:00 ` Ada 83 - avoiding unchecked conversions Chris Sparks (Mr. Ada)
1996-12-11 0:00 ` Dewi Daniels
1996-12-12 0:00 ` Richard Kenner
1996-12-17 0:00 ` Eric Miller
1996-12-18 0:00 ` Robert Dewar
1996-12-18 0:00 ` Robert A Duff
1996-12-19 0:00 ` Keith Thompson
1996-12-26 0:00 ` Robert Dewar [this message]
1996-12-11 0:00 ` Matthew Heaney
1996-12-12 0:00 ` Chris Brand
1996-12-13 0:00 ` Stephen Leake
1996-12-14 0:00 ` Robert A Duff
1996-12-14 0:00 ` BGaffney42
1996-12-19 0:00 ` Robert I. Eachus
1996-11-27 0:00 Ensco Vendor
1996-11-27 0:00 ` Robert I. Eachus
1996-11-29 0:00 ` Robert Dewar
1996-12-01 0:00 ` Darel Cullen
1996-11-30 0:00 ` Robert Dewar
1996-12-11 0:00 ` Richard Riehle
1996-12-02 0:00 ` Ted Dennison
1996-12-10 0:00 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox