ssl/record/rec_layer_s3.c:602: 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:346:1: Parameter `s->rlayer.numwpipes`
344.    * not all data has been sent or non-blocking IO.
345.    */
346. > int ssl3_write_bytes(SSL *s, int type, const void *buf_, size_t len,
347.                        size_t *written)
348.   {

ssl/record/rec_layer_s3.c:602:13: Call
600.           }
601.   
602.           i = do_ssl3_write(s, type, &(buf[tot]), pipelens, numpipes, 0,
                   ^
603.                             &tmpwrit);
604.           if (i <= 0) {

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

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:654:16: Call
  652.        */
  653.       if (RECORD_LAYER_write_pending(&s->rlayer))
  654.           return ssl3_write_pending(s, type, buf, totlen, written);
                        ^
  655.   
  656.       /* If we have an alert to send, lets send it */

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