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

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added a comment.

gcc assumes that the loop with an exit is finite

https://gcc.gnu.org/git/?p=gcc.git&a=commit;h=c29c92c789d93848cc1c929838771bfc68cb272c


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

https://reviews.llvm.org/D65718