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

[Sassa Nf via Phabricator via llvm-commits]

sassa.nf added a comment.

Excellent! Observability is key. If the value of `n` computed by the loop is not observable, the loop can be thrown out. If you want the computation in the loop to be observable, observe the `n` after the loop is done (or a bunch of other things that will work - like, call some "IO" or "OS" function).


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

https://reviews.llvm.org/D65718