HomePhabricator

[LangRef] Clarify `dereferenceable` -> `nonnull` implication

Authored by jdoerfert on Oct 14 2020, 11:54 AM.

Description

[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

Details