Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!rpi!bu.edu!inmet!davidr
From: davidr@inmet.inmet.com
Newsgroups: comp.lang.ada
Subject: Re: aliases/function return values
Message-ID: <20600058@inmet>
Date: 29 Aug 90 15:12:00 GMT
References: <12594@encore.Encore.COM>
Lines: 14
Nf-ID: #R:encore.Encore.COM:12594:inmet:20600058:000:425
Nf-From: inmet.inmet.com!davidr    Aug 29 11:12:00 1990



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