commit | 699354da82381d0f941dc92f5ff007465461e6f4 | [log] [tgz] |
---|---|---|
author | Juneyoung Lee <aqjune@gmail.com> | Tue Apr 13 13:57:06 2021 +0900 |
committer | Copybara-Service <copybara-worker@google.com> | Fri Apr 16 13:04:12 2021 -0700 |
tree | c2372f60daa458f0aa00ec6245f7fae7642f1e91 | |
parent | 9325c5c314baaf1e9634765cec259eabac784b23 [diff] |
[LangRef] clarify the semantics of nocapture This patch clarifies the semantics of nocapture attribute. A 'Pointer Capture' subsection is added to describe the semantics of pointer capture first. For the nocapture example with two same pointer arguments, it is consistent with the semantics that Alive2 used to run lit tests. Reviewed By: nlopes Differential Revision: https://reviews.llvm.org/D97924 GitOrigin-RevId: 1bcadb0984e7676cb3539c42747d61d4633fd78e