PR 23046. Folding predicates involving TYPE_MAX_VALUE/TYPE_MIN_VALUE (Ada RFC)

Robert Dewar dewar@adacore.com
Fri Aug 12 16:15:00 GMT 2005


Richard Kenner wrote:
>     Quote from section 13.9.1 follows.  Note the "but does not by itself
>     lead to erroneous or unpredictable execution" part.
> 
> Right, because it's a "bounded error".

which, contrary to your previous email, is
definitely not an erroneous situation.
Precision is very important here!



More information about the Gcc mailing list