crypto/bn/bn_rand.c:261: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BN_cmp`.
Showing all 5 steps of the trace


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:261:8: Call
259.   			 * Since  3*range = 11..._2, each iteration succeeds with
260.   			 * probability >= .75. */
261.   			if (BN_cmp(r ,range) >= 0)
              ^
262.   				{
263.   				if (!BN_sub(r, r, range)) return 0;

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_cmp` 
  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];
