[PATCH] D90529: Allow nonnull attribute to accept poison

[Juneyoung Lee via Phabricator via llvm-commits]

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