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


ssl/d1_pkt.c:493:1: Parameter `s->ctx->sessions->num_items`
491.    */
492.   /* used only by dtls1_read_bytes */
493. > int dtls1_get_record(SSL *s)
494.   	{
495.   	int ssl_major,ssl_minor,al;

ssl/d1_pkt.c:509:9: Call
507.   	/* The epoch may have changed.  If so, process all the
508.   	 * pending records.  This is a non-blocking operation. */
509.   	if ( ! dtls1_process_buffered_records(s))
               ^
510.               return 0;
511.   

ssl/d1_pkt.c:254:1: Parameter `s->ctx->sessions->num_items`
  252.                      &((s)->d1->processed_rcds))
  253.   
  254. > static int
  255.   dtls1_process_buffered_records(SSL *s)
  256.       {

ssl/d1_pkt.c:632:9: Call
630.   		}
631.   
632.   	if ( ! dtls1_process_record(s))
               ^
633.   		return(0);
634.   

ssl/d1_pkt.c:334:1: Parameter `s->ctx->sessions->num_items`
  332.   #endif
  333.   
  334. > static int
  335.   dtls1_process_record(SSL *s)
  336.   {

ssl/d1_pkt.c:478:2: Call
  476.   	SSLerr(SSL_F_DTLS1_PROCESS_RECORD,SSL_R_DECRYPTION_FAILED_OR_BAD_RECORD_MAC);
  477.   f_err:
  478.   	ssl3_send_alert(s,SSL3_AL_FATAL,al);
          ^
  479.   err:
  480.   	return(0);

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):unsigned64 by call to `dtls1_process_record` 
          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)))
