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


crypto/bn/bn_recp.c:184:7: Call
182.   
183.   	if (!BN_mul(b,&(recp->N),d,ctx)) goto err;
184.   	if (!BN_usub(r,m,b)) goto err;
             ^
185.   	r->neg=0;
186.   

crypto/bn/bn_add.c:168:1: Parameter `*r->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_recp.c:189:9: Call
187.   #if 1
188.   	j=0;
189.   	while (BN_ucmp(r,&(recp->N)) >= 0)
               ^
190.   		{
191.   		if (j++ > 2)

crypto/bn/bn_lib.c:707:1: Parameter `*a->d`
  705.   	}
  706.   
  707. > int BN_ucmp(const BIGNUM *a, const BIGNUM *b)
  708.   	{
  709.   	int i;

crypto/bn/bn_recp.c:196:8: Call
194.   			goto err;
195.   			}
196.   		if (!BN_usub(r,r,&(recp->N))) goto err;
              ^
197.   		if (!BN_add_word(d,1)) goto err;
198.   		}

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;
