[PATCH] D90529: Allow nonnull attribute to accept poison
Juneyoung Lee via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Nov 3 01:21:28 PST 2020
aqjune added a comment.
In D90529#2369578 <https://reviews.llvm.org/D90529#2369578>, @jdoerfert wrote:
> OK, I'm unsure I get the point though. We can derive `dereferenceable` in either case, agreed? What is currently better?
The current `dereferenceable` definition gives a guarantee that the pointer is not poison. :)
It is good because it guarantees that loads and stores to the pointer don't trap.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D90529/new/
https://reviews.llvm.org/D90529
More information about the llvm-commits
mailing list