[Barrelfish-users] Unable to free() malloc'ed memory

[Georgios Varisteas]

Hello from Stockholm one more time,

I am facing a very weird and fatal error. I malloc an array of pointers (sizeof(struct *)*n) and at some point I want to resize it. Whatever method I try I get an exception from free(). I've tried manually transferring the array and using realloc(), same story.

Disassembly points to __free_locked() at what I believe to be malloc.c:113-114

Any ideas?

cheers,
Georgios