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


crypto/bn/bn_word.c:123:1: <LHS trace>
121.   }
122.   
123. > int BN_add_word(BIGNUM *a, BN_ULONG w)
124.   {
125.       BN_ULONG l;

crypto/bn/bn_word.c:123:1: Parameter `*a->d`
121.   }
122.   
123. > int BN_add_word(BIGNUM *a, BN_ULONG w)
124.   {
125.       BN_ULONG l;

crypto/bn/bn_word.c:123:1: <RHS trace>
121.   }
122.   
123. > int BN_add_word(BIGNUM *a, BN_ULONG w)
124.   {
125.       BN_ULONG l;

crypto/bn/bn_word.c:123:1: Parameter `w`
121.   }
122.   
123. > int BN_add_word(BIGNUM *a, BN_ULONG w)
124.   {
125.       BN_ULONG l;

crypto/bn/bn_word.c:129:5: Assignment
127.   
128.       bn_check_top(a);
129.       w &= BN_MASK2;
           ^
130.   
131.       /* degenerate case: w is zero */

crypto/bn/bn_word.c:146:19: Binary operation: ([0, max(18446744073709551615, *a->d)] + [1, 18446744073709551615]):unsigned64
144.       }
145.       for (i = 0; w != 0 && i < a->top; i++) {
146.           a->d[i] = l = (a->d[i] + w) & BN_MASK2;
                         ^
147.           w = (w > l) ? 1 : 0;
148.       }
