crypto/bn/bn_div.c:253: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BN_usub`.
Showing all 7 steps of the trace


crypto/bn/bn_div.c:220:8: Call
218.   	sdiv->neg=0;
219.   	norm_shift+=BN_BITS2;
220.   	if (!(BN_lshift(snum,num,norm_shift))) goto err;
              ^
221.   	snum->neg=0;
222.   	div_n=sdiv->top;

crypto/bn/bn_shift.c:124:1: Parameter `*r->d`
  122.   	}
  123.   
  124. > int BN_lshift(BIGNUM *r, const BIGNUM *a, int n)
  125.   	{
  126.   	int i,nw,lb,rb;

crypto/bn/bn_div.c:253:8: Call
251.   	if (BN_ucmp(&wnum,sdiv) >= 0)
252.   		{
253.   		if (!BN_usub(&wnum,&wnum,sdiv)) goto err;
              ^
254.   		*resp=1;
255.   		res->d[res->top-1]=1;

crypto/bn/bn_add.c:168:1: <LHS trace>
166.   
167.   /* unsigned subtraction of b from a, a must be larger than b. */
168. > int BN_usub(BIGNUM *r, const BIGNUM *a, const BIGNUM *b)
169.   	{
170.   	int max,min;

crypto/bn/bn_add.c:168:1: Parameter `*a->d`
  166.   
  167.   /* unsigned subtraction of b from a, a must be larger than b. */
  168. > int BN_usub(BIGNUM *r, const BIGNUM *a, const BIGNUM *b)
  169.   	{
  170.   	int max,min;

crypto/bn/bn_add.c:227:4: Assignment
  225.   			{
  226.   			i++;
  227.   			t1= *(ap++);
            ^
  228.   			t2=(t1-1)&BN_MASK2;
  229.   			*(rp++)=t2;

crypto/bn/bn_add.c:228:4: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BN_usub` 
  226.   			i++;
  227.   			t1= *(ap++);
  228.   			t2=(t1-1)&BN_MASK2;
            ^
  229.   			*(rp++)=t2;
  230.   			if (t1 > t2) break;
