> Reliable pointer tagging is not trivial.

It is if you use alignment bits. Not always possible if you don't control the data though.