[PATCH] D109029: [SCEV] Clarify requirements for zero-stride to be UB

[Eli Friedman via Phabricator via llvm-commits]

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

LGTM.

If a loop is finite by assumption, it doesn't have external side-effects.  But then, how do we exit the loop?  I guess throwing an exception doesn't involve an external side-effect.  But we don't really have any incentive to try to model that, given that every place we call loopIsFiniteByAssumption() also calls loopHasNoAbnormalExits(), so this seems like it will stay a theoretical problem.  I guess it serves as documentation, though.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D109029