https://github.com/efriedma-quic commented: This doesn't look right. Pointers can have contain an all-zero value no matter what the sentinel value is. I think you want to modify NullPointerIsDefined? https://github.com/llvm/llvm-project/pull/91769