crypto/blake2/m_blake2b.c:34: error: INTEGER_OVERFLOW_L2
  ([1, +oo] - [-oo, 128]):unsigned64 by call to `BLAKE2b_Update`.
Showing all 6 steps of the trace


crypto/blake2/m_blake2b.c:34:12: Call
32.   static int update(EVP_MD_CTX *ctx, const void *data, size_t count)
33.   {
34.       return BLAKE2b_Update(EVP_MD_CTX_md_data(ctx), data, count);
                 ^
35.   }
36.   

crypto/blake2/blake2b.c:177:1: <LHS trace>
175.   
176.   /* Absorb the input data into the hash state.  Always returns 1. */
177. > int BLAKE2b_Update(BLAKE2B_CTX *c, const void *data, size_t datalen)
178.   {
179.       const uint8_t *in = data;

crypto/blake2/blake2b.c:177:1: Parameter `datalen`
  175.   
  176.   /* Absorb the input data into the hash state.  Always returns 1. */
  177. > int BLAKE2b_Update(BLAKE2B_CTX *c, const void *data, size_t datalen)
  178.   {
  179.       const uint8_t *in = data;

crypto/blake2/blake2b.c:177:1: <RHS trace>
175.   
176.   /* Absorb the input data into the hash state.  Always returns 1. */
177. > int BLAKE2b_Update(BLAKE2B_CTX *c, const void *data, size_t datalen)
178.   {
179.       const uint8_t *in = data;

crypto/blake2/blake2b.c:177:1: Parameter `datalen`
  175.   
  176.   /* Absorb the input data into the hash state.  Always returns 1. */
  177. > int BLAKE2b_Update(BLAKE2B_CTX *c, const void *data, size_t datalen)
  178.   {
  179.       const uint8_t *in = data;

crypto/blake2/blake2b.c:191:13: Binary operation: ([1, +oo] - [-oo, 128]):unsigned64 by call to `BLAKE2b_Update` 
  189.               c->buflen = 0;
  190.               in += fill;
  191.               datalen -= fill;
                     ^
  192.           } else { /* datalen <= fill */
  193.               memcpy(c->buf + c->buflen, in, datalen);
