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


crypto/evp/e_aes.c:2471:1: <LHS trace>
2469.   	}
2470.   
2471. > static int aes_ocb_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
2472.   		const unsigned char *in, size_t len)
2473.   	{

crypto/evp/e_aes.c:2471:1: Parameter `len`
2469.   	}
2470.   
2471. > static int aes_ocb_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
2472.   		const unsigned char *in, size_t len)
2473.   	{

crypto/evp/e_aes.c:2471:1: <RHS trace>
2469.   	}
2470.   
2471. > static int aes_ocb_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
2472.   		const unsigned char *in, size_t len)
2473.   	{

crypto/evp/e_aes.c:2471:1: Parameter `len`
2469.   	}
2470.   
2471. > static int aes_ocb_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
2472.   		const unsigned char *in, size_t len)
2473.   	{

crypto/evp/e_aes.c:2563:9: Binary operation: ([0, +oo] - [0, 15]):unsigned64
2561.   			else
2562.   				{
2563.   				if(!CRYPTO_ocb128_decrypt(&octx->ocb, in, out, len-trailing_len))
                ^
2564.   					return -1;
2565.   				}
