amiram%virgo@TAURUS.BITNET.UUCP (06/10/87)
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.