diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2016-05-26 17:36:22 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2016-05-26 17:36:22 +0000 |
| commit | 7f32420ed520ae6298900e8a50109c265c4dba85 (patch) | |
| tree | 290bb48234b9f84f2101b6fd8dced8e6e372ec41 /llvm/docs/LangRef.rst | |
| parent | 686c70c3dc951d6f4b9c09197171f10ac25189f6 (diff) | |
| download | bcm5719-llvm-7f32420ed520ae6298900e8a50109c265c4dba85.tar.gz bcm5719-llvm-7f32420ed520ae6298900e8a50109c265c4dba85.zip | |
[CaptureTracking] Volatile operations capture their memory location
The memory location that corresponds to a volatile operation is very
special. They are observed by the machine in ways which we cannot
reason about.
Differential Revision: http://reviews.llvm.org/D20555
llvm-svn: 270879
Diffstat (limited to 'llvm/docs/LangRef.rst')
| -rw-r--r-- | llvm/docs/LangRef.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst index afc27af47f8..c614416f918 100644 --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -1037,7 +1037,8 @@ Currently, only the following parameter attributes are defined: ``nocapture`` This indicates that the callee does not make any copies of the pointer that outlive the callee itself. This is not a valid - attribute for return values. + attribute for return values. Addresses used in volatile operations + are considered to be captured. .. _nest: |
