test/dtlsv1listentest.c:320: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `DTLSv1_listen`.
Showing all 18 steps of the trace


test/dtlsv1listentest.c:308:10: Call
306.   
307.       /* Create an SSL object and set the BIO */
308.       if (!TEST_ptr(ssl = SSL_new(ctx))
                ^
309.               || !TEST_ptr(outbio = BIO_new(BIO_s_mem())))
310.           goto err;

ssl/ssl_lib.c:521:1: Parameter `ctx->sessions->num_items`
  519.   }
  520.   
  521. > SSL *SSL_new(SSL_CTX *ctx)
  522.   {
  523.       SSL *s;

test/dtlsv1listentest.c:320:10: Call
318.   
319.       /* Process the incoming packet */
320.       if (!TEST_int_ge(ret = DTLSv1_listen(ssl, peer), 0))
                ^
321.           goto err;
322.       datalen = BIO_get_mem_data(outbio, &data);

ssl/d1_lib.c:414:1: Parameter `s->session_ctx->sessions->num_items`
  412.   
  413.   #ifndef OPENSSL_NO_SOCK
  414. > int DTLSv1_listen(SSL *s, BIO_ADDR *client)
  415.   {
  416.       int next, n, ret = 0, clearpkt = 0;

ssl/d1_lib.c:434:10: Call
  432.   
  433.       /* Ensure there is no state left over from a previous invocation */
  434.       if (!SSL_clear(s))
                  ^
  435.           return -1;
  436.   

ssl/ssl_lib.c:442:1: Parameter `s->session_ctx->sessions->num_items`
    440.   }
    441.   
    442. > int SSL_clear(SSL *s)
    443.   {
    444.       if (s->method == NULL) {

ssl/ssl_lib.c:449:9: Call
    447.       }
    448.   
    449.       if (ssl_clear_bad_session(s)) {
                   ^
    450.           SSL_SESSION_free(s->session);
    451.           s->session = NULL;

ssl/ssl_sess.c:1049:1: Parameter `s->session_ctx->sessions->num_items`
      1047.   }
      1048.   
      1049. > int ssl_clear_bad_session(SSL *s)
      1050.   {
      1051.       if ((s->session != NULL) &&

ssl/ssl_sess.c:1054:9: Call
      1052.           !(s->shutdown & SSL_SENT_SHUTDOWN) &&
      1053.           !(SSL_in_init(s) || SSL_in_before(s))) {
      1054.           SSL_CTX_remove_session(s->session_ctx, s->session);
                      ^
      1055.           return (1);
      1056.       } else

ssl/ssl_sess.c:725:1: Parameter `ctx->sessions->num_items`
        723.   }
        724.   
        725. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
        726.   {
        727.       return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:727:12: Call
        725.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
        726.   {
        727.       return remove_session_lock(ctx, c, 1);
                          ^
        728.   }
        729.   

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

ssl/ssl_sess.c:740:17: Call
          738.           if ((r = lh_SSL_SESSION_retrieve(ctx->sessions, c)) == c) {
          739.               ret = 1;
          740.               r = lh_SSL_SESSION_delete(ctx->sessions, c);
                                 ^
          741.               SSL_SESSION_list_remove(ctx, c);
          742.           }

ssl/ssl_locl.h:721:1: Parameter `lh->num_items`
            719.   } TLSEXT_INDEX;
            720.   
            721. > DEFINE_LHASH_OF(SSL_SESSION);
            722.   /* Needed in ssl_cert.c */
            723.   DEFINE_LHASH_OF(X509_NAME);

ssl/ssl_locl.h:721:1: Call
            719.   } TLSEXT_INDEX;
            720.   
            721. > DEFINE_LHASH_OF(SSL_SESSION);
            722.   /* Needed in ssl_cert.c */
            723.   DEFINE_LHASH_OF(X509_NAME);

crypto/lhash/lhash.c:103:1: <LHS trace>
101.   }
102.   
103. > void *OPENSSL_LH_delete(OPENSSL_LHASH *lh, const void *data)
104.   {
105.       unsigned long hash;

crypto/lhash/lhash.c:103:1: Parameter `lh->num_items`
              101.   }
              102.   
              103. > void *OPENSSL_LH_delete(OPENSSL_LHASH *lh, const void *data)
              104.   {
              105.       unsigned long hash;

crypto/lhash/lhash.c:123:5: Binary operation: ([0, +oo] - 1):unsigned64 by call to `DTLSv1_listen` 
              121.       }
              122.   
              123.       lh->num_items--;
                         ^
              124.       if ((lh->num_nodes > MIN_NODES) &&
              125.           (lh->down_load >= (lh->num_items * LH_LOAD_MULT / lh->num_nodes)))
