[PATCH] D117571: [LangRef] Clarify that inaccessiblememonly functions are allowed noalias returns

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert accepted this revision.
jdoerfert added a comment.
This revision is now accepted and ready to land.

LG



================
Comment at: llvm/docs/LangRef.rst:1643
+    the module.  That is, a callee can be both ``inaccessiblememonly`` and
+    have a ``noalias`` return which introduces a new allocation.
 ``inaccessiblemem_or_argmemonly``
----------------
Nit: why callee and not function? We could even say explicitly the function can write the memory it returns (before it returns it), e.g., calloc.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D117571