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


crypto/bn/bn_nist.c:755:2: Call
753.   	if (!bn_wexpand(tmp, BN_NIST_521_TOP))
754.   		goto err;
755.   	nist_cp_bn(tmp->d, a->d, BN_NIST_521_TOP);
        ^
756.   
757.   	tmp->top = BN_NIST_521_TOP;

crypto/bn/bn_nist.c:241:1: Parameter `*buf`
  239.   	}
  240.   
  241. > static void nist_cp_bn(BN_ULONG *buf, BN_ULONG *a, int top)
  242.   	{ 
  243.   	int i;

crypto/bn/bn_nist.c:769:8: Call
767.   	if (BN_ucmp(field, r) <= 0)
768.   		{
769.   		if (!BN_usub(r, r, field)) goto err;
              ^
770.   		}
771.   

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, +oo] - 1):unsigned32 by call to `BN_usub` 
  228.   			dif--;
  229.   			t1 = *(ap++);
  230.   			t2 = (t1-1)&BN_MASK2;
            ^
  231.   			*(rp++) = t2;
  232.   			if (t1)
