[PATCH] D98112: [LangRef] mention that the lifetime intrinsics' description in LangRef isn't everything

[Ralf via Phabricator via llvm-commits]

RalfJung added inline comments.


================
Comment at: llvm/docs/LangRef.rst:18127
+the stack coloring algorithm cannot conclude that ``ptr`` is a stack-allocated
+object.
 
----------------
Would this alternatively be captured by saying that if ptr is a stack-allocated object, then it *might* have the effect of the original `alloca` creating a dead object and this intrinsic making it live (but non-deterministically, not doing this and just replacing the content by poison is also allowed)?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D98112