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


crypto/bn/bn_lib.c:556:1: <LHS trace>
554.   }
555.   
556. > BIGNUM *BN_lebin2bn(const unsigned char *s, int len, BIGNUM *ret)
557.   {
558.       unsigned int i, m;

crypto/bn/bn_lib.c:556:1: Parameter `len`
554.   }
555.   
556. > BIGNUM *BN_lebin2bn(const unsigned char *s, int len, BIGNUM *ret)
557.   {
558.       unsigned int i, m;

crypto/bn/bn_lib.c:572:5: Assignment
570.       for ( ; len > 0 && s[-1] == 0; s--, len--)
571.           continue;
572.       n = len;
           ^
573.       if (n == 0) {
574.           ret->top = 0;

crypto/bn/bn_lib.c:577:5: Binary operation: ([min(0, len), len] - 1):unsigned32
575.           return ret;
576.       }
577.       i = ((n - 1) / BN_BYTES) + 1;
           ^
578.       m = ((n - 1) % (BN_BYTES));
579.       if (bn_wexpand(ret, (int)i) == NULL) {
