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


crypto/modes/wrap128.c:291:1: <LHS trace>
289.    *                     Output length if unwrapping succeeded and IV matches.
290.    */
291. > size_t CRYPTO_128_unwrap_pad(void *key, const unsigned char *icv,
292.                                unsigned char *out,
293.                                const unsigned char *in, size_t inlen,

crypto/modes/wrap128.c:291:1: Parameter `inlen`
289.    *                     Output length if unwrapping succeeded and IV matches.
290.    */
291. > size_t CRYPTO_128_unwrap_pad(void *key, const unsigned char *icv,
292.                                unsigned char *out,
293.                                const unsigned char *in, size_t inlen,

crypto/modes/wrap128.c:297:5: Binary operation: ([0, inlen] - 1):unsigned64
295.   {
296.       /* n: number of 64-bit blocks in the padded key data */
297.       size_t n = inlen / 8 - 1;
           ^
298.       size_t padded_len;
299.       size_t padding_len;
