ssl/record/rec_layer_s3.c:920: 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:632:1: Parameter `*pipelens`
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:835:9: Assignment
833.           /* lets setup the record stuff. */
834.           SSL3_RECORD_set_data(thiswr, compressdata);
835.           SSL3_RECORD_set_length(thiswr, pipelens[j]);
               ^
836.           SSL3_RECORD_set_input(thiswr, (unsigned char *)&buf[totlen]);
837.           totlen += pipelens[j];

ssl/record/rec_layer_s3.c:920:13: Call
918.            * send early data - so we need to use the the tls13enc function.
919.            */
920.           if (tls13_enc(s, wr, numpipes, 1) < 1)
                   ^
921.               goto err;
922.       } else {

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

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

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

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

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