ssl/record/rec_layer_d1.c:851: error: INTEGER_OVERFLOW_L2
  ([0, max(0, `s->ctx->sessions->num_items`)] - 1):unsigned64 by call to `SSL_CTX_remove_session`.
Showing all 9 steps of the trace


ssl/record/rec_layer_d1.c:399:1: Parameter `s->ctx->sessions->num_items`
397.    *             none of our business
398.    */
399. > int dtls1_read_bytes(SSL *s, int type, int *recvd_type, unsigned char *buf,
400.                        int len, int peek)
401.   {

ssl/record/rec_layer_d1.c:851:13: Call
849.               ERR_add_error_data(2, "SSL alert number ", tmp);
850.               s->shutdown |= SSL_RECEIVED_SHUTDOWN;
851.               SSL_CTX_remove_session(s->ctx, s->session);
                   ^
852.               return (0);
853.           } else {

ssl/ssl_sess.c:787:1: Parameter `ctx->sessions->num_items`
  785.   }
  786.   
  787. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
  788.   {
  789.       return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:789:12: Call
  787.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
  788.   {
  789.       return remove_session_lock(ctx, c, 1);
                    ^
  790.   }
  791.   

ssl/ssl_sess.c:792:1: Parameter `ctx->sessions->num_items`
    790.   }
    791.   
    792. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
    793.   {
    794.       SSL_SESSION *r;

ssl/ssl_sess.c:802:17: Call
    800.           if ((r = lh_SSL_SESSION_retrieve(ctx->sessions, c)) == c) {
    801.               ret = 1;
    802.               r = lh_SSL_SESSION_delete(ctx->sessions, c);
                           ^
    803.               SSL_SESSION_list_remove(ctx, c);
    804.           }

crypto/lhash/lhash.c:209:1: <LHS trace>
207.   }
208.   
209. > void *lh_delete(_LHASH *lh, const void *data)
210.   {
211.       unsigned long hash;

crypto/lhash/lhash.c:209:1: Parameter `lh->num_items`
      207.   }
      208.   
      209. > void *lh_delete(_LHASH *lh, const void *data)
      210.   {
      211.       unsigned long hash;

crypto/lhash/lhash.c:229:5: Binary operation: ([0, max(0, s->ctx->sessions->num_items)] - 1):unsigned64 by call to `SSL_CTX_remove_session` 
      227.       }
      228.   
      229.       lh->num_items--;
                 ^
      230.       if ((lh->num_nodes > MIN_NODES) &&
      231.           (lh->down_load >= (lh->num_items * LH_LOAD_MULT / lh->num_nodes)))
