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


crypto/dh/dh_ameth.c:316:1: Parameter `x->p->top`
314.   	}
315.   
316. > static int do_dh_print(BIO *bp, const DH *x, int indent,
317.   						ASN1_PCTX *ctx, int ptype)
318.   	{

crypto/dh/dh_ameth.c:337:2: Call
335.   		pub_key = NULL;
336.   
337.   	update_buflen(x->p, &buf_len);
        ^
338.   
339.   	if (buf_len == 0)

crypto/dh/dh_ameth.c:289:1: Parameter `b->top`
  287.   
  288.   
  289. > static void update_buflen(const BIGNUM *b, size_t *pbuflen)
  290.   	{
  291.   	size_t i;

crypto/dh/dh_ameth.c:364:45: Call
362.   
363.   	BIO_indent(bp, indent, 128);
364.   	if (BIO_printf(bp,"%s: (%d bit)\n", ktype, BN_num_bits(x->p)) <= 0)
                                                   ^
365.   		goto err;
366.   	indent += 4;

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, x->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.   
