From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
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>
Nf-ID: #R:encore.Encore.COM:12594:inmet:20600058:000:425
Nf-From: inmet.inmet.com!davidr    Aug 29 11:12:00 1990
List-Id: <comp.lang.ada>



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