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=1.1 required=5.0 tests=BAYES_40,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!rutgers!ames!ucbcad!ucbvax!TAURUS.BITNET!amiram%virgo
From: amiram%virgo@TAURUS.BITNET.UUCP
Newsgroups: comp.lang.ada
Subject: Re: forwarded mail Ada bulletin board
Message-ID: <8706100552.AA08135@MATH.TAU.AC.IL>
Date: Wed, 10-Jun-87 02:52:37 EDT
Article-I.D.: MATH.8706100552.AA08135
Posted: Wed Jun 10 02:52:37 1987
Date-Received: Sat, 13-Jun-87 09:46:18 EDT
References: <550280738.0.MEANS@MACOMW.ARPA>
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

You misread the LRM. What it says is that the evealuation of the expression may
be optimized away, but the program MUST raise the exception.