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


ssl/ssl_lib.c:505:1: Parameter `s->ctx->sessions->num_nodes`
503.   	}
504.   
505. > void SSL_free(SSL *s)
506.   	{
507.   	int i;

ssl/ssl_lib.c:588:14: Call
586.   	if (s->method != NULL) s->method->ssl_free(s);
587.   
588.   	if (s->ctx) SSL_CTX_free(s->ctx);
                    ^
589.   
590.   #ifndef	OPENSSL_NO_KRB5

ssl/ssl_lib.c:1899:1: Parameter `a->sessions->num_nodes`
  1897.   #endif
  1898.   
  1899. > void SSL_CTX_free(SSL_CTX *a)
  1900.   	{
  1901.   	int i;

ssl/ssl_lib.c:1931:3: Call
  1929.   	 */
  1930.   	if (a->sessions != NULL)
  1931.   		SSL_CTX_flush_sessions(a,0);
            ^
  1932.   
  1933.   	CRYPTO_free_ex_data(CRYPTO_EX_INDEX_SSL_CTX, a, &a->ex_data);

ssl/ssl_sess.c:985:1: Parameter `s->sessions->num_nodes`
    983.   static IMPLEMENT_LHASH_DOALL_ARG_FN(timeout, SSL_SESSION, TIMEOUT_PARAM)
    984.   
    985. > void SSL_CTX_flush_sessions(SSL_CTX *s, long t)
    986.   	{
    987.   	unsigned long i;

ssl/ssl_sess.c:997:2: Call
    995.   	i=CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load;
    996.   	CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load=0;
    997.   	lh_SSL_SESSION_doall_arg(tp.cache, LHASH_DOALL_ARG_FN(timeout),
             ^
    998.   				 TIMEOUT_PARAM, &tp);
    999.   	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, max(0, s->ctx->sessions->num_nodes)] - 1):unsigned32 by call to `SSL_CTX_free` 
        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];
