[PATCH] D157949: [ValueTracking] hasPassPointeeByValueCopyAttr implies well-defined

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert accepted this revision.
jdoerfert added a comment.
This revision is now accepted and ready to land.

`hasPassPointeeByValueCopyAttr` should imply `dereferenceable` which is why this is sound.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D157949