[PATCH] D88165: IR: Have byref imply dereferenceable

[Johannes Doerfert via Phabricator via llvm-commits]

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

LGTM, one minor request.



================
Comment at: llvm/test/Transforms/Attributor/value-simplify.ll:355
+; IS__CGSCC____-SAME: () [[ATTR1]] {
+; IS__CGSCC____-NEXT:    unreachable
 ;
----------------
ups. Could you maybe repair the tests to avoid UB here?


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

https://reviews.llvm.org/D88165