crypto/rsa/rsa_ameth.c:212: error: INTEGER_OVERFLOW_L2
  ([0, `x->n->top`] - 1):unsigned64 by call to `BN_num_bits`.
Showing all 7 steps of the trace


crypto/rsa/rsa_ameth.c:183:1: Parameter `x->n->top`
181.   	}
182.   
183. > static int do_rsa_print(BIO *bp, const RSA *x, int off, int priv)
184.   	{
185.   	char *str;

crypto/rsa/rsa_ameth.c:191:2: Call
189.   	size_t buf_len=0;
190.   
191.   	update_buflen(x->n, &buf_len);
        ^
192.   	update_buflen(x->e, &buf_len);
193.   

crypto/rsa/rsa_ameth.c:174:1: Parameter `b->top`
  172.   
  173.   
  174. > static void update_buflen(const BIGNUM *b, size_t *pbuflen)
  175.   	{
  176.   	size_t i;

crypto/rsa/rsa_ameth.c:212:13: Call
210.   
211.   	if (x->n != NULL)
212.   		mod_len = BN_num_bits(x->n);
                   ^
213.   
214.   	if(!BIO_indent(bp,off,128))

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->n->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.   
