crypto/dh/dh_key.c:141: error: INTEGER_OVERFLOW_L2
  ([0, `dh->p->top`] - 1):unsigned64 by call to `BN_num_bits`.
Showing all 5 steps of the trace


crypto/dh/dh_key.c:101:1: Parameter `dh->p->top`
99.   }
100.   
101. > static int generate_key(DH *dh)
102.   	{
103.   	int ok=0;

crypto/dh/dh_key.c:141:33: Call
139.   	if (generate_new_key)
140.   		{
141.   		l = dh->length ? dh->length : BN_num_bits(dh->p)-1; /* secret exponent length */
                                       ^
142.   		if (!BN_rand(priv_key, l, 0, 0)) goto err;
143.   		}

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, dh->p->top] - 1):unsigned64 by call to `BN_num_bits` 
  248.   int BN_num_bits(const BIGNUM *a)
  249.   	{
  250.   	int i = a->top - 1;
          ^
  251.   	bn_check_top(a);
  252.   
