This is an archive of the discontinued LLVM Phabricator instance.

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

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

Details

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
uenoku added a subscriber: uenoku.Oct 14 2020, 11:59 AM
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
This revision was automatically updated to reflect the committed changes.