comp.lang.ada
 help / color / mirror / Atom feed
From: davidr@inmet.inmet.com
Subject: Re: aliases/function return values
Date: 29 Aug 90 15:12:00 GMT	[thread overview]
Message-ID: <20600058@inmet> (raw)
In-Reply-To: 12594@encore.Encore.COM



It's a compiler bug, but a useful one, and there are no ACVC's which
test for it; so it's probably best to assume that the program
is erroneous.

I couldn't find an obvious language rule that proves
it's a compiler bug, but 5.8:5 states that a "value" is returned
by a return statement, and the note in 5.2.1 implies that
values are always independent of each other.  

David Rosenfeld
Intermetrics Inc.
-- davidr@inmet.com

  reply	other threads:[~1990-08-29 15:12 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1990-08-28 15:14 aliases/function return values Jerry Callen
1990-08-29 15:12 ` davidr [this message]
1990-09-07 19:00   ` Robert I. Eachus
1990-09-07 20:42     ` Michael Feldman
1990-08-31  0:47 ` Charles H. Sampson
  -- strict thread matches above, loose matches on Subject: below --
1990-08-30 13:29 "Norman H. Cohen"
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox