crypto/bn/bntest.c:429: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BN_lshift`.
Showing all 9 steps of the trace


crypto/bn/bntest.c:427:4: Call
425.   		if (i < num1)
426.   			{
427.   			BN_bntest_rand(&a,400,0,0);
          ^
428.   			BN_copy(&b,&a);
429.   			BN_lshift(&a,&a,i);

crypto/bn/bn_rand.c:224:9: Call
  222.   int     BN_bntest_rand(BIGNUM *rnd, size_t bits, int top, int bottom)
  223.   	{
  224.   	return bnrand(2, rnd, bits, top, bottom);
                 ^
  225.   	}
  226.   #endif

crypto/bn/bn_rand.c:118:1: Parameter `rnd->top`
    116.   #include <openssl/rand.h>
    117.   
    118. > static int bnrand(int pseudorand, BIGNUM *rnd, int bits, int top, int bottom)
    119.   	{
    120.   	unsigned char *buf=NULL;

crypto/bn/bntest.c:428:4: Call
426.   			{
427.   			BN_bntest_rand(&a,400,0,0);
428.   			BN_copy(&b,&a);
          ^
429.   			BN_lshift(&a,&a,i);
430.   			BN_add_word(&a,i);

crypto/bn/bn_lib.c:497:1: Parameter `a->dmax`
  495.   	}
  496.   
  497. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
  498.   	{
  499.   	int i;

crypto/bn/bntest.c:429:4: Call
427.   			BN_bntest_rand(&a,400,0,0);
428.   			BN_copy(&b,&a);
429.   			BN_lshift(&a,&a,i);
          ^
430.   			BN_add_word(&a,i);
431.   			}

crypto/bn/bn_shift.c:132:1: <LHS trace>
130.   	}
131.   
132. > int BN_lshift(BIGNUM *r, const BIGNUM *a, int n)
133.   	{
134.   	int i,nw,lb,rb;

crypto/bn/bn_shift.c:132:1: Parameter `a->top`
  130.   	}
  131.   
  132. > int BN_lshift(BIGNUM *r, const BIGNUM *a, int n)
  133.   	{
  134.   	int i,nw,lb,rb;

crypto/bn/bn_shift.c:150:8: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BN_lshift` 
  148.   	t[a->top+nw]=0;
  149.   	if (lb == 0)
  150.   		for (i=a->top-1; i>=0; i--)
                ^
  151.   			t[nw+i]=f[i];
  152.   	else
