crypto/gmac/gmac.c:66: error: INTEGER_OVERFLOW_L1
  (2147483647 + 7):signed32 by call to `EVP_EncryptUpdate`.
Showing all 5 steps of the trace


crypto/gmac/gmac.c:66:14: Call
64.   
65.       while (datalen > INT_MAX) {
66.           if (!EVP_EncryptUpdate(ctx, NULL, &outlen, data, INT_MAX))
                   ^
67.               return 0;
68.           data += INT_MAX;

crypto/evp/evp_enc.c:297:1: <LHS trace>
295.   }
296.   
297. > int EVP_EncryptUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
298.                         const unsigned char *in, int inl)
299.   {

crypto/evp/evp_enc.c:297:1: Parameter `inl`
  295.   }
  296.   
  297. > int EVP_EncryptUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
  298.                         const unsigned char *in, int inl)
  299.   {

crypto/evp/evp_enc.c:300:5: Assignment
  298.                         const unsigned char *in, int inl)
  299.   {
  300.       int i, j, bl, cmpl = inl;
             ^
  301.   
  302.       if (EVP_CIPHER_CTX_test_flags(ctx, EVP_CIPH_FLAG_LENGTH_BITS))

crypto/evp/evp_enc.c:303:9: Binary operation: (2147483647 + 7):signed32 by call to `EVP_EncryptUpdate` 
  301.   
  302.       if (EVP_CIPHER_CTX_test_flags(ctx, EVP_CIPH_FLAG_LENGTH_BITS))
  303.           cmpl = (cmpl + 7) / 8;
                 ^
  304.   
  305.       bl = ctx->cipher->block_size;
