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

[Alex Brachet-Mialot via llvm-dev]

Pure or const are similar to what you want but not exactly the same to what
you’re describing.

On Fri, Jan 3, 2020 at 2:12 PM William Moses via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> 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
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200103/06d6ab4f/attachment.html>