test/sslapitest.c:3213: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `SSL_free`.
Showing all 16 steps of the trace


test/sslapitest.c:3184:11: Call
3182.           goto end;
3183.   
3184.       con = SSL_new(ctx);
                  ^
3185.       if (!TEST_ptr(con))
3186.           goto end;

ssl/ssl_lib.c:608:1: Parameter `ctx->sessions->num_items`
  606.   }
  607.   
  608. > SSL *SSL_new(SSL_CTX *ctx)
  609.   {
  610.       SSL *s;

test/sslapitest.c:3213:5: Call
3211.   
3212.   end:
3213.       SSL_free(con);
            ^
3214.       SSL_CTX_free(ctx);
3215.   

ssl/ssl_lib.c:1074:1: Parameter `s->session_ctx->sessions->num_items`
  1072.   }
  1073.   
  1074. > void SSL_free(SSL *s)
  1075.   {
  1076.       int i;

ssl/ssl_lib.c:1105:9: Call
  1103.       /* Make the next call work :-) */
  1104.       if (s->session != NULL) {
  1105.           ssl_clear_bad_session(s);
                  ^
  1106.           SSL_SESSION_free(s->session);
  1107.       }

ssl/ssl_sess.c:1112:1: Parameter `s->session_ctx->sessions->num_items`
    1110.   }
    1111.   
    1112. > int ssl_clear_bad_session(SSL *s)
    1113.   {
    1114.       if ((s->session != NULL) &&

ssl/ssl_sess.c:1117:9: Call
    1115.           !(s->shutdown & SSL_SENT_SHUTDOWN) &&
    1116.           !(SSL_in_init(s) || SSL_in_before(s))) {
    1117.           SSL_CTX_remove_session(s->session_ctx, s->session);
                    ^
    1118.           return 1;
    1119.       } else

ssl/ssl_sess.c:729:1: Parameter `ctx->sessions->num_items`
      727.   }
      728.   
      729. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      730.   {
      731.       return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:731:12: Call
      729.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      730.   {
      731.       return remove_session_lock(ctx, c, 1);
                        ^
      732.   }
      733.   

ssl/ssl_sess.c:734:1: Parameter `ctx->sessions->num_items`
        732.   }
        733.   
        734. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
        735.   {
        736.       SSL_SESSION *r;

ssl/ssl_sess.c:744:17: Call
        742.           if ((r = lh_SSL_SESSION_retrieve(ctx->sessions, c)) == c) {
        743.               ret = 1;
        744.               r = lh_SSL_SESSION_delete(ctx->sessions, c);
                               ^
        745.               SSL_SESSION_list_remove(ctx, c);
        746.           }

ssl/ssl_locl.h:713:1: Parameter `lh->num_items`
          711.   } TLSEXT_INDEX;
          712.   
          713. > DEFINE_LHASH_OF(SSL_SESSION);
          714.   /* Needed in ssl_cert.c */
          715.   DEFINE_LHASH_OF(X509_NAME);

ssl/ssl_locl.h:713:1: Call
          711.   } TLSEXT_INDEX;
          712.   
          713. > DEFINE_LHASH_OF(SSL_SESSION);
          714.   /* Needed in ssl_cert.c */
          715.   DEFINE_LHASH_OF(X509_NAME);

crypto/lhash/lhash.c:119:1: <LHS trace>
117.   }
118.   
119. > void *OPENSSL_LH_delete(OPENSSL_LHASH *lh, const void *data)
120.   {
121.       unsigned long hash;

crypto/lhash/lhash.c:119:1: Parameter `lh->num_items`
            117.   }
            118.   
            119. > void *OPENSSL_LH_delete(OPENSSL_LHASH *lh, const void *data)
            120.   {
            121.       unsigned long hash;

crypto/lhash/lhash.c:139:5: Binary operation: ([0, +oo] - 1):unsigned64 by call to `SSL_free` 
            137.       }
            138.   
            139.       lh->num_items--;
                       ^
            140.       if ((lh->num_nodes > MIN_NODES) &&
            141.           (lh->down_load >= (lh->num_items * LH_LOAD_MULT / lh->num_nodes)))
