diff options
Diffstat (limited to 'runtime/GCCLibraries/libpoolalloc/PoolAllocatorChained.c')
| -rw-r--r-- | runtime/GCCLibraries/libpoolalloc/PoolAllocatorChained.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/GCCLibraries/libpoolalloc/PoolAllocatorChained.c b/runtime/GCCLibraries/libpoolalloc/PoolAllocatorChained.c index b3a715fe9b..4fa0aedecf 100644 --- a/runtime/GCCLibraries/libpoolalloc/PoolAllocatorChained.c +++ b/runtime/GCCLibraries/libpoolalloc/PoolAllocatorChained.c @@ -242,6 +242,7 @@ void poolfree(PoolTy *Pool, char *Node) { if (!ALLOCATION_BEGINS(PS, Idx)) { printf("poolfree: Attempt to free middle of allocated array\n"); + exit(1); } /* Free the first node */ |