mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2025-12-27 07:41:28 -08:00
Code Issues Projects Releases Wiki Activity

Check alignment of address given to poolfree.

Browse source 
Copied from Perforce
 Change: 187265
 ServerID: perforce.ravenbrook.com
This commit is contained in:
Gareth Rees 2014-10-14 16:54:10 +01:00
parent 9fff9289af
commit 7db46bbb3f
2 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
mps/code/pool.c
View file

@ -321,6 +321,7 @@ void PoolFree(Pool pool, Addr old, Size size)
AVER(old != NULL);
/* The pool methods should check that old is in pool. */
AVER(size > 0);
AVER(AddrIsAligned(old, pool->alignment));
AVER(PoolHasRange(pool, old, AddrAdd(old, size)));
(*pool->class->free)(pool, old, size);

4
mps/test/argerr/29.c
View file

@ -6,8 +6,8 @@ TEST_HEADER
link = testlib.o
OUTPUT_SPEC
assert = true
assertfile P= poolmfs.c
assertcond =
assertfile P= pool.c
assertcond = AddrIsAligned(old, pool->alignment)
END_HEADER
*/