d0p1/ack
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Added some assertions

Browse source
This commit is contained in:
ceriel 1989-07-31 12:55:33 +00:00
parent ef8450fce9
commit 990e7a67da
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
modules/src/malloc/mal.c
View file

@ -49,6 +49,7 @@ malloc(n)
*stp = log_next_of(ml); *stp = log_next_of(ml);
set_store(ml, 0); set_store(ml, 0);
check_mallinks("malloc fast exit"); check_mallinks("malloc fast exit");
assert(! in_store(ml));
return block_of_mallink(ml); return block_of_mallink(ml);
} }
} }
@ -139,6 +140,9 @@ malloc(n)
stopped_working_on(ml); stopped_working_on(ml);
check_mallinks("malloc exit"); check_mallinks("malloc exit");
check_work_empty("malloc exit"); check_work_empty("malloc exit");
#ifdef STORE
assert(! in_store(ml));
#endif
return block_of_mallink(ml); return block_of_mallink(ml);
}} }}
@ -273,6 +277,9 @@ realloc(addr, n)
while (size--) *l1++ = *l2++; while (size--) *l1++ = *l2++;
free(addr); free(addr);
check_work_empty("mv_realloc"); check_work_empty("mv_realloc");
#ifdef STORE
assert(! in_store(new));
#endif
return new; return new;
} }
/* it helped, but maybe too well */ /* it helped, but maybe too well */
@ -283,6 +290,9 @@ realloc(addr, n)
stopped_working_on(ml); stopped_working_on(ml);
check_mallinks("realloc exit"); check_mallinks("realloc exit");
check_work_empty("realloc"); check_work_empty("realloc");
#ifdef STORE
assert(! in_store(ml));
#endif
return addr; return addr;
}} }}