[PATCH] D71177: [ValueTracking] Use the assumption that if the pointer was loaded/stored, then it is nonnull.

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In D71177#1775688 <https://reviews.llvm.org/D71177#1775688>, @jdoerfert wrote:

> > Also, I don't have commit rights.
>
> @lebedev.ri From my perspective this is fine. Feel free to accept and commit this.


I also currently don't have any further counter-examples here.

@danlark please specify `who <e at ma.il>` to be used for the change.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D71177