ssl/s3_clnt.c:256: error: INTEGER_OVERFLOW_L2
  ([0, `s->ctx->sessions->num_items`] - 1):unsigned64 by call to `ssl3_get_server_hello`.
Showing all 13 steps of the trace


ssl/s3_clnt.c:159:1: Parameter `s->ctx->sessions->num_items`
157.   			ssl3_get_client_method)
158.   
159. > int ssl3_connect(SSL *s)
160.   	{
161.   	BUF_MEM *buf=NULL;

ssl/s3_clnt.c:256:8: Call
254.   		case SSL3_ST_CR_SRVR_HELLO_A:
255.   		case SSL3_ST_CR_SRVR_HELLO_B:
256.   			ret=ssl3_get_server_hello(s);
              ^
257.   			if (ret <= 0) goto end;
258.   #ifndef OPENSSL_NO_TLSEXT

ssl/s3_clnt.c:642:1: Parameter `s->ctx->sessions->num_items`
  640.   	}
  641.   
  642. > int ssl3_get_server_hello(SSL *s)
  643.   	{
  644.   	STACK_OF(SSL_CIPHER) *sk;

ssl/s3_clnt.c:831:2: Call
  829.   	return(1);
  830.   f_err:
  831.   	ssl3_send_alert(s,SSL3_AL_FATAL,al);
          ^
  832.   err:
  833.   	return(-1);

ssl/s3_pkt.c:1269:1: Parameter `s->ctx->sessions->num_items`
    1267.   	}
    1268.   
    1269. > void ssl3_send_alert(SSL *s, int level, int desc)
    1270.   	{
    1271.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1278:3: Call
    1276.   	/* If a fatal one, remove from cache */
    1277.   	if ((level == 2) && (s->session != NULL))
    1278.   		SSL_CTX_remove_session(s->ctx,s->session);
              ^
    1279.   
    1280.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:542:1: Parameter `ctx->sessions->num_items`
      540.   	}
      541.   
      542. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      543.   {
      544.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:544:9: Call
      542.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      543.   {
      544.   	return remove_session_lock(ctx, c, 1);
                     ^
      545.   }
      546.   

ssl/ssl_sess.c:547:1: Parameter `ctx->sessions->num_items`
        545.   }
        546.   
        547. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
        548.   	{
        549.   	SSL_SESSION *r;

ssl/ssl_sess.c:558:21: Call
        556.   			{
        557.   			ret=1;
        558.   			r=(SSL_SESSION *)lh_delete(ctx->sessions,c);
                                   ^
        559.   			SSL_SESSION_list_remove(ctx,c);
        560.   			}

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, s->ctx->sessions->num_items] - 1):unsigned64 by call to `ssl3_get_server_hello` 
          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)))
