[PATCH] D65718: [LangRef] Document forward-progress requirement

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: llvm/docs/LangRef.rst:2496
+Every thread of execution is required to eventually cause a side-effect
+(including but not limited to accessing of inaccessible memory, volatile or
+atomic memory access, or other forms of thread synchronization). Failure to
----------------
Meinersbur wrote:
> [typo] `accesses to` or `accessing ...`
> 
> "inaccessable memory" is a strange example, it results in an access violation and most often termination of the program, but I guess it can be called a side-effect/progress. However, the compiler may optimize away unused accesses to non-volatile memory such that the side-effect is not guaranteed to happen. Maybe include system calls instead?
"inaccessable memory" is not "invalid memory" but just memory not accessible through direct means from the module. (`llvm.side_effect` is modeled as an access to inaccessible memory only)


Repository:
  rL LLVM

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

https://reviews.llvm.org/D65718