crypto/evp/e_chacha20_poly1305.c:271: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - [0, 63]):unsigned64 by call to `chacha_cipher`.
Showing all 8 steps of the trace


crypto/evp/e_chacha20_poly1305.c:233:1: Parameter `len`
231.   }
232.   
233. > static int chacha20_poly1305_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
234.                                       const unsigned char *in, size_t len)
235.   {

crypto/evp/e_chacha20_poly1305.c:271:17: Call
269.   
270.               if (ctx->encrypt) {                 /* plaintext */
271.                   chacha_cipher(ctx, out, in, plen);
                       ^
272.                   Poly1305_Update(POLY1305_ctx(actx), out, plen);
273.                   in += plen;

crypto/evp/e_chacha20_poly1305.c:96:1: <LHS trace>
94.   }
95.   
96. > static int chacha_cipher(EVP_CIPHER_CTX * ctx, unsigned char *out,
97.                            const unsigned char *inp, size_t len)
98.   {

crypto/evp/e_chacha20_poly1305.c:96:1: Parameter `len`
  94.   }
  95.   
  96. > static int chacha_cipher(EVP_CIPHER_CTX * ctx, unsigned char *out,
  97.                            const unsigned char *inp, size_t len)
  98.   {

crypto/evp/e_chacha20_poly1305.c:96:1: <RHS trace>
94.   }
95.   
96. > static int chacha_cipher(EVP_CIPHER_CTX * ctx, unsigned char *out,
97.                            const unsigned char *inp, size_t len)
98.   {

crypto/evp/e_chacha20_poly1305.c:96:1: Parameter `len`
  94.   }
  95.   
  96. > static int chacha_cipher(EVP_CIPHER_CTX * ctx, unsigned char *out,
  97.                            const unsigned char *inp, size_t len)
  98.   {

crypto/evp/e_chacha20_poly1305.c:120:5: Assignment
  118.       }
  119.   
  120.       rem = (unsigned int)(len % CHACHA_BLK_SIZE);
             ^
  121.       len -= rem;
  122.       ctr32 = key->counter[0];

crypto/evp/e_chacha20_poly1305.c:121:5: Binary operation: ([0, +oo] - [0, 63]):unsigned64 by call to `chacha_cipher` 
  119.   
  120.       rem = (unsigned int)(len % CHACHA_BLK_SIZE);
  121.       len -= rem;
             ^
  122.       ctr32 = key->counter[0];
  123.       while (len >= CHACHA_BLK_SIZE) {
