ssl/s3_pkt.c:1546: 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/s3_pkt.c:1230:1: Parameter `s->ctx->sessions->num_items`
1228.    *             none of our business
1229.    */
1230. > int ssl3_read_bytes(SSL *s, int type, unsigned char *buf, int len, int peek)
1231.   {
1232.       int al, i, j, ret;

ssl/s3_pkt.c:1546:13: Call
1544.               ERR_add_error_data(2, "SSL alert number ", tmp);
1545.               s->shutdown |= SSL_RECEIVED_SHUTDOWN;
1546.               SSL_CTX_remove_session(s->ctx, s->session);
                    ^
1547.               return (0);
1548.           } else {

ssl/ssl_sess.c:673:1: Parameter `ctx->sessions->num_items`
  671.   }
  672.   
  673. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
  674.   {
  675.       return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:675:12: Call
  673.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
  674.   {
  675.       return remove_session_lock(ctx, c, 1);
                    ^
  676.   }
  677.   

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

ssl/ssl_sess.c:688:17: Call
    686.           if ((r = lh_SSL_SESSION_retrieve(ctx->sessions, c)) == c) {
    687.               ret = 1;
    688.               r = lh_SSL_SESSION_delete(ctx->sessions, c);
                           ^
    689.               SSL_SESSION_list_remove(ctx, c);
    690.           }

crypto/lhash/lhash.c:213:1: <LHS trace>
211.   }
212.   
213. > void *lh_delete(_LHASH *lh, const void *data)
214.   {
215.       unsigned long hash;

crypto/lhash/lhash.c:213:1: Parameter `lh->num_items`
      211.   }
      212.   
      213. > void *lh_delete(_LHASH *lh, const void *data)
      214.   {
      215.       unsigned long hash;

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