| commit | 11af4b49b2d816a17cd12e2d071ad8bae4aac351 | [log] [tgz] |
|---|---|---|
| author | Hal Finkel <hfinkel@anl.gov> | Fri Jul 18 15:51:28 2014 +0000 |
| committer | Hal Finkel <hfinkel@anl.gov> | Fri Jul 18 15:51:28 2014 +0000 |
| tree | 5d4d35327da3fb01e85b9e1c1dd3ff6dacd38391 | |
| parent | a11bf68f6c72cb024c2ce36db99c416ab312ec78 [diff] |
Add a dereferenceable attribute This attribute indicates that the parameter or return pointer is dereferenceable. Practically speaking, loads from such a pointer within the associated byte range are safe to speculatively execute. Such pointer parameters are common in source languages (C++ references, for example). git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@213385 91177308-0d34-0410-b5e6-96231b3b80d8