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


ssl/s3_srvr.c:1254:1: Parameter `s->ctx->sessions->num_items`
1252.   	}
1253.   
1254. > static int ssl3_get_client_key_exchange(SSL *s)
1255.   	{
1256.   	int i,al,ok;

ssl/s3_srvr.c:1272:4: Call
1270.   #endif /* NO_KRB5 */
1271.   
1272.   	n=ssl3_get_message(s,
           ^
1273.   		SSL3_ST_SR_KEY_EXCH_A,
1274.   		SSL3_ST_SR_KEY_EXCH_B,

ssl/s3_both.c:337:1: Parameter `s->ctx->sessions->num_items`
  335.    * the body is read in state 'stn'.
  336.    */
  337. > long ssl3_get_message(SSL *s, int st1, int stn, int mt, long max, int *ok)
  338.   	{
  339.   	unsigned char *p;

ssl/s3_srvr.c:1486:2: Call
1484.   	return(1);
1485.   f_err:
1486.   	ssl3_send_alert(s,SSL3_AL_FATAL,al);
         ^
1487.   #if !defined(NO_DH) || !defined(NO_RSA)
1488.   err:

ssl/s3_pkt.c:1149:1: Parameter `s->ctx->sessions->num_items`
  1147.   	}
  1148.   
  1149. > void ssl3_send_alert(SSL *s, int level, int desc)
  1150.   	{
  1151.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1156:3: Call
  1154.   	/* If a fatal one, remove from cache */
  1155.   	if ((level == 2) && (s->session != NULL))
  1156.   		SSL_CTX_remove_session(s->ctx,s->session);
            ^
  1157.   
  1158.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:413:1: Parameter `ctx->sessions->num_items`
    411.   	}
    412.   
    413. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
    414.   {
    415.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:415:9: Call
    413.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
    414.   {
    415.   	return remove_session_lock(ctx, c, 1);
                   ^
    416.   }
    417.   

ssl/ssl_sess.c:418:1: Parameter `ctx->sessions->num_items`
      416.   }
      417.   
      418. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
      419.   	{
      420.   	SSL_SESSION *r;

ssl/ssl_sess.c:426:20: Call
      424.   		{
      425.   		if(lck) CRYPTO_w_lock(CRYPTO_LOCK_SSL_CTX);
      426.   		r=(SSL_SESSION *)lh_delete(ctx->sessions,c);
                                ^
      427.   		if (r != NULL)
      428.   			{

crypto/lhash/lhash.c:217:1: <LHS trace>
215.   	}
216.   
217. > void *lh_delete(LHASH *lh, 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, 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_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)))
