@tchajed pointed out that OffsetOp handling is weird. Indeed we ignore the op for pointer arithmetic, so any binop with the LHS being a location and the RHS an integer would end up reducing as pointer arithmetic. That is certainly not the intended behavior, so let's fix that. No idea how we managed to miss this.^^
Cc @lepigre