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

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

Here are updates:

1. I found from this document <https://jonasdevlieghere.com/escape-analysis-capture-tracking-in-llvm/> that pointer escape is different from pointer capture; pointer capture subsumes pointer escape. I chose pointer capture because we're talking about general cases regardless of dereferenceability. I also adopted this expression from the link: `A pointer value is captured if the function makes a copy of any part of the pointer that outlives the call` This naturally addressed Nuno's concern.
2. An example that uses an atomic operation is added.
3. Updated wordings, added numbering to the volatile case


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D97924