crypto/evp/e_chacha20_poly1305.c:272: error: INTEGER_OVERFLOW_L2
  ([-15, +oo] - [-15, 15]):unsigned64 by call to `Poly1305_Update`.
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:272:17: Call
270.               if (ctx->encrypt) {                 /* plaintext */
271.                   chacha_cipher(ctx, out, in, plen);
272.                   Poly1305_Update(POLY1305_ctx(actx), out, plen);
                       ^
273.                   in += plen;
274.                   out += plen;

crypto/poly1305/poly1305.c:457:1: <LHS trace>
455.   }
456.   
457. > void Poly1305_Update(POLY1305 *ctx, const unsigned char *inp, size_t len)
458.   {
459.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:457:1: Parameter `len`
  455.   }
  456.   
  457. > void Poly1305_Update(POLY1305 *ctx, const unsigned char *inp, size_t len)
  458.   {
  459.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:457:1: <RHS trace>
455.   }
456.   
457. > void Poly1305_Update(POLY1305 *ctx, const unsigned char *inp, size_t len)
458.   {
459.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:457:1: Parameter `len`
  455.   }
  456.   
  457. > void Poly1305_Update(POLY1305 *ctx, const unsigned char *inp, size_t len)
  458.   {
  459.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:485:5: Assignment
  483.       }
  484.   
  485.       rem = len % POLY1305_BLOCK_SIZE;
             ^
  486.       len -= rem;
  487.   

crypto/poly1305/poly1305.c:486:5: Binary operation: ([-15, +oo] - [-15, 15]):unsigned64 by call to `Poly1305_Update` 
  484.   
  485.       rem = len % POLY1305_BLOCK_SIZE;
  486.       len -= rem;
             ^
  487.   
  488.       if (len >= POLY1305_BLOCK_SIZE) {
