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


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

test/tls13encryptiontest.c:224:1: Parameter `rec->length`
  222.   }
  223.   
  224. > static int load_record(SSL3_RECORD *rec, RECORD_DATA *recd, unsigned char **key,
  225.                          unsigned char *iv, size_t ivlen, unsigned char *seq)
  226.   {

test/tls13encryptiontest.c:350:14: Call
348.   
349.           /* Encrypt it */
350.           if (!TEST_size_t_eq(tls13_enc(s, &rec, 1, 1), 1)) {
                    ^
351.               TEST_info("Failed to encrypt record %"OSSLzu"", ctr);
352.               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 send)
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 send)
  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 send)
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 send)
  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.   
