crypto/evp/e_chacha20_poly1305.c:340: error: INTEGER_OVERFLOW_L2
  (16 - [1, 43]):unsigned64 by call to `Poly1305_Update`.
Showing all 7 steps of the trace


crypto/evp/e_chacha20_poly1305.c:255:9: Call
253.           ChaCha20_ctr32(buf, zero, (buf_len = 2 * CHACHA_BLK_SIZE),
254.                          actx->key.key.d, actx->key.counter);
255.           Poly1305_Init(POLY1305_ctx(actx), buf);
               ^
256.           actx->key.partial_len = 0;
257.           memcpy(tohash, actx->tls_aad, POLY1305_BLOCK_SIZE);

crypto/poly1305/poly1305.c:457:5: Assignment
  455.   #endif
  456.   
  457.       ctx->num = 0;
             ^
  458.   
  459.   }

crypto/evp/e_chacha20_poly1305.c:340:5: Call
338.       }
339.   
340.       Poly1305_Update(POLY1305_ctx(actx), tohash, tohash_len);
           ^
341.       OPENSSL_cleanse(buf, buf_len);
342.       Poly1305_Final(POLY1305_ctx(actx), ctx->encrypt ? actx->tag

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 `ctx->num`
  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:483:10: Assignment
  481.       size_t rem, num;
  482.   
  483.       if ((num = ctx->num)) {
                  ^
  484.           rem = POLY1305_BLOCK_SIZE - num;
  485.           if (len >= rem) {

crypto/poly1305/poly1305.c:484:9: Binary operation: (16 - [1, 43]):unsigned64 by call to `Poly1305_Update` 
  482.   
  483.       if ((num = ctx->num)) {
  484.           rem = POLY1305_BLOCK_SIZE - num;
                 ^
  485.           if (len >= rem) {
  486.               memcpy(ctx->data + num, inp, rem);
