[llvm-dev] Return on nocapture pointer

[Piotr Padlewski via llvm-dev]

Hi,
I have a question about semantics of nocapture attribute:
"This indicates that the callee does not make any copies of the pointer
that outlive the callee itself. "
Is returing a pointer considered outliving callee? For example is this code
valid:

define i8* @foo(i8* nocapture %p)
  ret i8* %p
}

The documentation also mention that " This is not a valid attribute for
return values.", but I interpret that it is is about this case:

declare i8* nocapture @bar(i8* %p)

Piotr
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170428/daaadf50/attachment.html>