apps/s_client.c:1241: error: INTEGER_OVERFLOW_L1
  (0 - 1):unsigned64 by call to `SSL_free`.
Showing all 15 steps of the trace


apps/s_client.c:710:6: Call
708.   		}
709.   
710.   	ctx=SSL_CTX_new(meth);
            ^
711.   	if (ctx == NULL)
712.   		{

ssl/ssl_lib.c:1489:16: Call
  1487.   	ret->app_verify_cookie_cb=0;
  1488.   
  1489.   	ret->sessions=lh_new(LHASH_HASH_FN(SSL_SESSION_hash),
                         ^
  1490.   			LHASH_COMP_FN(SSL_SESSION_cmp));
  1491.   	if (ret->sessions == NULL) goto err;

crypto/lhash/lhash.c:133:2: Assignment
    131.   	ret->up_load=UP_LOAD;
    132.   	ret->down_load=DOWN_LOAD;
    133.   	ret->num_items=0;
            ^
    134.   
    135.   	ret->num_expands=0;

apps/s_client.c:1241:19: Call
1239.   end:
1240.   	if(prexit) print_stuff(bio_c_out,con,1);
1241.   	if (con != NULL) SSL_free(con);
                          ^
1242.   	if (ctx != NULL) SSL_CTX_free(ctx);
1243.   	if (cert)

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:827:1: Parameter `s->ctx->sessions->num_items`
    825.   	}
    826.   
    827. > int ssl_clear_bad_session(SSL *s)
    828.   	{
    829.   	if (	(s->session != NULL) &&

ssl/ssl_sess.c:833:3: Call
    831.   		!(SSL_in_init(s) || SSL_in_before(s)))
    832.   		{
    833.   		SSL_CTX_remove_session(s->ctx,s->session);
             ^
    834.   		return(1);
    835.   		}

ssl/ssl_sess.c:600:1: Parameter `ctx->sessions->num_items`
      598.   	}
      599.   
      600. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      601.   {
      602.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:602:9: Call
      600.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      601.   {
      602.   	return remove_session_lock(ctx, c, 1);
                     ^
      603.   }
      604.   

ssl/ssl_sess.c:605:1: Parameter `ctx->sessions->num_items`
        603.   }
        604.   
        605. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
        606.   	{
        607.   	SSL_SESSION *r;

ssl/ssl_sess.c:616:21: Call
        614.   			{
        615.   			ret=1;
        616.   			r=(SSL_SESSION *)lh_delete(ctx->sessions,c);
                                   ^
        617.   			SSL_SESSION_list_remove(ctx,c);
        618.   			}

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 - 1):unsigned64 by call to `SSL_free` 
          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)))
