From: stt@inmet.inmet.com
Subject: Re: Non-static constant propagation in
Date: 5 Jan 90 21:44:00 GMT [thread overview]
Message-ID: <20600031@inmet> (raw)
In-Reply-To: 1735@petsd.UUCP
An Ada expression is always allowed to evaluate to a result more
accurate than that required by the type.
This can be due either to compile-time infinite
precision calculation, or by simply using greater
precision at run-time.
The only absolute requirement for accuracy has to do
with operations where both operands are model numbers.
See ARM 4.5.7.
S. Tucker Taft
Intermetrics, Inc.
Cambridge, MA 02138
next prev parent reply other threads:[~1990-01-05 21:44 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
1990-01-05 1:37 Non-static constant propagation in optimizing Ada compilers Joe Orost
1990-01-05 21:44 ` stt [this message]
1990-01-08 21:54 ` Non-static constant propagation in stt
1990-01-09 13:10 ` Robert Firth
1990-01-10 21:24 ` stt
-- strict thread matches above, loose matches on Subject: below --
1990-01-10 4:00 Michael Hunter
1990-01-12 5:20 Michael Hunter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox