Hi Mark, On 1/16/21 2:22 PM, Vincenzo Frascino wrote: >> Is there any chance that this can be used for the last bytes of the >> virtual address space? This might need to change to `_addr == _end` if >> that is possible, otherwise it'll terminate early in that case. >> > Theoretically it is a possibility. I will change the condition and add a note > for that. >
I was thinking to the end of the virtual address space scenario and I forgot that if I use a condition like `_addr == _end` the tagging operation overflows to the first granule of the next allocation. This disrupts tagging accesses for that memory area hence I think that `_addr < _end` is the way to go. -- Regards, Vincenzo