[PATCH] D157499: [IR] Add dead_on_unwind attribute

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

The "underlying object of a pointer argument" is not something that's defined in LangRef.  And if you mean something like getUnderlyingObject(), that has weird consequences for the semantics of memory allocation.

Maybe what you actually want is "any values stored through this pointer will not be read by the caller if this call unwinds", or something like that?

I like the name dead_on_unwind, though; I think the name suggests roughly the correct semantics.


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

https://reviews.llvm.org/D157499