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


ssl/ssl_lib.c:2446:1: Parameter `s->initial_ctx->sessions->num_nodes`
2444.   #endif
2445.   
2446. > void ssl_update_cache(SSL *s,int mode)
2447.   	{
2448.   	int i;

ssl/ssl_lib.c:2473:4: Call
2471.   			:s->session_ctx->stats.sess_accept_good) & 0xff) == 0xff)
2472.   			{
2473.   			SSL_CTX_flush_sessions(s->session_ctx,(unsigned long)time(NULL));
           ^
2474.   			}
2475.   		}

ssl/ssl_sess.c:970:1: Parameter `s->sessions->num_nodes`
  968.   static IMPLEMENT_LHASH_DOALL_ARG_FN(timeout, SSL_SESSION, TIMEOUT_PARAM)
  969.   
  970. > void SSL_CTX_flush_sessions(SSL_CTX *s, long t)
  971.   	{
  972.   	unsigned long i;

ssl/ssl_sess.c:982:2: Call
  980.   	i=CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load;
  981.   	CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load=0;
  982.   	lh_SSL_SESSION_doall_arg(tp.cache, LHASH_DOALL_ARG_FN(timeout),
          ^
  983.   				 TIMEOUT_PARAM, &tp);
  984.   	CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load=i;

crypto/lhash/lhash.c:305:1: Parameter `lh->num_nodes`
    303.   	}
    304.   
    305. > void lh_doall_arg(_LHASH *lh, LHASH_DOALL_ARG_FN_TYPE func, void *arg)
    306.   	{
    307.   	doall_util_fn(lh, 1, (LHASH_DOALL_FN_TYPE)0, func, arg);

crypto/lhash/lhash.c:307:2: Call
    305.   void lh_doall_arg(_LHASH *lh, LHASH_DOALL_ARG_FN_TYPE func, void *arg)
    306.   	{
    307.   	doall_util_fn(lh, 1, (LHASH_DOALL_FN_TYPE)0, func, arg);
            ^
    308.   	}
    309.   

crypto/lhash/lhash.c:270:1: <LHS trace>
268.   	}
269.   
270. > static void doall_util_fn(_LHASH *lh, int use_arg, LHASH_DOALL_FN_TYPE func,
271.   			  LHASH_DOALL_ARG_FN_TYPE func_arg, void *arg)
272.   	{

crypto/lhash/lhash.c:270:1: Parameter `lh->num_nodes`
      268.   	}
      269.   
      270. > static void doall_util_fn(_LHASH *lh, int use_arg, LHASH_DOALL_FN_TYPE func,
      271.   			  LHASH_DOALL_ARG_FN_TYPE func_arg, void *arg)
      272.   	{

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