From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: access aliased obstacle
Date: 1996/07/04
Date: 1996-07-04T00:00:00+00:00 [thread overview]
Message-ID: <dewar.836481660@schonberg> (raw)
In-Reply-To: 4rfig3$l5d@news1.delphi.com
tmoran said
"but one of my Ada 95 compilers objected to aliasing unless I make a
subtype with a specific discriminant value, which defeats the purpose.
The LRM appears to me to agree with this compiler. The only obvious
possibility is unchecked_conversion. What is the 'right' way?"
The use of unchecked conversion here is not at all obvious to me. We
would have to look at the detailed code you propose, but the restriction
in the RM makes good sense, and I would guess that your uncchecked
conversion approach simply will not work in some implementations.
next prev parent reply other threads:[~1996-07-04 0:00 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-07-04 0:00 access aliased obstacle tmoran
1996-07-04 0:00 ` Robert Dewar [this message]
1996-07-06 0:00 ` Laurent Guerby
1996-07-07 0:00 ` Robert A Duff
-- strict thread matches above, loose matches on Subject: below --
1996-07-09 0:00 tmoran
1996-07-09 0:00 ` Robert Dewar
1996-07-09 0:00 ` Laurent Guerby
1996-07-09 0:00 ` Robert Dewar
1996-07-09 0:00 ` Laurent Guerby
1996-07-09 0:00 ` Robert Dewar
1996-07-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