From: news.crd.ge.com!e7sa!groleau@uunet.uu.net (Wes Groleau x1240 C73-8)
Subject: Re: Bug in AdaEd???
Date: 22 Sep 93 11:45:52 GMT [thread overview]
Message-ID: <CDr7CH.C9x@crdnns.crd.ge.com> (raw)
>> Now if you read RM 11.6(7), compilers are not only allowed, but
>> encouraged to remove predefined operations whose only possible effect
>> is to raise an exception. "A predefined operation need not be invoked
>> at all, if its only possible effect is to propagate a predefined
>> exception." (RM 11.6) So not raising CONSTRAINT_ERROR is appropriate.
>
>One more question on RM 11.6(7): isn't it supposed to be saying that the
>operation need not be invoked (because we know the operation will result
>in an exception), but that the exception should still be raised (ie, the
>statement may be replaced by an explicit "raise" statement)?
Language lawyers please explain in short words if I'm wrong, but I can't
for the life of me think of ANY reason why optimization of code with
predetermined results would intentionally be done to give different results!
next reply other threads:[~1993-09-22 11:45 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-09-22 11:45 Wes Groleau x1240 C73-8 [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-09-23 20:55 Bug in AdaEd??? Tucker Taft
1993-09-23 18:46 Tucker Taft
1993-09-22 22:28 Robert I. Eachus
1993-09-22 21:07 Robert I. Eachus
1993-09-22 14:22 Norm an H. Cohen
1993-09-22 14:10 cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!howland.reston.ans.net!usc!cs.utexas.edu!not-for-mail
1993-09-22 13:36 cis.ohio-state.edu!news.sei.cmu.edu!firth
1993-09-22 0:21 Robert I. Eachus
1993-09-21 4:19 Gene Ouye
1993-09-07 3:20 Robert Dewar
1993-09-06 14:06 Gene Ouye
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox