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


ssl/bio_ssl.c:437:4: Call
435.   		dbio=(BIO *)ptr;
436.   		if (((BIO_SSL *)dbio->ptr)->ssl != NULL)
437.   			SSL_free(((BIO_SSL *)dbio->ptr)->ssl);
          ^
438.   		((BIO_SSL *)dbio->ptr)->ssl=SSL_dup(ssl);
439.   		((BIO_SSL *)dbio->ptr)->renegotiate_count=

ssl/ssl_lib.c:410:1: Parameter `s->ctx->sessions->num_items`
  408.   	}
  409.   
  410. > void SSL_free(SSL *s)
  411.   	{
  412.   	int i;

ssl/bio_ssl.c:438:31: Call
436.   		if (((BIO_SSL *)dbio->ptr)->ssl != NULL)
437.   			SSL_free(((BIO_SSL *)dbio->ptr)->ssl);
438.   		((BIO_SSL *)dbio->ptr)->ssl=SSL_dup(ssl);
                                     ^
439.   		((BIO_SSL *)dbio->ptr)->renegotiate_count=
440.   			((BIO_SSL *)b->ptr)->renegotiate_count;

ssl/ssl_lib.c:1857:1: Parameter `s->ctx->sessions->num_items`
  1855.   	}
  1856.   
  1857. > SSL *SSL_dup(SSL *s)
  1858.   	{
  1859.   	STACK_OF(X509_NAME) *sk;

ssl/ssl_lib.c:1864:11: Call
  1862.   	int i;
  1863.   		 
  1864.   	if ((ret=SSL_new(SSL_get_SSL_CTX(s))) == NULL)
                    ^
  1865.   	    return(NULL);
  1866.   

ssl/ssl_lib.c:226:1: Parameter `ctx->sessions->num_items`
    224.   	}
    225.   
    226. > SSL *SSL_new(SSL_CTX *ctx)
    227.   	{
    228.   	SSL *s;

ssl/ssl_lib.c:1980:20: Call
  1978.   		{
  1979.   err:
  1980.   		if (ret != NULL) SSL_free(ret);
                             ^
  1981.   		ret=NULL;
  1982.   		}

ssl/ssl_lib.c:410:1: Parameter `s->ctx->sessions->num_items`
    408.   	}
    409.   
    410. > void SSL_free(SSL *s)
    411.   	{
    412.   	int i;

ssl/ssl_lib.c:456:3: Call
    454.   	if (s->session != NULL)
    455.   		{
    456.   		ssl_clear_bad_session(s);
             ^
    457.   		SSL_SESSION_free(s->session);
    458.   		}

ssl/ssl_sess.c:678:1: Parameter `s->ctx->sessions->num_items`
      676.   	}
      677.   
      678. > int ssl_clear_bad_session(SSL *s)
      679.   	{
      680.   	if (	(s->session != NULL) &&

ssl/ssl_sess.c:684:3: Call
      682.   		!(SSL_in_init(s) || SSL_in_before(s)))
      683.   		{
      684.   		SSL_CTX_remove_session(s->ctx,s->session);
               ^
      685.   		return(1);
      686.   		}

ssl/ssl_sess.c:464:1: Parameter `ctx->sessions->num_items`
        462.   	}
        463.   
        464. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
        465.   {
        466.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:466:9: Call
        464.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
        465.   {
        466.   	return remove_session_lock(ctx, c, 1);
                       ^
        467.   }
        468.   

ssl/ssl_sess.c:469:1: Parameter `ctx->sessions->num_items`
          467.   }
          468.   
          469. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
          470.   	{
          471.   	SSL_SESSION *r;

ssl/ssl_sess.c:480:21: Call
          478.   			{
          479.   			ret=1;
          480.   			r=(SSL_SESSION *)lh_delete(ctx->sessions,c);
                                     ^
          481.   			SSL_SESSION_list_remove(ctx,c);
          482.   			}

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)))
