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


crypto/evp/e_aes.c:2317:1: <LHS trace>
2315.   }
2316.   
2317. > static int aes_ocb_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
2318.                             const unsigned char *in, size_t len)
2319.   {

crypto/evp/e_aes.c:2317:1: Parameter `len`
2315.   }
2316.   
2317. > static int aes_ocb_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
2318.                             const unsigned char *in, size_t len)
2319.   {

crypto/evp/e_aes.c:2317:1: <RHS trace>
2315.   }
2316.   
2317. > static int aes_ocb_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
2318.                             const unsigned char *in, size_t len)
2319.   {

crypto/evp/e_aes.c:2317:1: Parameter `len`
2315.   }
2316.   
2317. > static int aes_ocb_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
2318.                             const unsigned char *in, size_t len)
2319.   {

crypto/evp/e_aes.c:2392:22: Binary operation: ([0, +oo] - [0, 15]):unsigned64
2390.           if (len != trailing_len) {
2391.               if (out == NULL) {
2392.                   if (!CRYPTO_ocb128_aad(&octx->ocb, in, len - trailing_len))
                             ^
2393.                       return -1;
2394.               } else if (ctx->encrypt) {
