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


crypto/dsa/dsa_ameth.c:422:1: Parameter `x->p->top`
420.   	}
421.   
422. > static int do_dsa_print(BIO *bp, const DSA *x, int off, int ptype)
423.   	{
424.   	unsigned char *m=NULL;

crypto/dsa/dsa_ameth.c:448:2: Call
446.   		ktype = "DSA-Parameters";
447.   
448.   	update_buflen(x->p, &buf_len);
        ^
449.   	update_buflen(x->q, &buf_len);
450.   	update_buflen(x->g, &buf_len);

crypto/dsa/dsa_ameth.c:413:1: Parameter `b->top`
  411.   	}
  412.   
  413. > static void update_buflen(const BIGNUM *b, size_t *pbuflen)
  414.   	{
  415.   	size_t i;

crypto/dsa/dsa_ameth.c:465:45: Call
463.   		if(!BIO_indent(bp,off,128))
464.   		   goto err;
465.   		if (BIO_printf(bp,"%s: (%d bit)\n",ktype, BN_num_bits(x->p))
                                                   ^
466.   			<= 0) goto err;
467.   		}

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.   
