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


crypto/bn/bn_word.c:153:1: <LHS trace>
151.   	}
152.   
153. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
154.   	{
155.   	int i;

crypto/bn/bn_word.c:153:1: Parameter `*a->d`
151.   	}
152.   
153. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
154.   	{
155.   	int i;

crypto/bn/bn_word.c:153:1: <RHS trace>
151.   	}
152.   
153. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
154.   	{
155.   	int i;

crypto/bn/bn_word.c:153:1: Parameter `*a->d`
151.   	}
152.   
153. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
154.   	{
155.   	int i;

crypto/bn/bn_word.c:181:4: Binary operation: ([0, max(4294967295, *a->d)] - [1, 4294967295]):unsigned64
179.   		if (a->d[i] >= w)
180.   			{
181.   			a->d[i]-=w;
          ^
182.   			break;
183.   			}
