Hal Finkel 11af4b49b2 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
2014-07-18 15:51:28 +00:00
..
2014-06-27 18:19:56 +00:00
2014-07-18 15:51:28 +00:00
2014-06-27 18:19:56 +00:00
2014-06-27 18:19:56 +00:00
2014-04-29 23:37:02 +00:00
2014-07-18 15:51:28 +00:00
2014-06-27 18:19:56 +00:00
2014-04-28 04:05:08 +00:00
2014-07-03 16:12:55 +00:00
2014-06-12 16:06:51 +00:00
2014-04-09 14:47:27 +00:00
2014-07-18 15:51:28 +00:00