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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

This seems correct.

"Similar" functionality will be introduced into the Attributor with D68934 <https://reviews.llvm.org/D68934> (I also copied the new tests). However, that should not stop this from going forward.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D71177