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

[Robert Dewar]

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