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


crypto/bn/bn_lib.c:641:1: <LHS trace>
639.   	}
640.   
641. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
642.   	{
643.   	unsigned int i,m;

crypto/bn/bn_lib.c:641:1: Parameter `len`
639.   	}
640.   
641. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
642.   	{
643.   	unsigned int i,m;

crypto/bn/bn_lib.c:651:2: Assignment
649.   	bn_check_top(ret);
650.   	l=0;
651.   	n=len;
        ^
652.   	if (n == 0)
653.   		{

crypto/bn/bn_lib.c:663:9: Binary operation: ([min(0, len), len] - 1):unsigned32
661.   	ret->top=i;
662.   	ret->neg=0;
663.   	while (n-- > 0)
               ^
664.   		{
665.   		l=(l<<8L)| *(s++);
