crypto/evp/e_chacha20_poly1305.c:277: error: INTEGER_OVERFLOW_L2
  (0 - [max(0, `ctx->cipher_data->tls_payload_length`), 64]):unsigned64.
Showing all 3 steps of the trace


crypto/evp/e_chacha20_poly1305.c:210:1: <RHS trace>
208.   #   endif
209.   
210. > static int chacha20_poly1305_tls_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
211.                                           const unsigned char *in, size_t len)
212.   {

crypto/evp/e_chacha20_poly1305.c:210:1: Parameter `len`
208.   #   endif
209.   
210. > static int chacha20_poly1305_tls_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
211.                                           const unsigned char *in, size_t len)
212.   {

crypto/evp/e_chacha20_poly1305.c:277:9: Binary operation: (0 - [max(0, ctx->cipher_data->tls_payload_length), 64]):unsigned64
275.           out += i;
276.   
277.           tail = (0 - i) & (POLY1305_BLOCK_SIZE - 1);
               ^
278.           memset(ctr + i, 0, tail);
279.           ctr += i + tail;
