ssl/s3_srvr.c:346: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `ssl3_send_server_key_exchange`.
Showing all 13 steps of the trace


ssl/s3_srvr.c:163:1: Parameter `s->ctx->sessions->num_items`
161.   	}
162.   
163. > int ssl3_accept(SSL *s)
164.   	{
165.   	BUF_MEM *buf;

ssl/s3_srvr.c:346:9: Call
344.   			    )
345.   				{
346.   				ret=ssl3_send_server_key_exchange(s);
               ^
347.   				if (ret <= 0) goto end;
348.   				}

ssl/s3_srvr.c:1014:1: Parameter `s->ctx->sessions->num_items`
  1012.   	}
  1013.   
  1014. > static int ssl3_send_server_key_exchange(SSL *s)
  1015.   	{
  1016.   #ifndef OPENSSL_NO_RSA

ssl/s3_srvr.c:1249:2: Call
  1247.   	return(ssl3_do_write(s,SSL3_RT_HANDSHAKE));
  1248.   f_err:
  1249.   	ssl3_send_alert(s,SSL3_AL_FATAL,al);
           ^
  1250.   err:
  1251.   	EVP_MD_CTX_cleanup(&md_ctx);

ssl/s3_pkt.c:1187:1: Parameter `s->ctx->sessions->num_items`
    1185.   	}
    1186.   
    1187. > void ssl3_send_alert(SSL *s, int level, int desc)
    1188.   	{
    1189.   	/* Map tls/ssl alert value to correct one */

ssl/s3_pkt.c:1196:3: Call
    1194.   	/* If a fatal one, remove from cache */
    1195.   	if ((level == 2) && (s->session != NULL))
    1196.   		SSL_CTX_remove_session(s->ctx,s->session);
              ^
    1197.   
    1198.   	s->s3->alert_dispatch=1;

ssl/ssl_sess.c:464:1: Parameter `ctx->sessions->num_items`
      462.   	}
      463.   
      464. > int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      465.   {
      466.   	return remove_session_lock(ctx, c, 1);

ssl/ssl_sess.c:466:9: Call
      464.   int SSL_CTX_remove_session(SSL_CTX *ctx, SSL_SESSION *c)
      465.   {
      466.   	return remove_session_lock(ctx, c, 1);
                     ^
      467.   }
      468.   

ssl/ssl_sess.c:469:1: Parameter `ctx->sessions->num_items`
        467.   }
        468.   
        469. > static int remove_session_lock(SSL_CTX *ctx, SSL_SESSION *c, int lck)
        470.   	{
        471.   	SSL_SESSION *r;

ssl/ssl_sess.c:480:21: Call
        478.   			{
        479.   			ret=1;
        480.   			r=(SSL_SESSION *)lh_delete(ctx->sessions,c);
                                   ^
        481.   			SSL_SESSION_list_remove(ctx,c);
        482.   			}

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, +oo] - 1):unsigned64 by call to `ssl3_send_server_key_exchange` 
          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)))
