crypto/bn/bn_print.c:265: error: INTEGER_OVERFLOW_L2
  ([1, 4294967295] - [0, max(4294967295, `*(*bn)->d`)]):unsigned64 by call to `BN_add_word`.
Showing all 11 steps of the trace


crypto/bn/bn_print.c:256:2: Assignment
254.   	j=BN_DEC_NUM-(i%BN_DEC_NUM);
255.   	if (j == BN_DEC_NUM) j=0;
256.   	l=0;
        ^
257.   	while (*a)
258.   		{

crypto/bn/bn_print.c:259:3: Assignment
257.   	while (*a)
258.   		{
259.   		l*=10;
         ^
260.   		l+= *a-'0';
261.   		a++;

crypto/bn/bn_print.c:260:3: Assignment
258.   		{
259.   		l*=10;
260.   		l+= *a-'0';
         ^
261.   		a++;
262.   		if (++j == BN_DEC_NUM)

crypto/bn/bn_print.c:265:4: Call
263.   			{
264.   			BN_mul_word(ret,BN_DEC_CONV);
265.   			BN_add_word(ret,l);
          ^
266.   			l=0;
267.   			j=0;

crypto/bn/bn_word.c:108:1: Parameter `w`
  106.   	}
  107.   
  108. > int BN_add_word(BIGNUM *a, BN_ULONG w)
  109.   	{
  110.   	BN_ULONG l;

crypto/bn/bn_word.c:116:5: Call
  114.   		{
  115.   		a->neg=0;
  116.   		i=BN_sub_word(a,w);
             ^
  117.   		if (!BN_is_zero(a))
  118.   			a->neg=1;

crypto/bn/bn_word.c:139:1: <LHS trace>
137.   	}
138.   
139. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
140.   	{
141.   	int i;

crypto/bn/bn_word.c:139:1: Parameter `*a->d`
    137.   	}
    138.   
    139. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
    140.   	{
    141.   	int i;

crypto/bn/bn_word.c:139:1: <RHS trace>
137.   	}
138.   
139. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
140.   	{
141.   	int i;

crypto/bn/bn_word.c:139:1: Parameter `*a->d`
    137.   	}
    138.   
    139. > int BN_sub_word(BIGNUM *a, BN_ULONG w)
    140.   	{
    141.   	int i;

crypto/bn/bn_word.c:154:3: Binary operation: ([1, 4294967295] - [0, max(4294967295, *(*bn)->d)]):unsigned64 by call to `BN_add_word` 
    152.   	if ((a->top == 1) && (a->d[0] < w))
    153.   		{
    154.   		a->d[0]=w-a->d[0];
             ^
    155.   		a->neg=1;
    156.   		return(1);
