crypto/evp/e_chacha20_poly1305.c:301: error: INTEGER_OVERFLOW_L2
  ([1, 31] - [-26-max(1, `ctx->cipher_data->num`), 15]):unsigned64 by call to `Poly1305_Update`.
Showing all 7 steps of the trace


crypto/evp/e_chacha20_poly1305.c:233:1: Parameter `ctx->cipher_data->num`
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:301:13: Call
299.   
300.           if ((rem = (size_t)actx->len.text % POLY1305_BLOCK_SIZE))
301.               Poly1305_Update(POLY1305_ctx(actx), zero,
                   ^
302.                               POLY1305_BLOCK_SIZE - rem);
303.   

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:476:13: Binary operation: ([1, 31] - [-26-max(1, ctx->cipher_data->num), 15]):unsigned64 by call to `Poly1305_Update` 
  474.               poly1305_blocks(ctx->opaque, ctx->data, POLY1305_BLOCK_SIZE, 1);
  475.               inp += rem;
  476.               len -= rem;
                     ^
  477.           } else {
  478.               /* Still not enough data to process a block. */
