[PATCH] D118429: [ScalarEvolution] Mark a loop as finite if in a willreturn function

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert accepted this revision.
jdoerfert added a comment.
This revision is now accepted and ready to land.

Assuming the second test can be added, see below, LG.



================
Comment at: llvm/test/Analysis/ScalarEvolution/lt-overflow.ll:219
+  ret void
+}
----------------
This should also work w/o the call site attributes, correct?
If so add a second test.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118429