[llvm-dev] Attribute for Function that does not write to memory that outlives itself
Alex Brachet-Mialot via llvm-dev
llvm-dev at lists.llvm.org
Fri Jan 3 11:19:18 PST 2020
Pure or const are similar to what you want but not exactly the same to what
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.
> Billy Moses
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev