apps/s_server.c:2142: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `SSL_clear`.
Showing all 14 steps of the trace


apps/s_server.c:2116:7: Call
2114.   
2115.   	if (con == NULL) {
2116.   		con=SSL_new(ctx);
              ^
2117.   #ifndef OPENSSL_NO_TLSEXT
2118.   	if (s_tlsextdebug)

ssl/ssl_lib.c:275:1: Parameter `ctx->sessions->num_items`
  273.   	}
  274.   
  275. > SSL *SSL_new(SSL_CTX *ctx)
  276.   	{
  277.   	SSL *s;

apps/s_server.c:2142:2: Call
2140.   						 strlen((char *)context));
2141.   	}
2142.   	SSL_clear(con);
         ^
2143.   #if 0
2144.   #ifdef TLSEXT_TYPE_opaque_prf_input

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:993:1: Parameter `s->ctx->sessions->num_items`
    991.   	}
    992.   
    993. > int ssl_clear_bad_session(SSL *s)
    994.   	{
    995.   	if (	(s->session != NULL) &&

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

ssl/ssl_sess.c:677:1: Parameter `ctx->sessions->num_items`
      675.   	}
      676.   
      677. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      678.   {
      679.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:679:9: Call
      677.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      678.   {
      679.   	return remove_session_lock(ctx, c, 1);
                     ^
      680.   }
      681.   

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

ssl/ssl_sess.c:693:6: Call
        691.   			{
        692.   			ret=1;
        693.   			r=lh_SSL_SESSION_delete(ctx->sessions,c);
                    ^
        694.   			SSL_SESSION_list_remove(ctx,c);
        695.   			}

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