Skip to content

Commit

Permalink
If the computed newRange is from positive infinity to negative infini…
Browse files Browse the repository at this point in the history
…ty, then directly return result.
  • Loading branch information
feiniaofeiafei committed Dec 4, 2024
1 parent 43182b7 commit c1871b2
Showing 1 changed file with 3 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -845,6 +845,9 @@ private EvaluateRangeResult computeMonotonicFunctionRange(EvaluateRangeResult re
if (upperValue instanceof Literal) {
newRange = newRange.withUpperBound((Literal) upperValue);
}
if (!newRange.span().hasLowerBound() && !newRange.span().hasUpperBound()) {
return result;
}
context.rangeMap.put((Expression) func, newRange);
newRanges.put((Expression) func, newRange);
return new EvaluateRangeResult((Expression) func, newRanges, result.childrenResult);
Expand Down

0 comments on commit c1871b2

Please sign in to comment.