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


crypto/bn/bntest.c:746:3: Call
744.   		if (bits == 0)
745.   			continue;
746.   		BN_bntest_rand(&n,bits,0,1);
         ^
747.   		BN_MONT_CTX_set(mont,&n,ctx);
748.   

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:747:3: Call
745.   			continue;
746.   		BN_bntest_rand(&n,bits,0,1);
747.   		BN_MONT_CTX_set(mont,&n,ctx);
         ^
748.   
749.   		BN_nnmod(&a,&a,&n,ctx);

crypto/bn/bn_mont.c:413:1: Parameter `mod->top`
  411.   	}
  412.   
  413. > int BN_MONT_CTX_set(BN_MONT_CTX *mont, const BIGNUM *mod, BN_CTX *ctx)
  414.   	{
  415.   	int ret = 0;

crypto/bn/bn_mont.c:421:7: Call
  419.   	if((Ri = BN_CTX_get(ctx)) == NULL) goto err;
  420.   	R= &(mont->RR);					/* grab RR as a temp */
  421.   	if (!BN_copy(&(mont->N),mod)) goto err;		/* Set N */
               ^
  422.   	mont->N.neg = 0;
  423.   

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_mont.c:434:13: Call
  432.   		tmod.neg=0;
  433.   
  434.   		mont->ri=(BN_num_bits(mod)+(BN_BITS2-1))/BN_BITS2*BN_BITS2;
                     ^
  435.   
  436.   #if defined(OPENSSL_BN_ASM_MONT) && (BN_BITS2<=32)

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