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


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

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

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

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

crypto/bn/bn_word.c:132:2: Assignment
130.   
131.   	bn_check_top(a);
132.   	w &= BN_MASK2;
        ^
133.   
134.   	/* degenerate case: w is zero */

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