[PATCH] D65733: [Attributor] Provide easier checkForallReturnedValues functionality

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert marked 2 inline comments as done.
jdoerfert added inline comments.


================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:1001
 
-  if (!AARetVal->checkForallReturnedValues(Pred))
+  if (!AARetVal->checkForAllReturnedValuesAndReturnInsts(Pred))
     return indicatePessimisticFixpoint();
----------------
sstefan1 wrote:
> Shouldn't AANonNullReturned also use A.checkForAllReturnedValuesAndReturnInsts(Pred))?
It should. I fixed it for the commit.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D65733