crypto/modes/wrap128.c:349: error: INTEGER_OVERFLOW_L2
  ([-1, `inlen` - 1] - 1):unsigned64.
Showing all 4 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: Assignment
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;

crypto/modes/wrap128.c:349:9: Binary operation: ([-1, inlen - 1] - 1):unsigned64
347.   
348.       ptext_len = (aiv[4] << 24) | (aiv[5] << 16) | (aiv[6] << 8) | aiv[7];
349.       if (8 * (n - 1) >= ptext_len || ptext_len > 8 * n) {
               ^
350.           OPENSSL_cleanse(out, inlen);
351.           return 0;
