crypto/modes/wrap128.c:302: error: INTEGER_OVERFLOW_L2
  ([0, `inlen`] - 1):unsigned64.
Showing all 3 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: Binary operation: ([0, inlen] - 1):unsigned64
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;
