diff --git a/repos/base/include/base/allocator_avl.h b/repos/base/include/base/allocator_avl.h
index 0716f3bd1c..41cf9df80f 100644
--- a/repos/base/include/base/allocator_avl.h
+++ b/repos/base/include/base/allocator_avl.h
@@ -48,7 +48,7 @@ class Genode::Allocator_avl_base : public Range_allocator
 	private:
 
 		static bool _sum_in_range(addr_t addr, addr_t offset) {
-			return (~0UL - addr > offset); }
+			return (addr + offset - 1) >= addr; }
 
 		/*
 		 * Noncopyable