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


ssl/ssl_sess.c:189:1: Parameter `s->ctx->sessions->num_items`
187.   	}
188.   
189. > int ssl_get_prev_session(SSL *s, unsigned char *session_id, int len)
190.   	{
191.   	SSL_SESSION *ret=NULL,data;

ssl/ssl_sess.c:263:3: Call
261.   		s->ctx->stats.sess_timeout++;
262.   		/* remove it from the cache */
263.   		SSL_CTX_remove_session(s->ctx,ret);
         ^
264.   		SSL_SESSION_free(ret);		/* again to actually Free it */
265.   		return(0);

ssl/ssl_sess.c:325:1: Parameter `ctx->sessions->num_items`
  323.   	}
  324.   
  325. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
  326.   	{
  327.   	SSL_SESSION *r;

ssl/ssl_sess.c:333:20: Call
  331.   		{
  332.   		CRYPTO_w_lock(CRYPTO_LOCK_SSL_CTX);
  333.   		r=(SSL_SESSION *)lh_delete(ctx->sessions,(char *)c);
                            ^
  334.   		if (r != NULL)
  335.   			{

crypto/lhash/lhash.c:231:1: <LHS trace>
229.   	}
230.   
231. > char *lh_delete(LHASH *lh, char *data)
232.   	{
233.   	unsigned long hash;

crypto/lhash/lhash.c:231:1: Parameter `lh->num_items`
    229.   	}
    230.   
    231. > char *lh_delete(LHASH *lh, char *data)
    232.   	{
    233.   	unsigned long hash;

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