[PATCH] D90529: Allow nonnull attribute to accept poison

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

(reviving an old discussion) to summarize the issue:
The issue was whether it is okay to make `dereferenceable %p` non-UB if %p was not dereferenceable.

In order to make the attribute useful, `noundef %p` should be accompanied.
The problem is that we cannot infer `noundef %p` from store or load in general; `noundef` can be inferred in limited cases only.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D90529/new/

https://reviews.llvm.org/D90529