[PATCH] D70789: [Attributor] Remove dereferenceable_or_null when nonull is present

[Hideto Ueno via Phabricator via llvm-commits]

uenoku added a comment.

In D70789#1762114 <https://reviews.llvm.org/D70789#1762114>, @jdoerfert wrote:

> This was a problem for a while now:
>  Can we have a test case to make sure we do not lose information, e.g. `deref_or_null(100) nonnull deref(4)` should not remove the `deref_or_null(100)`.


In my understanding, deref_or_null(100) and nonnull imply deref(100) so  deref_or_null(100) can be deleted safely, correct?


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

https://reviews.llvm.org/D70789