Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[LangRef] Clarify
dereferenceable
-> nonnull
implication
If `null_pointer_is_valid` is present, `dereferenceable` does not imply `nonnull`, make it clear. Came up in D17993. Reviewed By: aqjune Differential Revision: https://reviews.llvm.org/D89417
- Loading branch information