ssl/ssl_lib.c:1445: error: INTEGER_OVERFLOW_L2
  ([0, `s->ctx->sessions->num_nodes` + 1] - 1):unsigned32 by call to `SSL_CTX_flush_sessions`.
Showing all 7 steps of the trace


ssl/ssl_lib.c:1418:1: Parameter `s->ctx->sessions->num_nodes`
1416.   	}
1417.   
1418. > void ssl_update_cache(SSL *s,int mode)
1419.   	{
1420.   	int i;

ssl/ssl_lib.c:1445:4: Call
1443.   			:s->ctx->stats.sess_accept_good) & 0xff) == 0xff)
1444.   			{
1445.   			SSL_CTX_flush_sessions(s->ctx,time(NULL));
           ^
1446.   			}
1447.   		}

ssl/ssl_sess.c:596:1: Parameter `s->sessions->num_nodes`
  594.   	}
  595.   
  596. > void SSL_CTX_flush_sessions(SSL_CTX *s, long t)
  597.   	{
  598.   	unsigned long i;

ssl/ssl_sess.c:608:2: Call
  606.   	i=tp.cache->down_load;
  607.   	tp.cache->down_load=0;
  608.   	lh_doall_arg(tp.cache,(void (*)())timeout,&tp);
          ^
  609.   	tp.cache->down_load=i;
  610.   	CRYPTO_w_unlock(CRYPTO_LOCK_SSL_CTX);

crypto/lhash/lhash.c:275:1: <LHS trace>
273.   	}
274.   
275. > void lh_doall_arg(LHASH *lh, void (*func)(), void *arg)
276.   	{
277.   	int i;

crypto/lhash/lhash.c:275:1: Parameter `lh->num_nodes`
    273.   	}
    274.   
    275. > void lh_doall_arg(LHASH *lh, void (*func)(), void *arg)
    276.   	{
    277.   	int i;

crypto/lhash/lhash.c:282:7: Binary operation: ([0, s->ctx->sessions->num_nodes + 1] - 1):unsigned32 by call to `SSL_CTX_flush_sessions` 
    280.   	/* reverse the order so we search from 'top to bottom'
    281.   	 * We were having memory leaks otherwise */
    282.   	for (i=lh->num_nodes-1; i>=0; i--)
                 ^
    283.   		{
    284.   		a=lh->b[i];
