From: Julian Seward <jseward@acm.org>
Date: Thu, 29 Jan 2009 08:46:15 +0000 (+0000)
Subject: VG_(findBoundsFM): add comment re preconditions
X-Git-Tag: svn/VALGRIND_3_5_0~1029
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=f0bf7aaf10b00dccdeaf66c1945a7b57a960e8fb;p=thirdparty%2Fvalgrind.git

VG_(findBoundsFM): add comment re preconditions


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9085
---

diff --git a/coregrind/m_wordfm.c b/coregrind/m_wordfm.c
index f115462b92..e1e0c90979 100644
--- a/coregrind/m_wordfm.c
+++ b/coregrind/m_wordfm.c
@@ -676,6 +676,8 @@ Bool VG_(findBoundsFM)( WordFM* fm,
                         UWord maxKey, UWord maxVal,
                         UWord key )
 {
+   /* really we should assert that minKey <= key <= maxKey,
+      where <= is as defined by fm->kCmp. */
    return avl_find_bounds( fm->root, kMinP, vMinP,
                                      kMaxP, vMaxP,
                                      minKey, minVal,