From f0bf7aaf10b00dccdeaf66c1945a7b57a960e8fb Mon Sep 17 00:00:00 2001
From: Julian Seward <jseward@acm.org>
Date: Thu, 29 Jan 2009 08:46:15 +0000
Subject: [PATCH] VG_(findBoundsFM): add comment re preconditions

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9085
---
 coregrind/m_wordfm.c | 2 ++
 1 file changed, 2 insertions(+)

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, 
-- 
2.47.3