crypto/evp/e_chacha20_poly1305.c:303: error: INTEGER_OVERFLOW_L2
  (16 - [1, 42+max(1, `ctx->cipher_data->num`)]):unsigned64 by call to `Poly1305_Update`.
Showing all 6 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:303:13: Call
301.   
302.           if ((rem = (size_t)actx->len.text % POLY1305_BLOCK_SIZE))
303.               Poly1305_Update(POLY1305_ctx(actx), zero,
                   ^
304.                               POLY1305_BLOCK_SIZE - rem);
305.   

crypto/poly1305/poly1305.c:466:1: <RHS trace>
464.   #endif
465.   
466. > void Poly1305_Update(POLY1305 *ctx, const unsigned char *inp, size_t len)
467.   {
468.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:466:1: Parameter `ctx->num`
  464.   #endif
  465.   
  466. > void Poly1305_Update(POLY1305 *ctx, const unsigned char *inp, size_t len)
  467.   {
  468.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:479:10: Assignment
  477.       size_t rem, num;
  478.   
  479.       if ((num = ctx->num)) {
                  ^
  480.           rem = POLY1305_BLOCK_SIZE - num;
  481.           if (len >= rem) {

crypto/poly1305/poly1305.c:480:9: Binary operation: (16 - [1, 42+max(1, ctx->cipher_data->num)]):unsigned64 by call to `Poly1305_Update` 
  478.   
  479.       if ((num = ctx->num)) {
  480.           rem = POLY1305_BLOCK_SIZE - num;
                 ^
  481.           if (len >= rem) {
  482.               memcpy(ctx->data + num, inp, rem);
