crypto/evp/e_aes.c:1480: error: INTEGER_OVERFLOW_L2
  ([0, 3071] - [1, 3071]):unsigned64 by call to `CRYPTO_gcm128_encrypt_ctr32`.
Showing all 9 steps of the trace


crypto/evp/e_aes.c:1441:1: Parameter `len`
1439.    */
1440.   
1441. > static int aes_gcm_tls_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
1442.                                 const unsigned char *in, size_t len)
1443.   {

crypto/evp/e_aes.c:1464:5: Assignment
1462.       in += EVP_GCM_TLS_EXPLICIT_IV_LEN;
1463.       out += EVP_GCM_TLS_EXPLICIT_IV_LEN;
1464.       len -= EVP_GCM_TLS_EXPLICIT_IV_LEN + EVP_GCM_TLS_TAG_LEN;
            ^
1465.       if (ctx->encrypt) {
1466.           /* Encrypt payload */

crypto/evp/e_aes.c:1480:17: Call
1478.               }
1479.   # endif
1480.               if (CRYPTO_gcm128_encrypt_ctr32(&gctx->gcm,
                        ^
1481.                                               in + bulk,
1482.                                               out + bulk,

crypto/modes/gcm128.c:1397:1: <LHS trace>
1395.   }
1396.   
1397. > int CRYPTO_gcm128_encrypt_ctr32(GCM128_CONTEXT *ctx,
1398.                                   const unsigned char *in, unsigned char *out,
1399.                                   size_t len, ctr128_f stream)

crypto/modes/gcm128.c:1397:1: Parameter `len`
  1395.   }
  1396.   
  1397. > int CRYPTO_gcm128_encrypt_ctr32(GCM128_CONTEXT *ctx,
  1398.                                   const unsigned char *in, unsigned char *out,
  1399.                                   size_t len, ctr128_f stream)

crypto/modes/gcm128.c:1397:1: <RHS trace>
1395.   }
1396.   
1397. > int CRYPTO_gcm128_encrypt_ctr32(GCM128_CONTEXT *ctx,
1398.                                   const unsigned char *in, unsigned char *out,
1399.                                   size_t len, ctr128_f stream)

crypto/modes/gcm128.c:1397:1: Parameter `len`
  1395.   }
  1396.   
  1397. > int CRYPTO_gcm128_encrypt_ctr32(GCM128_CONTEXT *ctx,
  1398.                                   const unsigned char *in, unsigned char *out,
  1399.                                   size_t len, ctr128_f stream)

crypto/modes/gcm128.c:1472:10: Assignment
  1470.       }
  1471.   # endif
  1472.       if ((i = (len & (size_t)-16))) {
                   ^
  1473.           size_t j = i / 16;
  1474.   

crypto/modes/gcm128.c:1486:9: Binary operation: ([0, 3071] - [1, 3071]):unsigned64 by call to `CRYPTO_gcm128_encrypt_ctr32` 
  1484.               ctx->Yi.d[3] = ctr;
  1485.           in += i;
  1486.           len -= i;
                  ^
  1487.   # if defined(GHASH)
  1488.           GHASH(ctx, out, i);
