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


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

crypto/bn/bn_add.c:132:8: Unknown value from: bn_add_words
  130.   	rp=r->d;
  131.   
  132.   	carry=bn_add_words(rp,ap,bp,min);
                ^
  133.   	rp+=min;
  134.   	ap+=min;

crypto/bn/bn_mod.c:155:6: Call
153.   	{
154.   	if (!BN_uadd(r, a, b)) return 0;
155.   	if (BN_ucmp(r, m) >= 0)
            ^
156.   		return BN_usub(r, r, m);
157.   	return 1;

crypto/bn/bn_lib.c:641:1: Parameter `*a->d`
  639.   	}
  640.   
  641. > int BN_ucmp(const BIGNUM *a, const BIGNUM *b)
  642.   	{
  643.   	int i;

crypto/bn/bn_mod.c:156:10: Call
154.   	if (!BN_uadd(r, a, b)) return 0;
155.   	if (BN_ucmp(r, m) >= 0)
156.   		return BN_usub(r, r, m);
                ^
157.   	return 1;
158.   	}

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,dif;

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,dif;

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

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