[llvm-dev] [RFC][LangRef][AliasAnalysis] Clarify `noalias` affects only modified objects
Johannes Doerfert via llvm-dev
llvm-dev at lists.llvm.org
Thu Feb 20 15:46:18 PST 2020
I would like to clarify that `noalias` on arguments matches `restrict`
in C99. In particular, objects need to be modified for the `noalias` to
be "effective". We basically apply this reasoning already in various
parts but I want to make it explicit now.
The wording change and the reasons are explained in
Please let me know if there are concerns.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 228 bytes
Desc: not available
More information about the llvm-dev