luqmana added a comment. In https://reviews.llvm.org/D27114#605657, @davide wrote: > Are you always guaranteed that the range doesn't contain zero? Is it valid for the range to have 0 if the load was already marked as nonnull? https://reviews.llvm.org/D27114