Check of (very unlikely and probably harmless) integer underflow.

This commit is contained in:
Dianne Skoll
2023-12-27 20:28:46 -05:00
parent 632283d47f
commit c1992b577a

View File

@@ -324,8 +324,11 @@ static int GetNextTriggerDate(Trigger *trig, int start, int *err, int *nextstart
break; break;
} }
start--; start--;
if (start < 0) {
break;
}
} }
if (iter > MaxSatIter) { if (start < 0 || iter > MaxSatIter) {
/* omitfunc must have returned "true" too often */ /* omitfunc must have returned "true" too often */
*err = E_CANT_TRIG; *err = E_CANT_TRIG;
return -2; return -2;
@@ -388,6 +391,10 @@ static int GetNextTriggerDate(Trigger *trig, int start, int *err, int *nextstart
break; break;
} }
simple--; simple--;
if (simple < 0) {
*err = E_CANT_TRIG;
return -2;
}
} }
if (iter > MaxSatIter) { if (iter > MaxSatIter) {
*err = E_CANT_TRIG; *err = E_CANT_TRIG;