https://www.ralfj.de/blog/2020/12/14/provenance.html · Some time ago, I wrote a blog post about how there’s more to a pointer than meets the eye. One key point I was trying to make is that just because two pointers point to the same address...
Apparently, something like this is being considered for C: https://lists.llvm.org/pipermail/llvm-dev/2021-June/151199.html