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


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:605:13: Call
603.           }
604.   
605.           i = do_ssl3_write(s, type, &(buf[tot]), pipelens, numpipes, 0,
                   ^
606.                             &tmpwrit);
607.           if (i <= 0) {

ssl/record/rec_layer_s3.c:635:1: Parameter `s->rlayer.numwpipes`
  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:656:9: Call
  654.        * will happen with non blocking IO
  655.        */
  656.       if (RECORD_LAYER_write_pending(&s->rlayer))
                 ^
  657.           return ssl3_write_pending(s, type, buf, totlen, written);
  658.   

ssl/record/rec_layer_s3.c:92:1: Parameter `rl->numwpipes`
    90.   }
    91.   
    92. > int RECORD_LAYER_write_pending(const RECORD_LAYER *rl)
    93.   {
    94.       return (rl->numwpipes > 0)

ssl/record/rec_layer_s3.c:657:16: Call
  655.        */
  656.       if (RECORD_LAYER_write_pending(&s->rlayer))
  657.           return ssl3_write_pending(s, type, buf, totlen, written);
                        ^
  658.   
  659.       /* If we have an alert to send, lets send it */

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