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

[Robert Dewar]

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.