[PATCH] D111353: [SCEV] Extend ability to infer flags to more complicates scopes

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:6689
+
+  while (true) {
+    Path.push_back(PrevBB);
----------------
mkazantsev wrote:
> I guess this will hand if you call it on 2 unreachable blocks going to one another.
hang*


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D111353