ssl/s3_pkt.c:952: error: INTEGER_OVERFLOW_L2
  ([0, `s->ctx->sessions->num_items`] - 1):unsigned64 by call to `SSL_CTX_remove_session`.
Showing all 9 steps of the trace


ssl/s3_pkt.c:710:1: Parameter `s->ctx->sessions->num_items`
708.    *             none of our business
709.    */
710. > int ssl3_read_bytes(SSL *s, int type, unsigned char *buf, int len)
711.   	{
712.   	int al,i,j,n,ret;

ssl/s3_pkt.c:952:4: Call
950.   			ERR_add_error_data(2,"SSL alert number ",tmp);
951.   			s->shutdown|=SSL_RECEIVED_SHUTDOWN;
952.   			SSL_CTX_remove_session(s->ctx,s->session);
          ^
953.   			return(0);
954.   			}

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 `SSL_CTX_remove_session` 
      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)))
