[PATCH] D94740: [Attributor] Create `AAMustProgress` for the `mustprogress` attribute

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

> However, it's not obvious to me that (known) willreturn can derive mustprogress.

Given that we know we will return or throw, the function will make progress, so it's not going to get stuck. Arguably, it's a bit backwards but it might help down the road.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D94740