ssl/record/rec_layer_s3.c:947: error: INTEGER_OVERFLOW_L2
  ([9, +oo] - [8, 16]):unsigned64 by call to `tls13_enc`.
Showing all 8 steps of the trace


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

ssl/record/rec_layer_s3.c:833:9: Assignment
831.           /* lets setup the record stuff. */
832.           SSL3_RECORD_set_data(thiswr, compressdata);
833.           SSL3_RECORD_set_length(thiswr, pipelens[j]);
               ^
834.           SSL3_RECORD_set_input(thiswr, (unsigned char *)&buf[totlen]);
835.           totlen += pipelens[j];

ssl/record/rec_layer_s3.c:947:13: Call
945.            * send early data - so we need to use the tls13enc function.
946.            */
947.           if (tls13_enc(s, wr, numpipes, 1) < 1)
                   ^
948.               goto err;
949.       } else {

ssl/record/ssl3_record_tls13.c:23:1: <LHS trace>
21.    *       an internal error occurred.
22.    */
23. > int tls13_enc(SSL *s, SSL3_RECORD *recs, size_t n_recs, int sending)
24.   {
25.       EVP_CIPHER_CTX *ctx;

ssl/record/ssl3_record_tls13.c:23:1: Parameter `recs->length`
  21.    *       an internal error occurred.
  22.    */
  23. > int tls13_enc(SSL *s, SSL3_RECORD *recs, size_t n_recs, int sending)
  24.   {
  25.       EVP_CIPHER_CTX *ctx;

ssl/record/ssl3_record_tls13.c:23:1: <RHS trace>
21.    *       an internal error occurred.
22.    */
23. > int tls13_enc(SSL *s, SSL3_RECORD *recs, size_t n_recs, int sending)
24.   {
25.       EVP_CIPHER_CTX *ctx;

ssl/record/ssl3_record_tls13.c:23:1: Parameter `recs->length`
  21.    *       an internal error occurred.
  22.    */
  23. > int tls13_enc(SSL *s, SSL3_RECORD *recs, size_t n_recs, int sending)
  24.   {
  25.       EVP_CIPHER_CTX *ctx;

ssl/record/ssl3_record_tls13.c:94:9: Binary operation: ([9, +oo] - [8, 16]):unsigned64 by call to `tls13_enc` 
  92.           if (rec->length < taglen + 1)
  93.               return 0;
  94.           rec->length -= taglen;
                ^
  95.       }
  96.   
