[PATCH] D103834: [SCEV] Properly guard reasoning about infinite loops being UB on mustprogress

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

The regression for C programs should be addressed in aaaeb4b16 <https://reviews.llvm.org/rGaaaeb4b160fe94e0ad3bcd6073eea4807f84a33a>.  Note that this requires code motion done in b6ee5f2b <https://reviews.llvm.org/rGb6ee5f2b1df66987e65e1b636ba9ae1554b0334b>.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103834