D
Dave Thompson
If the UB is no worse than yielding false _positive_ matches. If it
gives false negatives, this fails.
It can't give false negatives. If the pointer does point into the
object, the < and > comparisons are not undefined, so they must give
the corect (positive) result.
[/QUOTE]
Oops! You're right, I didn't think that through.
- David.Thompson1 at worldnet.att.net