From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 7 Sep 93 03:20:43 GMT
From: slinky.cs.nyu.edu!slinky.cs.nyu.edu!nobody@nyu.edu  (Robert Dewar)
Subject: Re: Bug in AdaEd???
Message-ID: <26gumb$jpb@schonberg.cs.nyu.edu>
List-Id: <comp.lang.ada>

This probably is a bug in Ada Ed. However, it is interesting to note that
there is NO requirement for this program to raise CE. Why not? Well 11.6
optimizations allow the removal of the dead assignments so the offending
expression need never be evaluated.

Most programs that try to raise CE deliberately like this are wrong!