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

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

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

> LGTM.
>
> In D70789#1762474 <https://reviews.llvm.org/D70789#1762474>, @uenoku wrote:
>
> > 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)`.
> >
>


More generally, we do already merge `deref_or_null(x) deref(y)` -> `deref(max(x, y))` ?


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

https://reviews.llvm.org/D70789