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: laurent at guerby dot net, gcc at gcc dot gnu dot org
- Date: Fri, 12 Aug 2005 16:47:01 -0400
- Subject: Re: PR 23046. Folding predicates involving TYPE_MAX_VALUE/TYPE_MIN_VALUE(Ada RFC)
- References: <10508121812.AA15323@vlsi1.ultra.nyu.edu>
Richard Kenner wrote:
> compiler (specifically VRP) is *correct* in deducing that the values are
> in the valid range of the type *except* for 'Valid and range checks.
You meant "for 'Valid range checks" right? (no "and").
I meant "and". Range checks are essentially 'Valid.
no, range checks are quite different from validity checks.
range checks can assume data is valid, validity checks
can not make thisd assumption.