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


crypto/bn/bn_mod.c:256:1: Parameter `r->top`
254.   /* BN_mod_lshift variant that may be used if  a  is non-negative
255.    * and less than  m */
256. > int BN_mod_lshift_quick(BIGNUM *r, const BIGNUM *a, int n, const BIGNUM *m)
257.   	{
258.   	if (r != a)

crypto/bn/bn_mod.c:268:32: Call
266.   		
267.   		/* 0 < r < m */
268.   		max_shift = BN_num_bits(m) - BN_num_bits(r);
                                      ^
269.   		/* max_shift >= 0 */
270.   

crypto/bn/bn_lib.c:248:1: Parameter `a->top`
  246.   	}
  247.   
  248. > int BN_num_bits(const BIGNUM *a)
  249.   	{
  250.   	int i = a->top - 1;

crypto/bn/bn_mod.c:282:9: Call
280.   		if (max_shift)
281.   			{
282.   			if (!BN_lshift(r, r, max_shift)) return 0;
               ^
283.   			n -= max_shift;
284.   			}

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
