crypto/evp/e_chacha20_poly1305.c:307: error: INTEGER_OVERFLOW_L2
  ([-15, +oo] - [-15, 15]):unsigned64 by call to `Poly1305_Update`.
Showing all 9 steps of the trace


crypto/evp/e_chacha20_poly1305.c:210:1: Parameter `len`
208.   #   endif
209.   
210. > static int chacha20_poly1305_tls_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
211.                                           const unsigned char *in, size_t len)
212.   {

crypto/evp/e_chacha20_poly1305.c:306:9: Assignment
304.           in += plen;
305.           out += plen;
306.           tail = (0 - plen) & (POLY1305_BLOCK_SIZE - 1);
               ^
307.           Poly1305_Update(POLY1305_ctx(actx), zero, tail);
308.       }

crypto/evp/e_chacha20_poly1305.c:307:9: Call
305.           out += plen;
306.           tail = (0 - plen) & (POLY1305_BLOCK_SIZE - 1);
307.           Poly1305_Update(POLY1305_ctx(actx), zero, tail);
               ^
308.       }
309.   

crypto/poly1305/poly1305.c:470:1: <LHS trace>
468.   #endif
469.   
470. > void Poly1305_Update(POLY1305 *ctx, const unsigned char *inp, size_t len)
471.   {
472.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:470:1: Parameter `len`
  468.   #endif
  469.   
  470. > void Poly1305_Update(POLY1305 *ctx, const unsigned char *inp, size_t len)
  471.   {
  472.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:470:1: <RHS trace>
468.   #endif
469.   
470. > void Poly1305_Update(POLY1305 *ctx, const unsigned char *inp, size_t len)
471.   {
472.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:470:1: Parameter `len`
  468.   #endif
  469.   
  470. > void Poly1305_Update(POLY1305 *ctx, const unsigned char *inp, size_t len)
  471.   {
  472.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:498:5: Assignment
  496.       }
  497.   
  498.       rem = len % POLY1305_BLOCK_SIZE;
             ^
  499.       len -= rem;
  500.   

crypto/poly1305/poly1305.c:499:5: Binary operation: ([-15, +oo] - [-15, 15]):unsigned64 by call to `Poly1305_Update` 
  497.   
  498.       rem = len % POLY1305_BLOCK_SIZE;
  499.       len -= rem;
             ^
  500.   
  501.       if (len >= POLY1305_BLOCK_SIZE) {
