crypto/bn/bn_mod.c:163: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - [0, 2]):unsigned64.
Showing all 5 steps of the trace


crypto/bn/bn_mod.c:142:33: <LHS trace>
140.       bp = b->d != NULL ? b->d : rp;
141.   
142.       for (i = 0, ai = 0, bi = 0, borrow = 0; i < mtop;) {
                                       ^
143.           mask = (BN_ULONG)0 - ((i - a->top) >> (8 * sizeof(i) - 1));
144.           ta = ap[ai] & mask;

crypto/bn/bn_mod.c:142:33: Assignment
140.       bp = b->d != NULL ? b->d : rp;
141.   
142.       for (i = 0, ai = 0, bi = 0, borrow = 0; i < mtop;) {
                                       ^
143.           mask = (BN_ULONG)0 - ((i - a->top) >> (8 * sizeof(i) - 1));
144.           ta = ap[ai] & mask;

crypto/bn/bn_mod.c:157:36: <RHS trace>
155.       }
156.       ap = m->d;
157.       for (i = 0, mask = 0 - borrow, carry = 0; i < mtop; i++) {
                                          ^
158.           ta = ((ap[i] & mask) + carry) & BN_MASK2;
159.           carry = (ta < carry);

crypto/bn/bn_mod.c:157:36: Assignment
155.       }
156.       ap = m->d;
157.       for (i = 0, mask = 0 - borrow, carry = 0; i < mtop; i++) {
                                          ^
158.           ta = ((ap[i] & mask) + carry) & BN_MASK2;
159.           carry = (ta < carry);

crypto/bn/bn_mod.c:163:5: Binary operation: ([0, +oo] - [0, 2]):unsigned64
161.           carry += (rp[i] < ta);
162.       }
163.       borrow -= carry;
           ^
164.       for (i = 0, mask = 0 - borrow, carry = 0; i < mtop; i++) {
165.           ta = ((ap[i] & mask) + carry) & BN_MASK2;
