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 f115462b92f1a6d7ad43ec60028fdf29917ae98a..e1e0c90979af13b2bb8c4b6743e50b4a79e5a1a6 100644 (file)
--- 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,