Page MenuHomePhabricator
Differential D89417

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

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

Details

Reviewers
rsmith
fhahn
lebedev.ri
nlopes
arsenm
efriedma
aqjune
Commits
rG14077836ec05: [LangRef] Clarify `dereferenceable` -> `nonnull` implication
Summary

If null_pointer_is_valid is present, dereferenceable does not imply
nonnull, make it clear.

Came up in D17993.

Diff Detail

Event Timeline

jdoerfert created this revision.Oct 14 2020, 11:57 AM
Herald added a project: Restricted Project. · View Herald TranscriptOct 14 2020, 11:57 AM
Herald added a subscriber: bollu. · View Herald Transcript
jdoerfert requested review of this revision.Oct 14 2020, 11:57 AM
Herald added a subscriber: wdng. · View Herald TranscriptOct 14 2020, 11:57 AM
uenoku added a subscriber: uenoku.Oct 14 2020, 11:59 AM
Harbormaster completed remote builds in B75098: Diff 298205.Oct 14 2020, 12:29 PM
aqjune accepted this revision.Oct 14 2020, 7:51 PM

As discussed in D17993, it looks fine.

This revision is now accepted and ready to land.Oct 14 2020, 7:51 PM
This revision was landed with ongoing or failed builds.Oct 27 2020, 5:13 PM
Closed by commit rG14077836ec05: [LangRef] Clarify `dereferenceable` -> `nonnull` implication (authored by jdoerfert). · Explain Why
This revision was automatically updated to reflect the committed changes.
jdoerfert added a commit: rG14077836ec05: [LangRef] Clarify `dereferenceable` -> `nonnull` implication.

Revision Contents
Changeset List

PathSize
llvm/
docs/
3 lines

Diff 301135

View Options

llvm/docs/LangRef.rst

Loading...