[PATCH] D86233: [LangRef] Define maynotprogress attribute

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

FWIW `maynotprogress` reads worse to me, because my first interpretation/reading was `if it progresses, it's ub`, i.e. `it may not (as in, shall not) progress` instead of `might not make progress`


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86233