On 5/22/2020 10:25 AM, Timon Gehr wrote:
With the o/b system `free` might actually work out OK....free(new int);
I did mention in the documentation that when using different memory allocators, mixing them up will not be detected. You'd have to declare the allocators using specific pointer types, rather than void*.
