| ... | @@ -1685,16 +1685,11 @@ void bigint_incr(BigInt *x) { | ... | @@ -1685,16 +1685,11 @@ void bigint_incr(BigInt *x) { |
| 1685 | } | 1685 | } |
| 1686 | | 1686 | |
| 1687 | if (x->digit_count == 1) { | 1687 | if (x->digit_count == 1) { |
| 1688 | if (x->is_negative) { | 1688 | if (x->is_negative && x->data.digit != 0) { |
| 1689 | if (x->data.digit != 0) { | 1689 | x->data.digit -= 1; |
| 1690 | x->data.digit -= 1; | | |
| 1691 | } | | |
| 1692 | return; | 1690 | return; |
| 1693 | } | 1691 | } else if (!x->is_negative && x->data.digit != UINT64_MAX) { |
| 1694 | else { | 1692 | x->data.digit += 1; |
| 1695 | if (x->data.digit != UINT64_MAX) { | | |
| 1696 | x->data.digit += 1; | | |
| 1697 | } | | |
| 1698 | return; | 1693 | return; |
| 1699 | } | 1694 | } |
| 1700 | } | 1695 | } |