ssl/s3_srvr.c:1031: error: INTEGER_OVERFLOW_L2
  ([0, `s->ctx->sessions->num_items` + 1] - 1):unsigned64 by call to `ssl3_send_alert`.
Showing all 11 steps of the trace


ssl/s3_srvr.c:677:1: Parameter `s->ctx->sessions->num_items`
675.   }
676.   
677. > int ssl3_get_client_hello(SSL *s)
678.   	{
679.   	int i,j,ok,al,ret= -1;

ssl/s3_srvr.c:1031:3: Call
1029.   		{
1030.   f_err:
1031.   		ssl3_send_alert(s,SSL3_AL_FATAL,al);
          ^
1032.   		}
1033.   err:

ssl/s3_pkt.c:1258:1: Parameter `s->ctx->sessions->num_items`
  1256.   	}
  1257.   
  1258. > void ssl3_send_alert(SSL *s, int level, int desc)
  1259.   	{
  1260.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1267:3: Call
  1265.   	/* If a fatal one, remove from cache */
  1266.   	if ((level == 2) && (s->session != NULL))
  1267.   		SSL_CTX_remove_session(s->ctx,s->session);
            ^
  1268.   
  1269.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:486:1: Parameter `ctx->sessions->num_items`
    484.   	}
    485.   
    486. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
    487.   {
    488.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:488:9: Call
    486.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
    487.   {
    488.   	return remove_session_lock(ctx, c, 1);
                   ^
    489.   }
    490.   

ssl/ssl_sess.c:491:1: Parameter `ctx->sessions->num_items`
      489.   }
      490.   
      491. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
      492.   	{
      493.   	SSL_SESSION *r;

ssl/ssl_sess.c:502:21: Call
      500.   			{
      501.   			ret=1;
      502.   			r=(SSL_SESSION *)lh_delete(ctx->sessions,c);
                                 ^
      503.   			SSL_SESSION_list_remove(ctx,c);
      504.   			}

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