For subtraction of pointers i and j to elements of the same array object the note in [expr.add#5] reads:
i
j
[ Note: If the