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


crypto/bn/bn_word.c:171:1: <LHS trace>
169.   	}
170.   
171. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
172.   	{
173.   	int i;

crypto/bn/bn_word.c:171:1: Parameter `*a->d`
169.   	}
170.   
171. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
172.   	{
173.   	int i;

crypto/bn/bn_word.c:171:1: <RHS trace>
169.   	}
170.   
171. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
172.   	{
173.   	int i;

crypto/bn/bn_word.c:171:1: Parameter `*a->d`
169.   	}
170.   
171. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
172.   	{
173.   	int i;

crypto/bn/bn_word.c:213:4: Binary operation: ([0, max(4294967295, *a->d)] - [1, 4294967295]):unsigned32
211.   		else
212.   			{
213.   			a->d[i]=(a->d[i]-w)&BN_MASK2;
          ^
214.   			i++;
215.   			w=1;
