Select Git revision
ExprNode.cc
-
Sébastien Villemot authored
Those methods can return a negative value in some cases. For example, maxLead(x₋₁) = −1. But constants were always returning a value of zero, which means that we had inconsistent behaviour like maxLead(x₋₁ + 2) = 0. This commits fixes the behaviour by making these methods return the smallest possible integer when called on constants.
Sébastien Villemot authoredThose methods can return a negative value in some cases. For example, maxLead(x₋₁) = −1. But constants were always returning a value of zero, which means that we had inconsistent behaviour like maxLead(x₋₁ + 2) = 0. This commits fixes the behaviour by making these methods return the smallest possible integer when called on constants.
