crypto/gmac/gmac.c:66: error: INTEGER_OVERFLOW_L1
  (2147483647 + 7):signed32 by call to `EVP_EncryptUpdate`.
Showing all 7 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:376:1: Parameter `inl`
  374.   
  375.   
  376. > int EVP_EncryptUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
  377.                         const unsigned char *in, int inl)
  378.   {

crypto/evp/evp_enc.c:385:12: Call
  383.       }
  384.   
  385.       return evp_EncryptDecryptUpdate(ctx, out, outl, in, inl);
                    ^
  386.   }
  387.   

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

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

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

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