[PATCH] D86233: [LangRef] Define mustprogress attribute

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert accepted this revision.
jdoerfert added a comment.

Again minor wording suggestions, LGTM otherwise



================
Comment at: llvm/docs/LangRef.rst:1967
+    but does apply for call sites within the function. Note that `willreturn`
+    implies `mustprogress`. 
 
----------------
```...
As a consequence, a loop in a function with the `mustprogress` attribute can be assumed to terminate if it does not interact with the environment in an observable way, and terminating loops without side-effects can be removed. 
...
apply to
...
```


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86233