[PATCH] D124124: [LangRef] Limit read/writeonly attrs to memory visible to caller

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

Not sure it's sufficient to restrict to the callers. Essentially we want to assert that these functions don't have state, so any read/writes they do is to locally allocated memory. No other function in the program can access that memory.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124124