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


crypto/bn/bn_lib.c:613:1: <LHS trace>
611.   }
612.   
613. > BIGNUM *BN_lebin2bn(const unsigned char *s, int len, BIGNUM *ret)
614.   {
615.       unsigned int i, m;

crypto/bn/bn_lib.c:613:1: Parameter `len`
611.   }
612.   
613. > BIGNUM *BN_lebin2bn(const unsigned char *s, int len, BIGNUM *ret)
614.   {
615.       unsigned int i, m;

crypto/bn/bn_lib.c:629:5: Assignment
627.       for ( ; len > 0 && *s == 0; s--, len--)
628.           continue;
629.       n = len;
           ^
630.       if (n == 0) {
631.           ret->top = 0;

crypto/bn/bn_lib.c:634:5: Binary operation: ([min(0, len), len] - 1):unsigned32
632.           return ret;
633.       }
634.       i = ((n - 1) / BN_BYTES) + 1;
           ^
635.       m = ((n - 1) % (BN_BYTES));
636.       if (bn_wexpand(ret, (int)i) == NULL) {
