Closed maihde closed 7 years ago
There is a bug in InfInt representing INT_MIN, LONG_MIN, and LONG_LONG_MIN when using the constructor. This is because multiplying those values by -1 causes an overflow.
I've encountered a similiar issue (at least in the same code location). I'll open a bug which may be closed if that PR gets merged.
There is a bug in InfInt representing INT_MIN, LONG_MIN, and LONG_LONG_MIN when using the constructor. This is because multiplying those values by -1 causes an overflow.