[llvm] [SCEV] Use context sensative reasoning in howFarToZero (PR #94525)

[Nikita Popov via llvm-commits]

================
@@ -10533,6 +10536,13 @@ ScalarEvolution::ExitLimit ScalarEvolution::howFarToZero(const SCEV *V,
   // will have undefined behavior due to wrapping.
   if (ControlsOnlyExit && AddRec->hasNoSelfWrap() &&
       loopHasNoAbnormalExits(AddRec->getLoop())) {
+
+    // If the stride is zero, the loop must be infinite.  Most loops are
+    // finite by assumption, in which case the step being zero implies UB
----------------
nikic wrote:

"Most loops are finite by assumption" is a C++-ism...

https://github.com/llvm/llvm-project/pull/94525