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

[Bryce Wilson via Phabricator via llvm-commits]

Bryce-MW accepted this revision.
Bryce-MW added a comment.

It was ambiguous before because this is exactly what I thought it meant. Even though the memory becomes accessible after returning, it is not accessible during the call so it should be allowed to be modified. I think this clarification makes it a lot more clear.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D117571