[llvm] [IR] LangRef: document behavior of double-lifetime.start (PR #184296)

[Nikita Popov via llvm-commits]

================
@@ -27726,15 +27726,18 @@ value.
 Semantics:
 """"""""""
 
-If ``ptr`` is a ``poison`` value, the intrinsic has no effect.
+If ``ptr`` is a ``poison`` value or not a pointer to a stack-allocated object,
----------------
nikic wrote:

The pointer being a stack-allocated object (or poison) is an IR validity requirement (see the section above). It's not UB.

https://github.com/llvm/llvm-project/pull/184296