Commit 3b56909d authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl:runtime] Fix tracking of deallocation

The number of allocated blocks wasn't decremented on deallocation.
parent 671fdbfa
......@@ -979,7 +979,7 @@ static void unset_heap_segment(void *ptr, int init, const char *function) {
/* Nullify shadow block */
memset(base_shadow, ZERO, alloc_size);
/* Adjust tracked allocation size */
heap_allocation_size -= length;
#ifdef E_ACSL_TEMPORAL /*{{{*/
/* Nullify temporal shadow */
uintptr_t *t_base_shadow = (uintptr_t*)TEMPORAL_HEAP_SHADOW(ptr);
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment