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


ssl/s3_pkt.c:674:1: Parameter `s->ctx->sessions->num_items`
672.   	}
673.   
674. > int ssl3_read_bytes(SSL *s, int type, unsigned char *buf, int len)
675.   	{
676.   	int al,i,j,n,ret;

ssl/s3_pkt.c:707:7: Call
705.   	if ((rr->length == 0) || (s->rstate == SSL_ST_READ_BODY))
706.   		{
707.   		ret=ssl3_get_record(s);
             ^
708.   		if (ret <= 0) return(ret);
709.   		}

ssl/s3_pkt.c:223:1: Parameter `s->ctx->sessions->num_items`
  221.    * ssl->s3->rrec.length, - number of bytes
  222.    */
  223. > static int ssl3_get_record(SSL *s)
  224.   	{
  225.   	int ssl_major,ssl_minor,al;

ssl/s3_pkt.c:429:2: Call
  427.   	return(1);
  428.   f_err:
  429.   	ssl3_send_alert(s,SSL3_AL_FATAL,al);
          ^
  430.   err:
  431.   	return(ret);

ssl/s3_pkt.c:1024:1: Parameter `s->ctx->sessions->num_items`
    1022.   	}
    1023.   
    1024. > void ssl3_send_alert(SSL *s, int level, int desc)
    1025.   	{
    1026.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1031:3: Call
    1029.   	/* If a fatal one, remove from cache */
    1030.   	if ((level == 2) && (s->session != NULL))
    1031.   		SSL_CTX_remove_session(s->ctx,s->session);
              ^
    1032.   
    1033.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:325:1: Parameter `ctx->sessions->num_items`
      323.   	}
      324.   
      325. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      326.   	{
      327.   	SSL_SESSION *r;

ssl/ssl_sess.c:333:20: Call
      331.   		{
      332.   		CRYPTO_w_lock(CRYPTO_LOCK_SSL_CTX);
      333.   		r=(SSL_SESSION *)lh_delete(ctx->sessions,(char *)c);
                                ^
      334.   		if (r != NULL)
      335.   			{

crypto/lhash/lhash.c:231:1: <LHS trace>
229.   	}
230.   
231. > char *lh_delete(LHASH *lh, char *data)
232.   	{
233.   	unsigned long hash;

crypto/lhash/lhash.c:231:1: Parameter `lh->num_items`
        229.   	}
        230.   
        231. > char *lh_delete(LHASH *lh, char *data)
        232.   	{
        233.   	unsigned long hash;

crypto/lhash/lhash.c:254:2: Binary operation: ([0, s->ctx->sessions->num_items] - 1):unsigned64 by call to `ssl3_get_record` 
        252.   		}
        253.   
        254.   	lh->num_items--;
                ^
        255.   	if ((lh->num_nodes > MIN_NODES) &&
        256.   		(lh->down_load >= (lh->num_items*LH_LOAD_MULT/lh->num_nodes)))
