This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

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: gcc at gcc dot gnu dot org
Date: Fri, 12 Aug 2005 13:31:17 -0400
Subject: Re: PR 23046. Folding predicates involving TYPE_MAX_VALUE/TYPE_MIN_VALUE(Ada RFC)
References: <10508121622.AA14828@vlsi1.ultra.nyu.edu>

Richard Kenner wrote:

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

Yes, and I'm sorry for the confusion.  However, for the purposes of this
discussion, there's no difference between erroneous and bounded error:
the issue is whether it's right to say that the only "valid" values of
the subtype are what's given by its range and that's the case whether
an invalid value would be a bounded error or erroneous.

no, there is a big difference

x'Valid must work if x is invalid

but x'valid is erroneous if x is abnormal

References:
- Re: PR 23046. Folding predicates involving TYPE_MAX_VALUE/TYPE_MIN_VALUE (Ada RFC)
  - From: Richard Kenner

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]