From: Mendal@SIERRA.STANFORD.EDU.UUCP
Subject: 11.6 at work
Date: Sat, 11-Apr-87 03:13:26 EST [thread overview]
Date: Sat Apr 11 03:13:26 1987
Message-ID: <12293594852.9.MENDAL@Sierra.Stanford.EDU> (raw)
Dear Ada Fans-
Concerning the Constraint_Error on the program which has the
0 .. 100 range....
Although I do not have trusty Language Maintenance Committee notes
in front of me, I seem to recall on several occasions that Robert
Dewar and Robert Eachus have stated that according to the ARM, 11.6,
an implementation can "optimize" a portion of a program if its only
"effect" is to cause the raising of a predefined exception. (I hope
I have not misrepresented Dewar or Eachus here.)
Taken in the context in which the original program appeared, the only
"effect" of the program would be to raise Constraint_Error. By the
rules granted in 11.6, a clever code generator could simply eliminate
the assignment altogether.
I recall the DEC and Verdix compilers doing such things.
Any comments?
-- gom
-------
reply other threads:[~1987-04-11 8:13 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox