steakhal wrote: This example also makes sense to me. Here the dangling pointer has a well-defined value. It's not null. Its some invalid value that one should not dereference. And nobody does that so there is no issue. https://github.com/llvm/llvm-project/pull/116383