Instead of the maximum of the two type sizes, use the size of the type of
numerically smaller pointer to check whether two pointers with offsets
alias.