[PATCH] D94502: [FunctionAttrs] Derive willreturn for fns with readonly` & `mustprogress`.

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

Thanks for taking a look!



================
Comment at: llvm/test/Transforms/FunctionAttrs/willreturn.ll:4
 define void @mustprogress_readnone() mustprogress {
-; CHECK-NOT: Function Attrs: {{.*}} willreturn
-; CHECK:     define void @mustprogress_readnone()
+; CHECK:      Function Attrs: {{.*}} noreturn {{.*}} readnone illreturn
+; CHECK-NEXT: define void @mustprogress_readnone()
----------------
nikic wrote:
> illreturn :)
thanks, uploaded too soon, fixed in committed version.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D94502