ssl/record/rec_layer_s3.c:890: 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:890:12: Call
888.   
889.       /* we now just need to write the buffer */
890.       return ssl3_write_pending(s, type, buf, totlen, written);
                  ^
891.    err:
892.       return -1;

ssl/record/rec_layer_s3.c:899:1: <LHS trace>
897.    * Return values are as per SSL_write()
898.    */
899. > int ssl3_write_pending(SSL *s, int type, const unsigned char *buf, size_t len,
900.                          size_t *written)
901.   {

ssl/record/rec_layer_s3.c:899:1: Parameter `s->rlayer.numwpipes`
  897.    * Return values are as per SSL_write()
  898.    */
  899. > int ssl3_write_pending(SSL *s, int type, const unsigned char *buf, size_t len,
  900.                          size_t *written)
  901.   {

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