[PATCH] D74691: add some pattern to containsCycle

[Hideto Ueno via Phabricator via llvm-commits]

uenoku added a comment.

I'm not sure whether we can say if all the loops given by `LoopInfo` have a max trip count, then we can guarantee the termination of that function.
Aren't there other factors causing non-terminating execution?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D74691