[llvm-dev] Attribute for Function that does not write to memory that outlives itself

[William Moses via llvm-dev]

Hi all,

Is there a function attribute or otherwise way to query whether a function
could write to memory that outlives itself?

For example writing to a global or memory passed in via a function argument
would be writing to memory that outlives the function, but writing to a
stack variable or allocation that isn't returned would not.

Cheers,
Billy Moses
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200103/955d7071/attachment.html>