arsenm added inline comments.
================ Comment at: llvm/docs/LangRef.rst:1052-1053 + memory of the callee. That means, a callee can write a ``byval`` parameter + and still be ``readonly`` or ``readnone`` because the write is, similar to + a write to an ``alloca``, not visible from the outside. To create the copy + the original memory, which is the call site argument, is always read. This ---------------- Should this also specify the meaning of readonly/readnone as a callee side parameter attribute? is it disallowed to write to a readonly byval argument? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D79636/new/ https://reviews.llvm.org/D79636 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
