test/poly1305_internal_test.c:1571: error: INTEGER_OVERFLOW_L2
  ([-15, +oo] - [-15, 15]):unsigned64 by call to `Poly1305_Update`.
Showing all 8 steps of the trace


test/poly1305_internal_test.c:1561:5: Assignment
1559.       const TESTDATA test = tests[idx];
1560.       const unsigned char *in = test.input.data;
1561.       size_t inlen = test.input.size;
            ^
1562.       const unsigned char *key = test.key.data;
1563.       const unsigned char *expected = test.expected.data;

test/poly1305_internal_test.c:1571:5: Call
1569.   
1570.       Poly1305_Init(&poly1305, key);
1571.       Poly1305_Update(&poly1305, in, inlen);
            ^
1572.       Poly1305_Final(&poly1305, out);
1573.   

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

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

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

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

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

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