[PATCH] D53184: [LangRef] Clarify semantics of volatile operations.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: docs/LangRef.rst:2188
+does not point to memory must not modify any memory that is accessible by
+the module being compiled, and the compiler may assume volatile operations
+do not trap.
----------------
hfinkel wrote:
> How should we specify the interaction between this and inaccessiblememonly?
This is essentially supposed to be inaccessiblememonly (plus the pointed-to address, if it points into memory).

I'll take another shot at the wording.


Repository:
  rL LLVM

https://reviews.llvm.org/D53184