Extra-careful check after setting the limit.

Copied from Perforce
 Change: 182585
 ServerID: perforce.ravenbrook.com
This commit is contained in:
Gareth Rees 2013-06-06 15:51:41 +01:00
parent fe60d16407
commit f651dbdc27

View file

@ -116,6 +116,7 @@ static void FreelistBlockSetLimit(Freelist fl, FreelistBlock block, Addr limit)
AVER(size >= sizeof(block->small));
block->small.next = FreelistTagSet(block->small.next);
}
AVER(FreelistBlockLimit(block) == limit);
}