[PATCH] D86233: [WIP] [RFC] [LangRef] Define noprogress attribute

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: llvm/docs/LangRef.rst:1959
+    progress, however this does not apply transitively to its callees.
+    Progress is defined as per the `C++ Standard <http://eel.is/c++draft/intro.progress>`_.
 
----------------
Say that functions without this attribute are implicit ``mustprogress`` and required to make progress to put this into context.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86233