[llvm-dev] Propagating noalias annotation

[via llvm-dev]

Is this what you are looking for?

https://reviews.llvm.org/D4609

Best,

Haicheng Wu

On 2017-11-14 20:34, Alexandre Isoard via llvm-dev wrote:
> 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