crypto/bn/bn_recp.c:185: error: INTEGER_OVERFLOW_L2
  ([0, `*m->d`] - 1):unsigned64 by call to `BN_usub`.
Showing all 10 steps of the trace


crypto/bn/bn_recp.c:130:1: Parameter `*m->d`
128.   	}
129.   
130. > int BN_div_recp(BIGNUM *dv, BIGNUM *rem, const BIGNUM *m,
131.   	BN_RECP_CTX *recp, BN_CTX *ctx)
132.   	{

crypto/bn/bn_recp.c:149:6: Call
147.   	if (a == NULL || b == NULL || d == NULL || r == NULL) goto err;
148.   
149.   	if (BN_ucmp(m,&(recp->N)) < 0)
            ^
150.   		{
151.   		if (!BN_zero(d)) return 0;

crypto/bn/bn_lib.c:718:1: Parameter `*a->d`
  716.   	}
  717.   
  718. > int BN_ucmp(const BIGNUM *a, const BIGNUM *b)
  719.   	{
  720.   	int i;

crypto/bn/bn_recp.c:164:4: Call
162.   
163.   	/* i := max(BN_num_bits(m), 2*BN_num_bits(N)) */
164.   	i=BN_num_bits(m);
          ^
165.   	j=recp->num_bits<<1;
166.   	if (j>i) i=j;

crypto/bn/bn_lib.c:245:1: Parameter `*a->d`
  243.   	}
  244.   
  245. > int BN_num_bits(const BIGNUM *a)
  246.   	{
  247.   	int i = a->top - 1;

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

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

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

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

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