>Clearly, one of the three optimizations is incorrect in the sense that it introduced a change in program behavior. What about declaring that all three optimiz

>Clearly, one of the three optimizations is incorrect in the sense that it introduced a change in program behavior. What about declaring that all three optimizations are correct, and this program invokes UB? More precisely, it compares object one-past-the-end pointer with pointer pointing into entirely another object. one-past-the-end pointer is special because numerically it points outside the object. I think declaring that one-past-the-end pointer could be compared only with itself, valid pointer into the same object or NULL wouldn't be too unreasonable (comparing one-past-the-end pointer with pointer to another object would invoke UB).