Re: seperate keyword and seperate compilation with Gnat?

[jsa@organon.com (Jon S Anthony)]

In article <dewar.837438444@schonberg> dewar@cs.nyu.edu (Robert Dewar) writes:

> Norman asked:
> 
> "I presume you mean that it is invalid to compute a+b this way because of
> the potential overflow, and not that it is invalid to raise an exception
> because of the overflow."
> 
> Well not quite, it is not invalid to compute a+b that way, it is invalid
> to compute a+b that way if it will indeed raise an exception. If you
> compute a+b that way (4 * a + b - 3 * a), and you do not raise an exception
> during the computation (as is allowed by the optimization rules), then this
> is a stupid and inefficient thing to do, but is not invalid.

It would appear that this was not a particularly good example to
illustrate your point!  Apparently it is not even all that clear
to the PTB! :-) :-) :-)

/Jon

-- 
Jon Anthony
Organon Motives, Inc.
1 Williston Road, Suite 4
Belmont, MA 02178

617.484.3383
jsa@organon.com