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


crypto/bn/bn_prime.c:415:7: Call
413.   	if ((t1 = BN_CTX_get(ctx)) == NULL) goto err;
414.   
415.   	if (!BN_rand(rnd,bits,0,1)) goto err;
             ^
416.   
417.   	/* we need ((rnd-rem) % add) == 0 */

crypto/bn/bn_rand.c:213:9: Call
  211.   int     BN_rand(BIGNUM *rnd, size_t bits, int top, int bottom)
  212.   	{
  213.   	return bnrand(0, rnd, bits, top, bottom);
                 ^
  214.   	}
  215.   

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/bn_prime.c:419:7: Call
417.   	/* we need ((rnd-rem) % add) == 0 */
418.   
419.   	if (!BN_mod(t1,rnd,add,ctx)) goto err;
             ^
420.   	if (!BN_sub(rnd,rnd,t1)) goto err;
421.   	if (rem == NULL)

crypto/bn/bn_div.c:181:1: Parameter `num->top`
  179.   static int BN_div_no_branch(BIGNUM *dv, BIGNUM *rm, const BIGNUM *num,
  180.           const BIGNUM *divisor, BN_CTX *ctx);
  181. > int BN_div(BIGNUM *dv, BIGNUM *rm, const BIGNUM *num, const BIGNUM *divisor,
  182.   	   BN_CTX *ctx)
  183.   	{

crypto/bn/bn_div.c:218:6: Call
  216.   		}
  217.   
  218.   	if (BN_ucmp(num,divisor) < 0)
              ^
  219.   		{
  220.   		if (rm != NULL)

crypto/bn/bn_lib.c:656:1: <LHS trace>
654.   	}
655.   
656. > int BN_ucmp(const BIGNUM *a, const BIGNUM *b)
657.   	{
658.   	int i;

crypto/bn/bn_lib.c:656:1: Parameter `a->top`
    654.   	}
    655.   
    656. > int BN_ucmp(const BIGNUM *a, const BIGNUM *b)
    657.   	{
    658.   	int i;

crypto/bn/bn_lib.c:668:7: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BN_div` 
    666.   	ap=a->d;
    667.   	bp=b->d;
    668.   	for (i=a->top-1; i>=0; i--)
                 ^
    669.   		{
    670.   		t1= ap[i];
