crypto/evp/e_chacha20_poly1305.c:243: error: INTEGER_OVERFLOW_L2
  ([1, 64] - [1, 64]):unsigned64 by call to `ChaCha20_ctr32`.
Showing all 6 steps of the trace


crypto/evp/e_chacha20_poly1305.c:243:9: Call
241.           actx->key.counter[0] = 0;
242.           memset(actx->key.buf, 0, sizeof(actx->key.buf));
243.           ChaCha20_ctr32(actx->key.buf, actx->key.buf, CHACHA_BLK_SIZE,
               ^
244.                          actx->key.key.d, actx->key.counter);
245.           Poly1305_Init(POLY1305_ctx(actx), actx->key.buf);

crypto/chacha/chacha_enc.c:112:1: <LHS trace>
110.   }
111.   
112. > void ChaCha20_ctr32(unsigned char *out, const unsigned char *inp,
113.                       size_t len, const unsigned int key[8],
114.                       const unsigned int counter[4])

crypto/chacha/chacha_enc.c:112:1: Parameter `len`
  110.   }
  111.   
  112. > void ChaCha20_ctr32(unsigned char *out, const unsigned char *inp,
  113.                       size_t len, const unsigned int key[8],
  114.                       const unsigned int counter[4])

crypto/chacha/chacha_enc.c:112:1: <RHS trace>
110.   }
111.   
112. > void ChaCha20_ctr32(unsigned char *out, const unsigned char *inp,
113.                       size_t len, const unsigned int key[8],
114.                       const unsigned int counter[4])

crypto/chacha/chacha_enc.c:112:1: Parameter `len`
  110.   }
  111.   
  112. > void ChaCha20_ctr32(unsigned char *out, const unsigned char *inp,
  113.                       size_t len, const unsigned int key[8],
  114.                       const unsigned int counter[4])

crypto/chacha/chacha_enc.c:151:9: Binary operation: ([1, 64] - [1, 64]):unsigned64 by call to `ChaCha20_ctr32` 
  149.           out += todo;
  150.           inp += todo;
  151.           len -= todo;
                 ^
  152.   
  153.           /* advance counter */
