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


ssl/ssl_sess.c:188:1: Parameter `s->ctx->sessions->num_items`
186.   	}
187.   
188. > int ssl_get_prev_session(SSL *s, unsigned char *session_id, int len)
189.   	{
190.   	/* This is used only by servers. */

ssl/ssl_sess.c:301:3: Call
299.   		s->ctx->stats.sess_timeout++;
300.   		/* remove it from the cache */
301.   		SSL_CTX_remove_session(s->ctx,ret);
         ^
302.   		goto err;
303.   		}

ssl/ssl_sess.c:370:1: Parameter `ctx->sessions->num_items`
  368.   	}
  369.   
  370. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
  371.   {
  372.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:372:9: Call
  370.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
  371.   {
  372.   	return remove_session_lock(ctx, c, 1);
                 ^
  373.   }
  374.   

ssl/ssl_sess.c:375:1: Parameter `ctx->sessions->num_items`
    373.   }
    374.   
    375. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
    376.   	{
    377.   	SSL_SESSION *r;

ssl/ssl_sess.c:383:20: Call
    381.   		{
    382.   		if(lck) CRYPTO_w_lock(CRYPTO_LOCK_SSL_CTX);
    383.   		r=(SSL_SESSION *)lh_delete(ctx->sessions,(char *)c);
                              ^
    384.   		if (r != NULL)
    385.   			{

crypto/lhash/lhash.c:220:1: <LHS trace>
218.   	}
219.   
220. > char *lh_delete(LHASH *lh, char *data)
221.   	{
222.   	unsigned long hash;

crypto/lhash/lhash.c:220:1: Parameter `lh->num_items`
      218.   	}
      219.   
      220. > char *lh_delete(LHASH *lh, char *data)
      221.   	{
      222.   	unsigned long hash;

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