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


crypto/bn/bn_div.c:273:13: <LHS trace>
271.               if (bn_wexpand(snum, snum->top + 1) == NULL)
272.                   goto err;
273.               snum->d[snum->top] = 0;
                   ^
274.               snum->top++;
275.           }

crypto/bn/bn_div.c:273:13: Assignment
271.               if (bn_wexpand(snum, snum->top + 1) == NULL)
272.                   goto err;
273.               snum->d[snum->top] = 0;
                   ^
274.               snum->top++;
275.           }

crypto/bn/bn_div.c:296:5: Assignment
294.       /* Get the top 2 words of sdiv */
295.       /* div_n=sdiv->top; */
296.       d0 = sdiv->d[div_n - 1];
           ^
297.       d1 = (div_n == 1) ? 0 : sdiv->d[div_n - 2];
298.   

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