ssl/record/rec_layer_s3.c:893: 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:635:1: Parameter `numpipes`
633.   }
634.   
635. > int do_ssl3_write(SSL *s, int type, const unsigned char *buf,
636.                     size_t *pipelens, size_t numpipes,
637.                     int create_empty_fragment, size_t *written)

ssl/record/rec_layer_s3.c:893:12: Call
891.   
892.       /* we now just need to write the buffer */
893.       return ssl3_write_pending(s, type, buf, totlen, written);
                  ^
894.    err:
895.       return -1;

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 `ssl3_write_pending` 
  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;
