ssl/record/rec_layer_s3.c:985: 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:644:1: Parameter `*pipelens`
642.   }
643.   
644. > int do_ssl3_write(SSL *s, int type, const unsigned char *buf,
645.                     size_t *pipelens, size_t numpipes,
646.                     int create_empty_fragment, size_t *written)

ssl/record/rec_layer_s3.c:864:9: Assignment
862.           /* lets setup the record stuff. */
863.           SSL3_RECORD_set_data(thiswr, compressdata);
864.           SSL3_RECORD_set_length(thiswr, pipelens[j]);
               ^
865.           SSL3_RECORD_set_input(thiswr, (unsigned char *)&buf[totlen]);
866.           totlen += pipelens[j];

ssl/record/rec_layer_s3.c:985:13: Call
983.            * send early data - so we need to use the tls13enc function.
984.            */
985.           if (tls13_enc(s, wr, numpipes, 1) < 1) {
                   ^
986.               if (!ossl_statem_in_error(s)) {
987.                   SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_DO_SSL3_WRITE,

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

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

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

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

ssl/record/ssl3_record_tls13.c:116:9: Binary operation: ([9, +oo] - [8, 16]):unsigned64 by call to `tls13_enc` 
  114.           if (rec->length < taglen + 1)
  115.               return 0;
  116.           rec->length -= taglen;
                 ^
  117.       }
  118.   
