ssl/record/rec_layer_s3.c:990: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `ssl3_write_pending`.
Showing all 5 steps of the trace


ssl/record/rec_layer_s3.c:632:1: Parameter `numpipes`
630.   }
631.   
632. > int do_ssl3_write(SSL *s, int type, const unsigned char *buf,
633.                     size_t *pipelens, size_t numpipes,
634.                     int create_empty_fragment, size_t *written)

ssl/record/rec_layer_s3.c:990:12: Call
988.   
989.       /* we now just need to write the buffer */
990.       return ssl3_write_pending(s, type, buf, totlen, written);
                  ^
991.    err:
992.       for (j = 0; j < wpinited; j++)

ssl/record/rec_layer_s3.c:1001:1: <LHS trace>
999.    * Return values are as per SSL_write()
1000.    */
1001. > int ssl3_write_pending(SSL *s, int type, const unsigned char *buf, size_t len,
1002.                          size_t *written)
1003.   {

ssl/record/rec_layer_s3.c:1001:1: Parameter `s->rlayer.numwpipes`
  999.    * Return values are as per SSL_write()
  1000.    */
  1001. > int ssl3_write_pending(SSL *s, int type, const unsigned char *buf, size_t len,
  1002.                          size_t *written)
  1003.   {

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