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.
