8260046: Assert left >= right in pointer_delta() methods

Reviewed-by: sjohanss, kbarrett, tschatzl
This commit is contained in:
Albert Mingkun Yang 2021-05-14 18:17:37 +00:00
parent 5eda812f53
commit 360928d16d

View file

@ -416,6 +416,7 @@ inline address_word castable_address(void* x) { return address_w
inline size_t pointer_delta(const volatile void* left, inline size_t pointer_delta(const volatile void* left,
const volatile void* right, const volatile void* right,
size_t element_size) { size_t element_size) {
assert(left >= right, "avoid underflow");
return (((uintptr_t) left) - ((uintptr_t) right)) / element_size; return (((uintptr_t) left) - ((uintptr_t) right)) / element_size;
} }