ssl/bio_ssl.c:317: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `SSL_clear`.
Showing all 12 steps of the trace


ssl/bio_ssl.c:317:3: Call
315.   			SSL_set_accept_state(ssl);
316.   
317.   		SSL_clear(ssl);
         ^
318.   
319.   		if (b->next_bio != NULL)

ssl/ssl_lib.c:86:1: Parameter `s->ctx->sessions->num_items`
  84.   	};
  85.   
  86. > int SSL_clear(SSL *s)
  87.   	{
  88.   	int state;

ssl/ssl_lib.c:134:6: Call
  132.   	ssl_clear_cipher_ctx(s);
  133.   
  134.   	if (ssl_clear_bad_session(s))
              ^
  135.   		{
  136.   		SSL_SESSION_free(s->session);

ssl/ssl_sess.c:614:1: Parameter `s->ctx->sessions->num_items`
    612.   	}
    613.   
    614. > int ssl_clear_bad_session(SSL *s)
    615.   	{
    616.   	if (	(s->session != NULL) &&

ssl/ssl_sess.c:620:3: Call
    618.   		!(SSL_in_init(s) || SSL_in_before(s)))
    619.   		{
    620.   		SSL_CTX_remove_session(s->ctx,s->session);
             ^
    621.   		return(1);
    622.   		}

ssl/ssl_sess.c:413:1: Parameter `ctx->sessions->num_items`
      411.   	}
      412.   
      413. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      414.   {
      415.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:415:9: Call
      413.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      414.   {
      415.   	return remove_session_lock(ctx, c, 1);
                     ^
      416.   }
      417.   

ssl/ssl_sess.c:418:1: Parameter `ctx->sessions->num_items`
        416.   }
        417.   
        418. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
        419.   	{
        420.   	SSL_SESSION *r;

ssl/ssl_sess.c:426:20: Call
        424.   		{
        425.   		if(lck) CRYPTO_w_lock(CRYPTO_LOCK_SSL_CTX);
        426.   		r=(SSL_SESSION *)lh_delete(ctx->sessions,c);
                                  ^
        427.   		if (r != NULL)
        428.   			{

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 `SSL_clear` 
          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)))
