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


test/danetest.c:391:20: Call
389.           }
390.   
391.           if ((ssl = SSL_new(ctx)) == NULL)
                          ^
392.               return -1;
393.           SSL_set_connect_state(ssl);

ssl/ssl_lib.c:613:1: Parameter `ctx->sessions->num_items`
  611.   }
  612.   
  613. > SSL *SSL_new(SSL_CTX *ctx)
  614.   {
  615.       SSL *s;

test/danetest.c:418:9: Call
416.           err = SSL_get_verify_result(ssl);
417.           mdpth = SSL_get0_dane_authority(ssl, NULL, NULL);
418.           SSL_free(ssl);
               ^
419.   
420.           if (ok < 0) {

ssl/ssl_lib.c:977:1: Parameter `s->ctx->sessions->num_items`
  975.   }
  976.   
  977. > void SSL_free(SSL *s)
  978.   {
  979.       int i;

test/danetest.c:391:20: Call
389.           }
390.   
391.           if ((ssl = SSL_new(ctx)) == NULL)
                          ^
392.               return -1;
393.           SSL_set_connect_state(ssl);

ssl/ssl_lib.c:613:1: Parameter `ctx->sessions->num_items`
  611.   }
  612.   
  613. > SSL *SSL_new(SSL_CTX *ctx)
  614.   {
  615.       SSL *s;

ssl/ssl_lib.c:729:10: Call
  727.       s->server = (ctx->method->ssl_accept == ssl_undefined_function) ? 0 : 1;
  728.   
  729.       if (!SSL_clear(s))
                  ^
  730.           goto err;
  731.   

ssl/ssl_lib.c:535:1: Parameter `s->ctx->sessions->num_items`
    533.   }
    534.   
    535. > int SSL_clear(SSL *s)
    536.   {
    537.       if (s->method == NULL) {

ssl/ssl_lib.c:542:9: Call
    540.       }
    541.   
    542.       if (ssl_clear_bad_session(s)) {
                   ^
    543.           SSL_SESSION_free(s->session);
    544.           s->session = NULL;

ssl/ssl_sess.c:1084:1: Parameter `s->ctx->sessions->num_items`
      1082.   }
      1083.   
      1084. > int ssl_clear_bad_session(SSL *s)
      1085.   {
      1086.       if ((s->session != NULL) &&

ssl/ssl_sess.c:1089:9: Call
      1087.           !(s->shutdown & SSL_SENT_SHUTDOWN) &&
      1088.           !(SSL_in_init(s) || SSL_in_before(s))) {
      1089.           SSL_CTX_remove_session(s->ctx, s->session);
                      ^
      1090.           return (1);
      1091.       } else

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

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

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

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

crypto/lhash/lhash.c:189:1: <LHS trace>
187.   }
188.   
189. > void *lh_delete(_LHASH *lh, const void *data)
190.   {
191.       unsigned long hash;

crypto/lhash/lhash.c:189:1: Parameter `lh->num_items`
            187.   }
            188.   
            189. > void *lh_delete(_LHASH *lh, const void *data)
            190.   {
            191.       unsigned long hash;

crypto/lhash/lhash.c:209:5: Binary operation: ([0, +oo] - 1):unsigned64 by call to `SSL_new` 
            207.       }
            208.   
            209.       lh->num_items--;
                       ^
            210.       if ((lh->num_nodes > MIN_NODES) &&
            211.           (lh->down_load >= (lh->num_items * LH_LOAD_MULT / lh->num_nodes)))
