poly_int: pointer_may_wrap_p