[llvm-dev] Propagating noalias annotation

[Alexandre Isoard via llvm-dev]

Hello,

Do we have a pass that propagate the noalias annotation down to the callee
when:
- it is static
- it is always called with non aliasing pointers
?

Or maybe that is incorrect?

-- 
*Alexandre Isoard*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20171114/ff86287c/attachment.html>