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


test/tls13encryptiontest.c:336:14: Call
334.           /* Load the record */
335.           ivlen = EVP_CIPHER_iv_length(ciph);
336.           if (!load_record(&rec, &refdata[ctr], &key, s->read_iv, ivlen,
                    ^
337.                            RECORD_LAYER_get_read_sequence(&s->rlayer))) {
338.               fprintf(stderr, "Failed loading key into EVP_CIPHER_CTX\n");

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:356:13: Call
354.   
355.           /* Encrypt it */
356.           if (tls13_enc(s, &rec, 1, 1) != 1) {
                   ^
357.               fprintf(stderr, "Failed to encrypt record %"OSSLzu"\n", ctr);
358.               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:91:9: Binary operation: ([9, +oo] - [8, 16]):unsigned64 by call to `tls13_enc` 
  89.           if (rec->length < taglen + 1)
  90.               return 0;
  91.           rec->length -= taglen;
                ^
  92.       }
  93.   
