[PATCH] D86233: [LangRef] Define mayprogress attribute

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D86233#2256076 <https://reviews.llvm.org/D86233#2256076>, @RalfJung wrote:

> Shouldn't it be "maynotprogress" (or "maybenoprogress" or so)? *Every* function *may* progress, but only those with this marker are also allowed to not "make progress".

The way to read it is:
Every function *mustmakeprogress* unless it has the *mayprogress* attribute.

So "may" is either they do or they don't, both are fine.
And, "must" means they have to or UB.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86233