From: wheeler@ida.org (David Wheeler)
Subject: Re: Optimizing and Constraint Checks
Date: 25 Mar 1995 18:09:33 GMT
Date: 1995-03-25T18:09:33+00:00 [thread overview]
Message-ID: <3l1m8t$eon@dmsoproto.ida.org> (raw)
In-Reply-To: 3kuhpo$ban@theopolis.orl.mmc.com
Theodore Dennison (dennison@escmail.orl.mmc.com) wrote:
: Ed Bruce <edward@igate1.hac.com> writes:
: > I am currently attempting to implement a safe, portable
: > Unchecked_Conversion of an enumerated type to integer and from an integer
: > type back to the enumeration.
: Your engineer has a vaild concern. One of the problems with Ada 83 is that
: there is no PORTABLE way to force a constraint check. In practice, you have
: to find what your compiler won't optimize away, and code to that.
: Unfortunately, the next version of the same compiler could work differently.
: Hopefully, this problem was fixed with Ada 95.
See the new 'Valid attribute.
--- David A. Wheeler
Net address: wheeler@ida.org
next prev parent reply other threads:[~1995-03-25 18:09 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-03-23 16:04 Optimizing and Constraint Checks Ed Bruce
1995-03-24 13:34 ` Theodore Dennison
1995-03-25 18:09 ` David Wheeler [this message]
1995-03-29 0:00 ` Ed Bruce
1995-03-24 20:15 ` Garlington KE
1995-03-26 12:01 ` Robert Dewar
1995-03-27 16:58 ` Garlington KE
1995-03-29 0:00 ` Ed Bruce
1995-03-29 0:00 ` Garlington KE
1995-03-30 0:00 ` Mike Meier
1995-04-04 0:00 ` Robert Dewar
1995-03-25 17:51 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox