ssl/s3_lib.c:2877: error: INTEGER_OVERFLOW_L2
  ([0, `s->cert->rsa_tmp->n->top`] - 1):unsigned64 by call to `ssl_set_cert_masks`.
Showing all 9 steps of the trace


ssl/s3_lib.c:2818:1: Parameter `s->cert->rsa_tmp->n->top`
2816.   	}
2817.   
2818. > SSL_CIPHER *ssl3_choose_cipher(SSL *s, STACK_OF(SSL_CIPHER) *clnt,
2819.   	     STACK_OF(SSL_CIPHER) *srvr)
2820.   	{

ssl/s3_lib.c:2877:3: Call
2875.   		c=sk_SSL_CIPHER_value(prio,i);
2876.   
2877.   		ssl_set_cert_masks(cert,c);
          ^
2878.   		mask_k = cert->mask_k;
2879.   		mask_a = cert->mask_a;

ssl/ssl_lib.c:1754:1: Parameter `c->rsa_tmp->n->top`
  1752.   	}
  1753.   
  1754. > void ssl_set_cert_masks(CERT *c, const SSL_CIPHER *cipher)
  1755.   	{
  1756.   	CERT_PKEY *cpk;

ssl/ssl_lib.c:1776:15: Call
  1774.   	rsa_tmp=(c->rsa_tmp != NULL || c->rsa_tmp_cb != NULL);
  1775.   	rsa_tmp_export=(c->rsa_tmp_cb != NULL ||
  1776.   		(rsa_tmp && RSA_size(c->rsa_tmp)*8 <= kl));
                        ^
  1777.   #else
  1778.   	rsa_tmp=rsa_tmp_export=0;

crypto/rsa/rsa_lib.c:274:1: Parameter `r->n->top`
    272.   	}
    273.   
    274. > int RSA_size(const RSA *r)
    275.   	{
    276.   	return(BN_num_bytes(r->n));

crypto/rsa/rsa_lib.c:276:9: Call
    274.   int RSA_size(const RSA *r)
    275.   	{
    276.   	return(BN_num_bytes(r->n));
                   ^
    277.   	}
    278.   

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