crypto/ec/ecp_smpl.c:938: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BN_usub`.
Showing all 5 steps of the trace


crypto/ec/ecp_smpl.c:938:9: Call
936.   		return 1;
937.   	
938.   	return BN_usub(point->Y, group->field, point->Y);
               ^
939.   	}
940.   

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:226:4: Assignment
  224.   			{
  225.   			dif--;
  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.   			dif--;
  226.   			t1 = *(ap++);
  227.   			t2 = (t1-1)&BN_MASK2;
            ^
  228.   			*(rp++) = t2;
  229.   			if (t1)
