[PATCH] D94125: [Attributor] Derive `willreturn` based on `mustprogress`

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: llvm/lib/Transforms/IPO/AttributorAttributes.cpp:2300
+        (!getAssociatedFunction() ||
+         !getAssociatedFunction()->doesNotAccessMemory())) {
+
----------------
I think I can even remove this condition.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D94125