ssl/bio_ssl.c:442: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `SSL_dup`.
Showing all 18 steps of the trace


ssl/bio_ssl.c:441:4: Call
439.   		dbio=(BIO *)ptr;
440.   		if (((BIO_SSL *)dbio->ptr)->ssl != NULL)
441.   			SSL_free(((BIO_SSL *)dbio->ptr)->ssl);
          ^
442.   		((BIO_SSL *)dbio->ptr)->ssl=SSL_dup(ssl);
443.   		((BIO_SSL *)dbio->ptr)->renegotiate_count=

ssl/ssl_lib.c:472:1: Parameter `s->ctx->sessions->num_items`
  470.   	}
  471.   
  472. > void SSL_free(SSL *s)
  473.   	{
  474.   	int i;

ssl/bio_ssl.c:442:31: Call
440.   		if (((BIO_SSL *)dbio->ptr)->ssl != NULL)
441.   			SSL_free(((BIO_SSL *)dbio->ptr)->ssl);
442.   		((BIO_SSL *)dbio->ptr)->ssl=SSL_dup(ssl);
                                     ^
443.   		((BIO_SSL *)dbio->ptr)->renegotiate_count=
444.   			((BIO_SSL *)b->ptr)->renegotiate_count;

ssl/ssl_lib.c:2254:1: Parameter `s->ctx->sessions->num_items`
  2252.   	}
  2253.   
  2254. > SSL *SSL_dup(SSL *s)
  2255.   	{
  2256.   	STACK_OF(X509_NAME) *sk;

ssl/ssl_lib.c:2261:11: Call
  2259.   	int i;
  2260.   	
  2261.   	if ((ret=SSL_new(SSL_get_SSL_CTX(s))) == NULL)
                    ^
  2262.   	    return(NULL);
  2263.   

ssl/ssl_lib.c:264:1: Parameter `ctx->sessions->num_items`
    262.   	}
    263.   
    264. > SSL *SSL_new(SSL_CTX *ctx)
    265.   	{
    266.   	SSL *s;

ssl/ssl_lib.c:2378:20: Call
  2376.   		{
  2377.   err:
  2378.   		if (ret != NULL) SSL_free(ret);
                             ^
  2379.   		ret=NULL;
  2380.   		}

ssl/ssl_lib.c:472:1: Parameter `s->ctx->sessions->num_items`
    470.   	}
    471.   
    472. > void SSL_free(SSL *s)
    473.   	{
    474.   	int i;

ssl/ssl_lib.c:521:3: Call
    519.   	if (s->session != NULL)
    520.   		{
    521.   		ssl_clear_bad_session(s);
             ^
    522.   		SSL_SESSION_free(s->session);
    523.   		}

ssl/ssl_sess.c:843:1: Parameter `s->ctx->sessions->num_items`
      841.   	}
      842.   
      843. > int ssl_clear_bad_session(SSL *s)
      844.   	{
      845.   	if (	(s->session != NULL) &&

ssl/ssl_sess.c:849:3: Call
      847.   		!(SSL_in_init(s) || SSL_in_before(s)))
      848.   		{
      849.   		SSL_CTX_remove_session(s->ctx,s->session);
               ^
      850.   		return(1);
      851.   		}

ssl/ssl_sess.c:614:1: Parameter `ctx->sessions->num_items`
        612.   	}
        613.   
        614. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
        615.   {
        616.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:616:9: Call
        614.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
        615.   {
        616.   	return remove_session_lock(ctx, c, 1);
                       ^
        617.   }
        618.   

ssl/ssl_sess.c:619:1: Parameter `ctx->sessions->num_items`
          617.   }
          618.   
          619. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
          620.   	{
          621.   	SSL_SESSION *r;

ssl/ssl_sess.c:630:21: Call
          628.   			{
          629.   			ret=1;
          630.   			r=(SSL_SESSION *)lh_delete(ctx->sessions,c);
                                     ^
          631.   			SSL_SESSION_list_remove(ctx,c);
          632.   			}

crypto/lhash/lhash.c:217:1: <LHS trace>
215.   	}
216.   
217. > void *lh_delete(LHASH *lh, const void *data)
218.   	{
219.   	unsigned long hash;

crypto/lhash/lhash.c:217:1: Parameter `lh->num_items`
            215.   	}
            216.   
            217. > void *lh_delete(LHASH *lh, const void *data)
            218.   	{
            219.   	unsigned long hash;

crypto/lhash/lhash.c:240:2: Binary operation: ([0, +oo] - 1):unsigned64 by call to `SSL_dup` 
            238.   		}
            239.   
            240.   	lh->num_items--;
                    ^
            241.   	if ((lh->num_nodes > MIN_NODES) &&
            242.   		(lh->down_load >= (lh->num_items*LH_LOAD_MULT/lh->num_nodes)))
