[PATCH] D68484: [PATCH 01/27] [noalias] LangRef: noalias intrinsics and ptr_provenance documentation.

[Slava Zakharin via Phabricator via llvm-commits]

vzakhari added inline comments.


================
Comment at: llvm/docs/NoAliasInfo.rst:1367
+This indicates that memory locations accessed via pointer values
+:ref:`based <pointeraliasing>` on the argument or return value are not also
+accessed, during the execution of the function, via pointer values not
----------------
Does `noalias` attribute becomes redundant for arguments, since `clang` homes it with `llvm.noalias.decl` and loads from it with `llvm.noalias`?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D68484/new/

https://reviews.llvm.org/D68484