crypto/bn/bn_word.c:204: error: INTEGER_OVERFLOW_L2
  ([0, max(18446744073709551615, `*a->d`)] - [1, 18446744073709551615]):unsigned64.
Showing all 5 steps of the trace


crypto/bn/bn_word.c:162:1: <LHS trace>
160.   	}
161.   
162. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
163.   	{
164.   	int i;

crypto/bn/bn_word.c:162:1: Parameter `*a->d`
160.   	}
161.   
162. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
163.   	{
164.   	int i;

crypto/bn/bn_word.c:162:1: <RHS trace>
160.   	}
161.   
162. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
163.   	{
164.   	int i;

crypto/bn/bn_word.c:162:1: Parameter `*a->d`
160.   	}
161.   
162. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
163.   	{
164.   	int i;

crypto/bn/bn_word.c:204:4: Binary operation: ([0, max(18446744073709551615, *a->d)] - [1, 18446744073709551615]):unsigned64
202.   		else
203.   			{
204.   			a->d[i]=(a->d[i]-w)&BN_MASK2;
          ^
205.   			i++;
206.   			w=1;
