This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: PR 23046. Folding predicates involving TYPE_MAX_VALUE/TYPE_MIN_VALUE(Ada RFC)
- From: Robert Dewar <dewar at adacore dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: fw at deneb dot enyo dot de, gcc at gcc dot gnu dot org
- Date: Fri, 12 Aug 2005 12:14:54 -0400
- Subject: Re: PR 23046. Folding predicates involving TYPE_MAX_VALUE/TYPE_MIN_VALUE(Ada RFC)
- References: <10508121611.AA14681@vlsi1.ultra.nyu.edu>
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!