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


crypto/bn/bn_prime.c:243:1: Parameter `a->top`
241.   	}
242.   
243. > int BN_is_prime_fasttest_ex(const BIGNUM *a, int checks, BN_CTX *ctx_passed,
244.   		int do_trial_division, BN_GENCB *cb)
245.   	{

crypto/bn/bn_prime.c:253:6: Call
251.   	const BIGNUM *A = NULL;
252.   
253.   	if (BN_cmp(a, BN_value_one()) <= 0)
            ^
254.   		return 0;
255.   	

crypto/bn/bn_lib.c:678:1: Parameter `a->top`
  676.   	}
  677.   
  678. > int BN_cmp(const BIGNUM *a, const BIGNUM *b)
  679.   	{
  680.   	int i;

crypto/bn/bn_prime.c:296:7: Call
294.   
295.   	/* compute A1 := A - 1 */
296.   	if (!BN_copy(A1, A))
             ^
297.   		goto err;
298.   	if (!BN_sub_word(A1, 1))

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_prime.c:317:7: Call
315.   	if (mont == NULL)
316.   		goto err;
317.   	if (!BN_MONT_CTX_set(mont, A, ctx))
             ^
318.   		goto err;
319.   	

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_prime.c:322:8: Call
320.   	for (i = 0; i < checks; i++)
321.   		{
322.   		if (!BN_pseudo_rand_range(check, A1))
              ^
323.   			goto err;
324.   		if (!BN_add_word(check, 1))

crypto/bn/bn_rand.c:303:1: Parameter `r->top`
  301.   	}
  302.   
  303. > int	BN_pseudo_rand_range(BIGNUM *r, const BIGNUM *range)
  304.   	{
  305.   	return bn_rand_range(1, r, range);

crypto/bn/bn_rand.c:305:9: Call
  303.   int	BN_pseudo_rand_range(BIGNUM *r, const BIGNUM *range)
  304.   	{
  305.   	return bn_rand_range(1, r, range);
                 ^
  306.   	}

crypto/bn/bn_rand.c:230:1: Parameter `r->top`
    228.   
    229.   /* random number r:  0 <= r < range */
    230. > static int bn_rand_range(int pseudo, BIGNUM *r, const BIGNUM *range)
    231.   	{
    232.   	int (*bn_rand)(BIGNUM *, size_t, int, int)

crypto/bn/bn_rand.c:290:10: Call
    288.   				}
    289.   			}
    290.   		while (BN_cmp(r, range) >= 0);
                    ^
    291.   		}
    292.   

crypto/bn/bn_lib.c:678:1: <LHS trace>
676.   	}
677.   
678. > int BN_cmp(const BIGNUM *a, const BIGNUM *b)
679.   	{
680.   	int i;

crypto/bn/bn_lib.c:678:1: Parameter `a->top`
      676.   	}
      677.   
      678. > int BN_cmp(const BIGNUM *a, const BIGNUM *b)
      679.   	{
      680.   	int i;

crypto/bn/bn_lib.c:709:7: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BN_pseudo_rand_range` 
      707.   	if (a->top > b->top) return(gt);
      708.   	if (a->top < b->top) return(lt);
      709.   	for (i=a->top-1; i>=0; i--)
                   ^
      710.   		{
      711.   		t1=a->d[i];
