ssl/statem/extensions_srvr.c:1192: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `SSL_CTX_remove_session`.
Showing all 11 steps of the trace


ssl/statem/extensions_srvr.c:1039:1: Parameter `s->session_ctx->sessions->num_items`
1037.   }
1038.   
1039. > int tls_parse_ctos_psk(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
1040.                          size_t chainidx)
1041.   {

ssl/statem/extensions_srvr.c:1192:25: Call
1190.               /* Check for replay */
1191.               if (s->max_early_data > 0
1192.                       && !SSL_CTX_remove_session(s->session_ctx, sess)) {
                                ^
1193.                   SSL_SESSION_free(sess);
1194.                   sess = NULL;

ssl/ssl_sess.c:757:1: Parameter `ctx->sessions->num_items`
  755.   }
  756.   
  757. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
  758.   {
  759.       return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:759:12: Call
  757.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
  758.   {
  759.       return remove_session_lock(ctx, c, 1);
                    ^
  760.   }
  761.   

ssl/ssl_sess.c:762:1: Parameter `ctx->sessions->num_items`
    760.   }
    761.   
    762. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
    763.   {
    764.       SSL_SESSION *r;

ssl/ssl_sess.c:772:17: Call
    770.           if ((r = lh_SSL_SESSION_retrieve(ctx->sessions, c)) != NULL) {
    771.               ret = 1;
    772.               r = lh_SSL_SESSION_delete(ctx->sessions, r);
                           ^
    773.               SSL_SESSION_list_remove(ctx, r);
    774.           }

ssl/ssl_locl.h:727:1: Parameter `lh->num_items`
      725.   } TLSEXT_INDEX;
      726.   
      727. > DEFINE_LHASH_OF(SSL_SESSION);
      728.   /* Needed in ssl_cert.c */
      729.   DEFINE_LHASH_OF(X509_NAME);

ssl/ssl_locl.h:727:1: Call
      725.   } TLSEXT_INDEX;
      726.   
      727. > DEFINE_LHASH_OF(SSL_SESSION);
      728.   /* Needed in ssl_cert.c */
      729.   DEFINE_LHASH_OF(X509_NAME);

crypto/lhash/lhash.c:126:1: <LHS trace>
124.   }
125.   
126. > void *OPENSSL_LH_delete(OPENSSL_LHASH *lh, const void *data)
127.   {
128.       unsigned long hash;

crypto/lhash/lhash.c:126:1: Parameter `lh->num_items`
        124.   }
        125.   
        126. > void *OPENSSL_LH_delete(OPENSSL_LHASH *lh, const void *data)
        127.   {
        128.       unsigned long hash;

crypto/lhash/lhash.c:146:5: Binary operation: ([0, +oo] - 1):unsigned64 by call to `SSL_CTX_remove_session` 
        144.       }
        145.   
        146.       lh->num_items--;
                   ^
        147.       if ((lh->num_nodes > MIN_NODES) &&
        148.           (lh->down_load >= (lh->num_items * LH_LOAD_MULT / lh->num_nodes)))
