If null_pointer_is_valid is present, dereferenceable does not imply
nonnull, make it clear.
Came up in D17993.
Differential D89417
[LangRef] Clarify `dereferenceable` -> `nonnull` implication jdoerfert on Oct 14 2020, 11:57 AM. Authored by
Details If null_pointer_is_valid is present, dereferenceable does not imply Came up in D17993.
Diff Detail
|