ssl/s3_srvr.c:1540: error: INTEGER_OVERFLOW_L2
  ([0, `s->ctx->sessions->num_items`] - 1):unsigned64 by call to `ssl3_send_alert`.
Showing all 13 steps of the trace


ssl/s3_srvr.c:1409:1: Parameter `s->ctx->sessions->num_items`
1407.   	}
1408.   
1409. > static int ssl3_get_cert_verify(SSL *s)
1410.   	{
1411.   	EVP_PKEY *pkey=NULL;

ssl/s3_srvr.c:1418:4: Call
1416.   	X509 *peer;
1417.   
1418.   	n=ssl3_get_message(s,
           ^
1419.   		SSL3_ST_SR_CERT_VRFY_A,
1420.   		SSL3_ST_SR_CERT_VRFY_B,

ssl/s3_both.c:264:1: Parameter `s->ctx->sessions->num_items`
  262.    * the body is read in state 'stn'.
  263.    */
  264. > long ssl3_get_message(SSL *s, int st1, int stn, int mt, long max, int *ok)
  265.   	{
  266.   	unsigned char *p;

ssl/s3_srvr.c:1540:3: Call
1538.   		{
1539.   f_err:
1540.   		ssl3_send_alert(s,SSL3_AL_FATAL,al);
          ^
1541.   		}
1542.   end:

ssl/s3_pkt.c:1037:1: Parameter `s->ctx->sessions->num_items`
  1035.   	}
  1036.   
  1037. > void ssl3_send_alert(SSL *s, int level, int desc)
  1038.   	{
  1039.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1044:3: Call
  1042.   	/* If a fatal one, remove from cache */
  1043.   	if ((level == 2) && (s->session != NULL))
  1044.   		SSL_CTX_remove_session(s->ctx,s->session);
            ^
  1045.   
  1046.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:413:1: Parameter `ctx->sessions->num_items`
    411.   	}
    412.   
    413. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
    414.   {
    415.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:415:9: Call
    413.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
    414.   {
    415.   	return remove_session_lock(ctx, c, 1);
                   ^
    416.   }
    417.   

ssl/ssl_sess.c:418:1: Parameter `ctx->sessions->num_items`
      416.   }
      417.   
      418. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
      419.   	{
      420.   	SSL_SESSION *r;

ssl/ssl_sess.c:426:20: Call
      424.   		{
      425.   		if(lck) CRYPTO_w_lock(CRYPTO_LOCK_SSL_CTX);
      426.   		r=(SSL_SESSION *)lh_delete(ctx->sessions,c);
                                ^
      427.   		if (r != NULL)
      428.   			{

crypto/lhash/lhash.c:217:1: <LHS trace>
215.   	}
216.   
217. > void *lh_delete(LHASH *lh, void *data)
218.   	{
219.   	unsigned long hash;

crypto/lhash/lhash.c:217:1: Parameter `lh->num_items`
        215.   	}
        216.   
        217. > void *lh_delete(LHASH *lh, void *data)
        218.   	{
        219.   	unsigned long hash;

crypto/lhash/lhash.c:240:2: Binary operation: ([0, s->ctx->sessions->num_items] - 1):unsigned64 by call to `ssl3_send_alert` 
        238.   		}
        239.   
        240.   	lh->num_items--;
                ^
        241.   	if ((lh->num_nodes > MIN_NODES) &&
        242.   		(lh->down_load >= (lh->num_items*LH_LOAD_MULT/lh->num_nodes)))
