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


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

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

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

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

crypto/bn/bn_word.c:195:13: Binary operation: ([0, max(18446744073709551615, *a->d)] - [1, 18446744073709551615]):unsigned64
193.               break;
194.           } else {
195.               a->d[i] = (a->d[i] - w) & BN_MASK2;
                   ^
196.               i++;
197.               w = 1;
