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:185:1: Parameter `s->ctx->sessions->num_items`
  183.   	};
  184.   
  185. > int SSL_clear(SSL *s)
  186.   	{
  187.   

ssl/ssl_lib.c:194:6: Call
  192.   		}
  193.   
  194.   	if (ssl_clear_bad_session(s))
              ^
  195.   		{
  196.   		SSL_SESSION_free(s->session);

ssl/ssl_sess.c:991:1: Parameter `s->ctx->sessions->num_items`
    989.   	}
    990.   
    991. > int ssl_clear_bad_session(SSL *s)
    992.   	{
    993.   	if (	(s->session != NULL) &&

ssl/ssl_sess.c:997:3: Call
    995.   		!(SSL_in_init(s) || SSL_in_before(s)))
    996.   		{
    997.   		SSL_CTX_remove_session(s->ctx,s->session);
              ^
    998.   		return(1);
    999.   		}

ssl/ssl_sess.c:682:1: Parameter `ctx->sessions->num_items`
      680.   	}
      681.   
      682. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      683.   {
      684.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:684:9: Call
      682.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      683.   {
      684.   	return remove_session_lock(ctx, c, 1);
                     ^
      685.   }
      686.   

ssl/ssl_sess.c:687:1: Parameter `ctx->sessions->num_items`
        685.   }
        686.   
        687. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
        688.   	{
        689.   	SSL_SESSION *r;

ssl/ssl_sess.c:698:6: Call
        696.   			{
        697.   			ret=1;
        698.   			r=lh_SSL_SESSION_delete(ctx->sessions,c);
                    ^
        699.   			SSL_SESSION_list_remove(ctx,c);
        700.   			}

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