crypto/evp/e_chacha20_poly1305.c:146: error: INTEGER_OVERFLOW_L2
  ([64, +oo] - [-17179868992, 17179869184]):unsigned64.
Showing all 7 steps of the trace


crypto/evp/e_chacha20_poly1305.c:96:1: <LHS trace>
94.   }
95.   
96. > static int chacha_cipher(EVP_CIPHER_CTX * ctx, unsigned char *out,
97.                            const unsigned char *inp, size_t len)
98.   {

crypto/evp/e_chacha20_poly1305.c:96:1: Parameter `len`
94.   }
95.   
96. > static int chacha_cipher(EVP_CIPHER_CTX * ctx, unsigned char *out,
97.                            const unsigned char *inp, size_t len)
98.   {

crypto/evp/e_chacha20_poly1305.c:121:5: Assignment
119.   
120.       rem = (unsigned int)(len % CHACHA_BLK_SIZE);
121.       len -= rem;
           ^
122.       ctr32 = key->counter[0];
123.       while (len >= CHACHA_BLK_SIZE) {

crypto/evp/e_chacha20_poly1305.c:131:13: <RHS trace>
129.            */
130.           if (sizeof(size_t)>sizeof(unsigned int) && blocks>(1U<<28))
131.               blocks = (1U<<28);
                   ^
132.   
133.           /*

crypto/evp/e_chacha20_poly1305.c:131:13: Assignment
129.            */
130.           if (sizeof(size_t)>sizeof(unsigned int) && blocks>(1U<<28))
131.               blocks = (1U<<28);
                   ^
132.   
133.           /*

crypto/evp/e_chacha20_poly1305.c:144:9: Assignment
142.               ctr32 = 0;
143.           }
144.           blocks *= CHACHA_BLK_SIZE;
               ^
145.           ChaCha20_ctr32(out, inp, blocks, key->key.d, key->counter);
146.           len -= blocks;

crypto/evp/e_chacha20_poly1305.c:146:9: Binary operation: ([64, +oo] - [-17179868992, 17179869184]):unsigned64
144.           blocks *= CHACHA_BLK_SIZE;
145.           ChaCha20_ctr32(out, inp, blocks, key->key.d, key->counter);
146.           len -= blocks;
               ^
147.           inp += blocks;
148.           out += blocks;
