crypto/evp/e_aes.c:2618: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - [0, 15]):unsigned64.
Showing all 5 steps of the trace


crypto/evp/e_aes.c:2540:1: <LHS trace>
2538.   }
2539.   
2540. > static int aes_ocb_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
2541.                             const unsigned char *in, size_t len)
2542.   {

crypto/evp/e_aes.c:2540:1: Parameter `len`
2538.   }
2539.   
2540. > static int aes_ocb_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
2541.                             const unsigned char *in, size_t len)
2542.   {

crypto/evp/e_aes.c:2540:1: <RHS trace>
2538.   }
2539.   
2540. > static int aes_ocb_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
2541.                             const unsigned char *in, size_t len)
2542.   {

crypto/evp/e_aes.c:2540:1: Parameter `len`
2538.   }
2539.   
2540. > static int aes_ocb_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
2541.                             const unsigned char *in, size_t len)
2542.   {

crypto/evp/e_aes.c:2618:22: Binary operation: ([0, +oo] - [0, 15]):unsigned64
2616.                       return -1;
2617.               } else if (EVP_CIPHER_CTX_encrypting(ctx)) {
2618.                   if (!CRYPTO_ocb128_encrypt
                             ^
2619.                       (&octx->ocb, in, out, len - trailing_len))
2620.                       return -1;
