ssl/ssl_sess.c:597: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `timeout`.
Showing all 6 steps of the trace


ssl/ssl_sess.c:597:8: Call
595.   	}
596.   
597.   static IMPLEMENT_LHASH_DOALL_ARG_FN(timeout, SSL_SESSION *, TIMEOUT_PARAM *)
              ^
598.   
599.   void SSL_CTX_flush_sessions(SSL_CTX *s, long t)

ssl/ssl_sess.c:582:1: Parameter `p->cache->num_items`
  580.   	} TIMEOUT_PARAM;
  581.   
  582. > static void timeout(SSL_SESSION *s, TIMEOUT_PARAM *p)
  583.   	{
  584.   	if ((p->time == 0) || (p->time > (s->time+s->timeout))) /* timeout */

ssl/ssl_sess.c:588:3: Call
  586.   		/* The reason we don't call SSL_CTX_remove_session() is to
  587.   		 * save on locking overhead */
  588.   		lh_delete(p->cache,s);
           ^
  589.   		SSL_SESSION_list_remove(p->ctx,s);
  590.   		s->not_resumable=1;

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

crypto/lhash/lhash.c:240:2: Binary operation: ([0, +oo] - 1):unsigned64 by call to `timeout` 
    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)))

void *lh_delete(LHASH *lh, const void *data)
	{
	unsigned long hash;
	LHASH_NODE *nn,**rn;
	const void *ret;
	lh->error=0;
	rn=getrn(lh,data,&hash);
	if (*rn == NULL)
		{
		lh->num_no_delete++;
		return(NULL);
		}
	else
		{
		nn= *rn;
		*rn=nn->next;
		ret=nn->data;
		OPENSSL_free(nn);
		lh->num_delete++;
		}
	lh->num_items--;
	if ((lh->num_nodes > MIN_NODES) &&
		(lh->down_load >= (lh->num_items*LH_LOAD_MULT/lh->num_nodes)))
		contract(lh);
	return((void *)ret);
	}
['static IMPLEMENT_LHASH_DOALL_ARG_FN(timeout, SSL_SESSION *, TIMEOUT_PARAM *)', 'static void timeout(SSL_SESSION *s, TIMEOUT_PARAM *p)\n\t{\n\tif ((p->time == 0) || (p->time > (s->time+s->timeout)))\n\t\t{\n\t\tlh_delete(p->cache,s);\n\t\tSSL_SESSION_list_remove(p->ctx,s);\n\t\ts->not_resumable=1;\n\t\tif (p->ctx->remove_session_cb != NULL)\n\t\t\tp->ctx->remove_session_cb(p->ctx,s);\n\t\tSSL_SESSION_free(s);\n\t\t}\n\t}', 'void *lh_delete(LHASH *lh, const void *data)\n\t{\n\tunsigned long hash;\n\tLHASH_NODE *nn,**rn;\n\tconst void *ret;\n\tlh->error=0;\n\trn=getrn(lh,data,&hash);\n\tif (*rn == NULL)\n\t\t{\n\t\tlh->num_no_delete++;\n\t\treturn(NULL);\n\t\t}\n\telse\n\t\t{\n\t\tnn= *rn;\n\t\t*rn=nn->next;\n\t\tret=nn->data;\n\t\tOPENSSL_free(nn);\n\t\tlh->num_delete++;\n\t\t}\n\tlh->num_items--;\n\tif ((lh->num_nodes > MIN_NODES) &&\n\t\t(lh->down_load >= (lh->num_items*LH_LOAD_MULT/lh->num_nodes)))\n\t\tcontract(lh);\n\treturn((void *)ret);\n\t}']