crypto/bn/bn_mod.c:154: error: INTEGER_OVERFLOW_L2
  ([-`*m->d`, +oo] - 1):unsigned32 by call to `BN_usub`.
Showing all 8 steps of the trace


crypto/bn/bn_mod.c:150:1: Parameter `*m->d`
148.   /* BN_mod_add variant that may be used if both  a  and  b  are non-negative
149.    * and less than  m */
150. > int BN_mod_add_quick(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const BIGNUM *m)
151.   	{
152.   	if (!BN_uadd(r, a, b)) return 0;

crypto/bn/bn_mod.c:153:6: Call
151.   	{
152.   	if (!BN_uadd(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:656:1: Parameter `*b->d`
  654.   	}
  655.   
  656. > int BN_ucmp(const BIGNUM *a, const BIGNUM *b)
  657.   	{
  658.   	int i;

crypto/bn/bn_mod.c:154:10: Call
152.   	if (!BN_uadd(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.   	size_t 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.   	size_t max,min,dif;

crypto/bn/bn_add.c:198:3: Assignment
  196.   	for (i = min; i != 0; i--)
  197.   		{
  198.   		t1= *(ap++);
           ^
  199.   		t2= *(bp++);
  200.   		if (carry)

crypto/bn/bn_add.c:203:4: Binary operation: ([-*m->d, +oo] - 1):unsigned32 by call to `BN_usub` 
  201.   			{
  202.   			carry=(t1 <= t2);
  203.   			t1=(t1-t2-1)&BN_MASK2;
            ^
  204.   			}
  205.   		else
