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

Juneyoung Lee via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Apr 13 19:54:41 PDT 2021


aqjune added inline comments.


================
Comment at: llvm/docs/LangRef.rst:2691
+      store i8* %c,   i8** @glb3
+      call void @g() ; If @g makes a copy of %c that outlives this call (@f), %c is captured
+      store i8* null, i8** @glb3
----------------
To clarify the case when `@f` calls another function, I added this.
If `@g` does not capture pointer (e.g. readnone & willreturn), calling `@g` is fine.
Does this make sense & is consistent with people's understanding?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D97924



More information about the llvm-commits mailing list