[PATCH] D157499: [IR] Add dead_on_unwind attribute

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

I would remove:

> The caller is allowed to access the affected memory, but all loads that are not preceded by a store will return poison.

And

> dereferenceable region of the pointer argument

is super unclear, especially after you apply @efriedma's alloca merge. A size/type would make this clearer, we would not need to talk about "deref" at all, just that the region `[ptr, ptr + size)` is overwritten by poison on unwind.


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

https://reviews.llvm.org/D157499