8260046: Assert left >= right in pointer_delta() methods
Reviewed-by: sjohanss, kbarrett, tschatzl
diff --git a/src/hotspot/share/utilities/globalDefinitions.hpp b/src/hotspot/share/utilities/globalDefinitions.hpp
index ffa88c4..1ce11b8 100644
--- a/src/hotspot/share/utilities/globalDefinitions.hpp
+++ b/src/hotspot/share/utilities/globalDefinitions.hpp
@@ -416,6 +416,7 @@
inline size_t pointer_delta(const volatile void* left,
const volatile void* right,
size_t element_size) {
+ assert(left >= right, "avoid underflow");
return (((uintptr_t) left) - ((uintptr_t) right)) / element_size;
}