On 04/08/2013 09:19 AM, Robert Dewar wrote:
What do you mean when you say "constant arithmetic"? Do you mean places where there is an explicit 8 * 6 in the source or do you mean any arithmetic that a compiler, using the full power of interprocedural constant propagation can discover?On 4/8/2013 9:15 AM, Kenneth Zadeck wrote:I think this applies to Ada constant arithmetic as well.Ada constant arithmetic (at compile time) is always infinite precision (for float as well as for integer).
