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


apps/s_server.c:1162:7: Call
1160.   
1161.   	if (con == NULL) {
1162.   		con=SSL_new(ctx);
              ^
1163.   #ifndef OPENSSL_NO_KRB5
1164.   		if ((con->kssl_ctx = kssl_ctx_new()) != NULL)

ssl/ssl_lib.c:229:1: Parameter `ctx->sessions->num_items`
  227.   	}
  228.   
  229. > SSL *SSL_new(SSL_CTX *ctx)
  230.   	{
  231.   	SSL *s;

apps/s_server.c:1176:2: Call
1174.   						 strlen((char *)context));
1175.   	}
1176.   	SSL_clear(con);
         ^
1177.   
1178.   	if (SSL_version(con) == DTLS1_VERSION)

ssl/ssl_lib.c:142:1: Parameter `s->ctx->sessions->num_items`
  140.   	};
  141.   
  142. > int SSL_clear(SSL *s)
  143.   	{
  144.   

ssl/ssl_lib.c:151:6: Call
  149.   		}
  150.   
  151.   	if (ssl_clear_bad_session(s))
              ^
  152.   		{
  153.   		SSL_SESSION_free(s->session);

ssl/ssl_sess.c:700:1: Parameter `s->ctx->sessions->num_items`
    698.   	}
    699.   
    700. > int ssl_clear_bad_session(SSL *s)
    701.   	{
    702.   	if (	(s->session != NULL) &&

ssl/ssl_sess.c:706:3: Call
    704.   		!(SSL_in_init(s) || SSL_in_before(s)))
    705.   		{
    706.   		SSL_CTX_remove_session(s->ctx,s->session);
             ^
    707.   		return(1);
    708.   		}

ssl/ssl_sess.c:486:1: Parameter `ctx->sessions->num_items`
      484.   	}
      485.   
      486. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      487.   {
      488.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:488:9: Call
      486.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      487.   {
      488.   	return remove_session_lock(ctx, c, 1);
                     ^
      489.   }
      490.   

ssl/ssl_sess.c:491:1: Parameter `ctx->sessions->num_items`
        489.   }
        490.   
        491. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
        492.   	{
        493.   	SSL_SESSION *r;

ssl/ssl_sess.c:502:21: Call
        500.   			{
        501.   			ret=1;
        502.   			r=(SSL_SESSION *)lh_delete(ctx->sessions,c);
                                   ^
        503.   			SSL_SESSION_list_remove(ctx,c);
        504.   			}

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