fhahn added a comment. Thanks for clarifying this Eli! Treating loading a null value of a nonnull load as UB should allow us to not drop nonnull from loads in some cases (https://reviews.llvm.org/D47339) Repository: rL LLVM https://reviews.llvm.org/D47854