Fix #12422 (False positive: subtracting pointers in same struct) (#5971)

Fix #12422 (False positive: subtracting pointers in same struct) (#5971) #7851