Update comment about range checks with observations from Florian.
No functional change.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14982 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/coregrind/m_debuginfo/image.c b/coregrind/m_debuginfo/image.c
index 964c633..819a770 100644
--- a/coregrind/m_debuginfo/image.c
+++ b/coregrind/m_debuginfo/image.c
@@ -405,6 +405,12 @@
--> x-LO >= 0 && x-LO < LO+N-LO
--> x-LO >= 0 && x-LO < N
--> x-LO < N
+ This is however only valid when the original bounds, that is, LO
+ .. LO+N-1, do not wrap around the end of the address space. That
+ is, we require that LO <= LO+N-1. But that's OK .. we don't
+ expect wraparounds in CEnts or for that matter any object
+ allocated from C-land. See Hacker's Delight, Chapter 4.1,
+ "Checking Bounds of Integers", for more details.
*/
return off - cent->off < cent->used;
}
