If both the pointer operand and the result point to elements of the same array object, or one past the last element of the array object, the evaluation shall not produce an overflow; otherwise, the behavior is undefined.

This is that part that says the result of addition is undefined unless both the original pointer and the result point to the same array object (or one past the last element).