crypto/bn/bn_div.c:414: error: INTEGER_OVERFLOW_L1
  ([-oo, 0] - 1):unsigned64.
Showing all 4 steps of the trace


crypto/bn/bn_div.c:385:17: <LHS trace>
383.               BN_ULONG t2l, t2h;
384.   
385.               q = bn_div_words(n0, n1, d0);
                       ^
386.   #   ifndef REMAINDER_IS_ALREADY_CALCULATED
387.               rem = (n1 - q * d0) & BN_MASK2;

crypto/bn/bn_div.c:385:17: Unknown value from: bn_div_words
383.               BN_ULONG t2l, t2h;
384.   
385.               q = bn_div_words(n0, n1, d0);
                       ^
386.   #   ifndef REMAINDER_IS_ALREADY_CALCULATED
387.               rem = (n1 - q * d0) & BN_MASK2;

crypto/bn/bn_div.c:349:9: Assignment
347.           BN_ULONG n0, n1, rem = 0;
348.   
349.           n0 = wnumtop[0];
               ^
350.           n1 = wnumtop[-1];
351.           if (n0 == d0)

crypto/bn/bn_div.c:414:21: Binary operation: ([-oo, 0] - 1):unsigned64
412.                       break;      /* don't let rem overflow */
413.                   if (t2l < d1)
414.                       t2h--;
                           ^
415.                   t2l -= d1;
416.               }
