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


crypto/bn/bntest.c:1030:3: Call
1028.   		{
1029.   		BN_bntest_rand(a,20+i*5,0,0); /**/
1030.   		BN_bntest_rand(b,2+i,0,0); /**/
          ^
1031.   
1032.   		if (!BN_exp(d,a,b,ctx))

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:1032:8: Call
1030.   		BN_bntest_rand(b,2+i,0,0); /**/
1031.   
1032.   		if (!BN_exp(d,a,b,ctx))
               ^
1033.   			return(00);
1034.   

crypto/bn/bn_exp.c:120:1: Parameter `p->top`
  118.   
  119.   /* this one works - simple but works */
  120. > int BN_exp(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, BN_CTX *ctx)
  121.   	{
  122.   	int i,bits,ret=0;

crypto/bn/bn_exp.c:140:7: Call
  138.   
  139.   	if (BN_copy(v,a) == NULL) goto err;
  140.   	bits=BN_num_bits(p);
               ^
  141.   
  142.   	if (BN_is_odd(p))

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_exp` 
    248.   int BN_num_bits(const BIGNUM *a)
    249.   	{
    250.   	int i = a->top - 1;
            ^
    251.   	bn_check_top(a);
    252.   
