[PATCH] D92297: [CodeGen] -fno-delete-null-pointer-checks: change dereferenceable to dereferenceable_or_null
Benjamin Kramer via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Nov 30 04:35:24 PST 2020
bkramer accepted this revision.
bkramer added a comment.
This revision is now accepted and ready to land.
While it would be nice for `dereferenceable` to not imply nonnull, the implementation currently assumes it does and will speculate loads based on that. See `llvm::Value::getPointerDereferenceableBytes` and its users.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D92297/new/
https://reviews.llvm.org/D92297
More information about the cfe-commits
mailing list