[llvm-dev] [RFC][LangRef][AliasAnalysis] Clarify `noalias` affects only modified objects

[Johannes Doerfert via llvm-dev]

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
  https://reviews.llvm.org/D74935

Please let me know if there are concerns.

Thanks,
  Johannes
-------------- 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>