crypto/bn/bn_rand.c:342: error: INTEGER_OVERFLOW_L2
  (96 - [1, 127]):unsigned64 by call to `SHA512_Update`.
Showing all 10 steps of the trace


crypto/bn/bn_rand.c:340:9: Call
338.           if (RAND_bytes(random_bytes, sizeof(random_bytes)) != 1)
339.               goto err;
340.           SHA512_Init(&sha);
               ^
341.           SHA512_Update(&sha, &done, sizeof(done));
342.           SHA512_Update(&sha, private_bytes, sizeof(private_bytes));

crypto/sha/sha512.c:94:5: Assignment
  92.       c->Nl = 0;
  93.       c->Nh = 0;
  94.       c->num = 0;
            ^
  95.       c->md_len = SHA512_DIGEST_LENGTH;
  96.       return 1;

crypto/bn/bn_rand.c:341:9: Call
339.               goto err;
340.           SHA512_Init(&sha);
341.           SHA512_Update(&sha, &done, sizeof(done));
               ^
342.           SHA512_Update(&sha, private_bytes, sizeof(private_bytes));
343.           SHA512_Update(&sha, message, message_len);

crypto/sha/sha512.c:186:1: Parameter `c->num`
  184.   }
  185.   
  186. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
  187.   {
  188.       SHA_LONG64 l;

crypto/bn/bn_rand.c:342:9: Call
340.           SHA512_Init(&sha);
341.           SHA512_Update(&sha, &done, sizeof(done));
342.           SHA512_Update(&sha, private_bytes, sizeof(private_bytes));
               ^
343.           SHA512_Update(&sha, message, message_len);
344.           SHA512_Update(&sha, random_bytes, sizeof(random_bytes));

crypto/sha/sha512.c:186:1: <LHS trace>
184.   }
185.   
186. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
187.   {
188.       SHA_LONG64 l;

crypto/sha/sha512.c:186:1: Parameter `len`
  184.   }
  185.   
  186. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
  187.   {
  188.       SHA_LONG64 l;

crypto/sha/sha512.c:186:1: <RHS trace>
184.   }
185.   
186. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
187.   {
188.       SHA_LONG64 l;

crypto/sha/sha512.c:186:1: Parameter `len`
  184.   }
  185.   
  186. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
  187.   {
  188.       SHA_LONG64 l;

crypto/sha/sha512.c:210:13: Binary operation: (96 - [1, 127]):unsigned64 by call to `SHA512_Update` 
  208.           } else {
  209.               memcpy(p + c->num, data, n), c->num = 0;
  210.               len -= n, data += n;
                     ^
  211.               sha512_block_data_order(c, p, 1);
  212.           }
