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


crypto/bn/bn_lib.c:543:1: <LHS trace>
541.   }
542.   
543. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
544.   {
545.       unsigned int i, m;

crypto/bn/bn_lib.c:543:1: Parameter `len`
541.   }
542.   
543. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
544.   {
545.       unsigned int i, m;

crypto/bn/bn_lib.c:558:5: Assignment
556.       for ( ; len > 0 && *s == 0; s++, len--)
557.           continue;
558.       n = len;
           ^
559.       if (n == 0) {
560.           ret->top = 0;

crypto/bn/bn_lib.c:563:5: Binary operation: ([min(0, len), len] - 1):unsigned32
561.           return (ret);
562.       }
563.       i = ((n - 1) / BN_BYTES) + 1;
           ^
564.       m = ((n - 1) % (BN_BYTES));
565.       if (bn_wexpand(ret, (int)i) == NULL) {
