crypto/bn/bn_lib.c:419: error: INTEGER_OVERFLOW_L2
  ([min(0, `len`), `len`] - 1):unsigned32.
Showing all 4 steps of the trace


crypto/bn/bn_lib.c:399:1: <LHS trace>
397.   }
398.   
399. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
400.   {
401.       unsigned int i, m;

crypto/bn/bn_lib.c:399:1: Parameter `len`
397.   }
398.   
399. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
400.   {
401.       unsigned int i, m;

crypto/bn/bn_lib.c:414:5: Assignment
412.       for ( ; len > 0 && *s == 0; s++, len--)
413.           continue;
414.       n = len;
           ^
415.       if (n == 0) {
416.           ret->top = 0;

crypto/bn/bn_lib.c:419:5: Binary operation: ([min(0, len), len] - 1):unsigned32
417.           return ret;
418.       }
419.       i = ((n - 1) / BN_BYTES) + 1;
           ^
420.       m = ((n - 1) % (BN_BYTES));
421.       if (bn_wexpand(ret, (int)i) == NULL) {
