VG_(findBoundsFM): add comment re preconditions

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9085
This commit is contained in:
Julian Seward 2009-01-29 08:46:15 +00:00
parent 9d04a7c226
commit f0bf7aaf10

View File

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