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


crypto/bn/bn_word.c:74:1: <LHS trace>
72.   }
73.   
74. > int BN_add_word(BIGNUM *a, BN_ULONG w)
75.   {
76.       BN_ULONG l;

crypto/bn/bn_word.c:74:1: Parameter `*a->d`
72.   }
73.   
74. > int BN_add_word(BIGNUM *a, BN_ULONG w)
75.   {
76.       BN_ULONG l;

crypto/bn/bn_word.c:74:1: <RHS trace>
72.   }
73.   
74. > int BN_add_word(BIGNUM *a, BN_ULONG w)
75.   {
76.       BN_ULONG l;

crypto/bn/bn_word.c:74:1: Parameter `w`
72.   }
73.   
74. > int BN_add_word(BIGNUM *a, BN_ULONG w)
75.   {
76.       BN_ULONG l;

crypto/bn/bn_word.c:80:5: Assignment
78.   
79.       bn_check_top(a);
80.       w &= BN_MASK2;
          ^
81.   
82.       /* degenerate case: w is zero */

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