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


ssl/d1_pkt.c:706:1: Parameter `s->ctx->sessions->num_items`
704.    *             none of our business
705.    */
706. > int dtls1_read_bytes(SSL *s, int type, unsigned char *buf, int len, int peek)
707.   	{
708.   	int al,i,j,ret;

ssl/d1_pkt.c:1250:2: Call
1248.   
1249.   f_err:
1250.   	ssl3_send_alert(s,SSL3_AL_FATAL,al);
         ^
1251.   err:
1252.   	return(-1);

ssl/s3_pkt.c:1353:1: Parameter `s->ctx->sessions->num_items`
  1351.   	}
  1352.   
  1353. > int ssl3_send_alert(SSL *s, int level, int desc)
  1354.   	{
  1355.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1362:3: Call
  1360.   	/* If a fatal one, remove from cache */
  1361.   	if ((level == 2) && (s->session != NULL))
  1362.   		SSL_CTX_remove_session(s->ctx,s->session);
            ^
  1363.   
  1364.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:653:1: Parameter `ctx->sessions->num_items`
    651.   	}
    652.   
    653. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
    654.   {
    655.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:655:9: Call
    653.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
    654.   {
    655.   	return remove_session_lock(ctx, c, 1);
                   ^
    656.   }
    657.   

ssl/ssl_sess.c:658:1: Parameter `ctx->sessions->num_items`
      656.   }
      657.   
      658. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
      659.   	{
      660.   	SSL_SESSION *r;

ssl/ssl_sess.c:669:6: Call
      667.   			{
      668.   			ret=1;
      669.   			r=lh_SSL_SESSION_delete(ctx->sessions,c);
                  ^
      670.   			SSL_SESSION_list_remove(ctx,c);
      671.   			}

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, max(0, s->ctx->sessions->num_items)] - 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)))
