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


crypto/bn/bn_mod.c:152:7: Call
150.   int BN_mod_add_quick(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const BIGNUM *m)
151.   	{
152.   	if (!BN_add(r, a, b)) return 0;
             ^
153.   	if (BN_ucmp(r, m) >= 0)
154.   		return BN_usub(r, r, m);

crypto/bn/bn_add.c:87:9: Call
  85.   		if (BN_ucmp(a,b) < 0)
  86.   			{
  87.   			if (!BN_usub(r,b,a)) return(0);
                ^
  88.   			r->neg=1;
  89.   			}

crypto/bn/bn_add.c:166:1: Parameter `*r->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_mod.c:153:6: Call
151.   	{
152.   	if (!BN_add(r, a, b)) return 0;
153.   	if (BN_ucmp(r, m) >= 0)
            ^
154.   		return BN_usub(r, r, m);
155.   	return 1;

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_mod.c:154:10: Call
152.   	if (!BN_add(r, a, b)) return 0;
153.   	if (BN_ucmp(r, m) >= 0)
154.   		return BN_usub(r, r, m);
                ^
155.   	return 1;
156.   	}

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