[PATCH] D97924: [LangRef] clarify the semantics of nocapture

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added inline comments.


================
Comment at: llvm/docs/LangRef.rst:2671
+that is readable by the caller or subsequent function calls, such as a global
+variable or the caller's register.
+
----------------
let's make it explicit the pointer only escapes if that information is readable by the caller after the function exits. To account for the fact that information can be overwritten.
Maybe complement the example below to have something like:
   store i32 %j, i32* @glb ; escapes %a
   store i32 0, i32* @glb ; %a is not escaped anymore


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D97924