mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-09-30 04:56:49 +00:00
NULL, unique pointers from malloc(0), and freed pointers are legal values for
noalias attribute parameters/return values. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@59955 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
027fdbe3ba
commit
9682607ad6
@ -894,7 +894,9 @@ declare signext i8 @returns_signed_char()
|
|||||||
parameter. The caller is responsible for ensuring that this is the
|
parameter. The caller is responsible for ensuring that this is the
|
||||||
case. On a function return value, <tt>noalias</tt> additionally indicates
|
case. On a function return value, <tt>noalias</tt> additionally indicates
|
||||||
that the pointer does not alias any other pointers visible to the
|
that the pointer does not alias any other pointers visible to the
|
||||||
caller.</dd>
|
caller. Note that this applies only to pointers that can be used to actually
|
||||||
|
load/store a value: NULL, unique pointers from malloc(0), and freed pointers
|
||||||
|
are considered to not alias anything.</dd>
|
||||||
|
|
||||||
<dt><tt>nest</tt></dt>
|
<dt><tt>nest</tt></dt>
|
||||||
<dd>This indicates that the pointer parameter can be excised using the
|
<dd>This indicates that the pointer parameter can be excised using the
|
||||||
|
Loading…
Reference in New Issue
Block a user