crypto/bn/bn_exp.c:274: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BN_RECP_CTX_set`.
Showing all 10 steps of the trace


crypto/bn/bn_exp.c:272:8: Call
270.   		{
271.   		/* ignore sign of 'm' */
272.   		if (!BN_copy(aa, m)) goto err;
              ^
273.   		aa->neg = 0;
274.   		if (BN_RECP_CTX_set(&recp,aa,ctx) <= 0) goto err;

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

crypto/bn/bn_exp.c:274:7: Call
272.   		if (!BN_copy(aa, m)) goto err;
273.   		aa->neg = 0;
274.   		if (BN_RECP_CTX_set(&recp,aa,ctx) <= 0) goto err;
             ^
275.   		}
276.   	else

crypto/bn/bn_recp.c:94:1: Parameter `d->top`
  92.   	}
  93.   
  94. > int BN_RECP_CTX_set(BN_RECP_CTX *recp, const BIGNUM *d, BN_CTX *ctx)
  95.   	{
  96.   	if (!BN_copy(&(recp->N),d)) return 0;

crypto/bn/bn_recp.c:96:7: Call
  94.   int BN_RECP_CTX_set(BN_RECP_CTX *recp, const BIGNUM *d, BN_CTX *ctx)
  95.   	{
  96.   	if (!BN_copy(&(recp->N),d)) return 0;
              ^
  97.   	BN_zero(&(recp->Nr));
  98.   	recp->num_bits=BN_num_bits(d);

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/bn_recp.c:98:17: Call
  96.   	if (!BN_copy(&(recp->N),d)) return 0;
  97.   	BN_zero(&(recp->Nr));
  98.   	recp->num_bits=BN_num_bits(d);
                         ^
  99.   	recp->shift=0;
  100.   	return(1);

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

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_lib.c:250:2: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BN_RECP_CTX_set` 
    248.   int BN_num_bits(const BIGNUM *a)
    249.   	{
    250.   	int i = a->top - 1;
            ^
    251.   	bn_check_top(a);
    252.   
