[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...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200220/e584330d/attachment.sig>

More information about the llvm-dev mailing list