[PATCH] D88165: IR: Have byref imply dereferenceable

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added inline comments.


================
Comment at: llvm/test/Transforms/Attributor/value-simplify.ll:355
+; IS__CGSCC____-SAME: () [[ATTR1]] {
+; IS__CGSCC____-NEXT:    unreachable
 ;
----------------
jdoerfert wrote:
> ups. Could you maybe repair the tests to avoid UB here?
I'm not sure what this is trying to test exactly. What argument should this pass instead?


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

https://reviews.llvm.org/D88165