From: ron@inmet.UUCP
Subject: Re: A Bug in VAX Ada (ACCVIO)
Date: 14 Jan 88 16:51:00 GMT [thread overview]
Date: Thu Jan 14 11:51:00 1988
Message-ID: <124000008@inmet> (raw)
In-Reply-To: 1@<1988
This program is definitely legal. One of the holes in the analysis leading
to the incorrect "program is erroneous" conclusion is the assertion that B, a
string typed object, "designates" the string object. In fact, "designates"
is a technical term applicable only to access types and tasks; the assignment
involved in B's elaboration simply sets the "value" of B. Although the value
assigned happens to be the value designated by A, this is irrelevent after
the assignment.
Have you tried compiling it with the /nooptimize switch? I bet that you'll
get more appropriate behavior.
Over the last few years, I've encountered various bugs with the VAX Ada
compiler's handling of access types. The simplest (and my personal
favorite) example is that Unchecked_Deallocation(null) raises
Program_Error. This is my favorite because the only concrete thing
that the LRM has to say about Unchecked_Deallocation is that after any
call to Unchecked_Deallocation(x), x is null.
next parent reply other threads:[~1988-01-14 16:51 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <1@<1988>
1988-01-14 16:51 ` ron [this message]
1988-01-18 13:34 ` A Bug in VAX Ada (ACCVIO) Robert Firth
1988-01-08 20:30 Spencer Peterson
1988-01-11 9:01 ` paul
1988-01-12 19:41 ` Robert Firth
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox