crypto/modes/wrap128.c:355: error: INTEGER_OVERFLOW_L2
  ([-1, `inlen` - 1] - 1):unsigned64.
Showing all 4 steps of the trace


crypto/modes/wrap128.c:297:1: <LHS trace>
295.    *                     Output length if unwrapping succeeded and IV matches.
296.    */
297. > size_t CRYPTO_128_unwrap_pad(void *key, const unsigned char *icv,
298.   		unsigned char *out,
299.   		const unsigned char *in, size_t inlen, block128_f block)

crypto/modes/wrap128.c:297:1: Parameter `inlen`
295.    *                     Output length if unwrapping succeeded and IV matches.
296.    */
297. > size_t CRYPTO_128_unwrap_pad(void *key, const unsigned char *icv,
298.   		unsigned char *out,
299.   		const unsigned char *in, size_t inlen, block128_f block)

crypto/modes/wrap128.c:302:2: Assignment
300.   	{
301.   	/* n: number of 64-bit blocks in the padded key data */
302.   	size_t n = inlen / 8 - 1;
        ^
303.   	size_t padded_len;
304.   	size_t padding_len;

crypto/modes/wrap128.c:355:6: Binary operation: ([-1, inlen - 1] - 1):unsigned64
353.   
354.   	ptext_len = (aiv[4] << 24) | (aiv[5] << 16) | (aiv[6] << 8) | aiv[7];
355.   	if (8*(n-1) >= ptext_len || ptext_len > 8*n)
            ^
356.   		{
357.   		OPENSSL_cleanse(out, inlen);
