ssl/statem/statem.c:789: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `statem_do_write`.
Showing all 11 steps of the trace


ssl/statem/statem.c:704:1: Parameter `s->rlayer.numwpipes`
702.    * result in an NBIO event.
703.    */
704. > static SUB_STATE_RETURN write_state_machine(SSL *s)
705.   {
706.       OSSL_STATEM *st = &s->statem;

ssl/statem/statem.c:789:19: Call
787.                   dtls1_start_timer(s);
788.               }
789.               ret = statem_do_write(s);
                         ^
790.               if (ret <= 0) {
791.                   return SUB_STATE_ERROR;

ssl/statem/statem.c:648:1: Parameter `s->rlayer.numwpipes`
  646.    * Send a previously constructed message to the peer.
  647.    */
  648. > static int statem_do_write(SSL *s)
  649.   {
  650.       OSSL_STATEM *st = &s->statem;

ssl/statem/statem.c:657:20: Call
  655.               return dtls1_do_write(s, SSL3_RT_CHANGE_CIPHER_SPEC);
  656.           else
  657.               return ssl3_do_write(s, SSL3_RT_CHANGE_CIPHER_SPEC);
                            ^
  658.       } else {
  659.           return ssl_do_write(s);

ssl/statem/statem_lib.c:30:1: Parameter `s->rlayer.numwpipes`
    28.    * SSL3_RT_CHANGE_CIPHER_SPEC)
    29.    */
    30. > int ssl3_do_write(SSL *s, int type)
    31.   {
    32.       int ret;

ssl/statem/statem_lib.c:35:11: Call
    33.       size_t written = 0;
    34.   
    35.       ret = ssl3_write_bytes(s, type, &s->init_buf->data[s->init_off],
                    ^
    36.                              s->init_num, &written);
    37.       if (ret < 0)

ssl/record/rec_layer_s3.c:349:1: Parameter `s->rlayer.numwpipes`
      347.    * not all data has been sent or non-blocking IO.
      348.    */
      349. > int ssl3_write_bytes(SSL *s, int type, const void *buf_, size_t len,
      350.                        size_t *written)
      351.   {

ssl/record/rec_layer_s3.c:395:13: Call
      393.        */
      394.       if (wb->left != 0) {
      395.           i = ssl3_write_pending(s, type, &buf[tot], s->rlayer.wpend_tot,
                         ^
      396.                                  &tmpwrit);
      397.           if (i <= 0) {

ssl/record/rec_layer_s3.c:905:1: <LHS trace>
903.    * <0 Failure (may be retryable)
904.    */
905. > int ssl3_write_pending(SSL *s, int type, const unsigned char *buf, size_t len,
906.                          size_t *written)
907.   {

ssl/record/rec_layer_s3.c:905:1: Parameter `s->rlayer.numwpipes`
        903.    * <0 Failure (may be retryable)
        904.    */
        905. > int ssl3_write_pending(SSL *s, int type, const unsigned char *buf, size_t len,
        906.                          size_t *written)
        907.   {

ssl/record/rec_layer_s3.c:924:16: Binary operation: ([0, +oo] - 1):unsigned64 by call to `statem_do_write` 
        922.           /* Loop until we find a buffer we haven't written out yet */
        923.           if (SSL3_BUFFER_get_left(&wb[currbuf]) == 0
        924.               && currbuf < s->rlayer.numwpipes - 1) {
                              ^
        925.               currbuf++;
        926.               continue;
