diff options
| author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2009-01-29 08:46:15 +0000 |
|---|---|---|
| committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2009-01-29 08:46:15 +0000 |
| commit | f8aecf47bb53b90e00c4a04210056ecf00a0f770 (patch) | |
| tree | a88603a33423988fc8b7fa52f5468ddfa775aa98 | |
| parent | 93600b134e10e99a81959aa81f9b3b69d27a8d6a (diff) | |
| download | valgrind-f8aecf47bb53b90e00c4a04210056ecf00a0f770.tar.gz | |
VG_(findBoundsFM): add comment re preconditions
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9085 a5019735-40e9-0310-863c-91ae7b9d1cf9
| -rw-r--r-- | coregrind/m_wordfm.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coregrind/m_wordfm.c b/coregrind/m_wordfm.c index f115462b9..e1e0c9097 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, |