ssl/s3_srvr.c:1394: 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:1197:1: Parameter `s->ctx->sessions->num_items`
1195.   	}
1196.   
1197. > static int ssl3_get_client_key_exchange(SSL *s)
1198.   	{
1199.   	int i,al,ok;

ssl/s3_srvr.c:1212:4: Call
1210.   #endif
1211.   
1212.   	n=ssl3_get_message(s,
           ^
1213.   		SSL3_ST_SR_KEY_EXCH_A,
1214.   		SSL3_ST_SR_KEY_EXCH_B,

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

ssl/s3_srvr.c:1394:2: Call
1392.   	return(1);
1393.   f_err:
1394.   	ssl3_send_alert(s,SSL3_AL_FATAL,al);
         ^
1395.   #if !defined(NO_DH) || !defined(NO_RSA)
1396.   err:

ssl/s3_pkt.c:1037:1: Parameter `s->ctx->sessions->num_items`
  1035.   	}
  1036.   
  1037. > void ssl3_send_alert(SSL *s, int level, int desc)
  1038.   	{
  1039.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1044:3: Call
  1042.   	/* If a fatal one, remove from cache */
  1043.   	if ((level == 2) && (s->session != NULL))
  1044.   		SSL_CTX_remove_session(s->ctx,s->session);
            ^
  1045.   
  1046.   	s->s3->alert_dispatch=1;

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

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

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

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

crypto/lhash/lhash.c:220:1: <LHS trace>
218.   	}
219.   
220. > char *lh_delete(LHASH *lh, char *data)
221.   	{
222.   	unsigned long hash;

crypto/lhash/lhash.c:220:1: Parameter `lh->num_items`
        218.   	}
        219.   
        220. > char *lh_delete(LHASH *lh, char *data)
        221.   	{
        222.   	unsigned long hash;

crypto/lhash/lhash.c:243:2: Binary operation: ([0, s->ctx->sessions->num_items] - 1):unsigned64 by call to `ssl3_send_alert` 
        241.   		}
        242.   
        243.   	lh->num_items--;
                ^
        244.   	if ((lh->num_nodes > MIN_NODES) &&
        245.   		(lh->down_load >= (lh->num_items*LH_LOAD_MULT/lh->num_nodes)))
