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


test/tls13encryptiontest.c:340:14: Call
338.           /* Load the record */
339.           ivlen = EVP_CIPHER_iv_length(ciph);
340.           if (!load_record(&rec, &refdata[ctr], &key, s->read_iv, ivlen,
                    ^
341.                            RECORD_LAYER_get_read_sequence(&s->rlayer))) {
342.               TEST_error("Failed loading key into EVP_CIPHER_CTX");

test/tls13encryptiontest.c:234:1: Parameter `rec->length`
  232.   }
  233.   
  234. > static int load_record(SSL3_RECORD *rec, RECORD_DATA *recd, unsigned char **key,
  235.                          unsigned char *iv, size_t ivlen, unsigned char *seq)
  236.   {

test/tls13encryptiontest.c:360:14: Call
358.   
359.           /* Encrypt it */
360.           if (!TEST_size_t_eq(tls13_enc(s, &rec, 1, 1), 1)) {
                    ^
361.               TEST_info("Failed to encrypt record %"OSSLzu"", ctr);
362.               goto err;

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.   
