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


crypto/bn/bn_add.c:258:1: Parameter `*b->d`
256.   	}
257.   
258. > int BN_sub(BIGNUM *r, const BIGNUM *a, const BIGNUM *b)
259.   	{
260.   	int max;

crypto/bn/bn_add.c:295:6: Call
293.   	max=(a->top > b->top)?a->top:b->top;
294.   	if (bn_wexpand(r,max) == NULL) return(0);
295.   	if (BN_ucmp(a,b) < 0)
            ^
296.   		{
297.   		if (!BN_usub(r,b,a)) return(0);

crypto/bn/bn_lib.c:646:1: Parameter `*b->d`
  644.   	}
  645.   
  646. > int BN_ucmp(const BIGNUM *a, const BIGNUM *b)
  647.   	{
  648.   	int i;

crypto/bn/bn_add.c:297:8: Call
295.   	if (BN_ucmp(a,b) < 0)
296.   		{
297.   		if (!BN_usub(r,b,a)) return(0);
              ^
298.   		r->neg=1;
299.   		}

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

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

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

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