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

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur accepted this revision.
Meinersbur 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
----------------
[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?


Repository:
  rL LLVM

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

https://reviews.llvm.org/D65718