crypto/bn/bn_rand.c:248: error: INTEGER_OVERFLOW_L2
  (128 - [1, 379]):unsigned64 by call to `SHA512_Update`.
Showing all 12 steps of the trace


crypto/bn/bn_rand.c:244:9: Call
242.           if (RAND_priv_bytes(random_bytes, sizeof(random_bytes)) != 1)
243.               goto err;
244.           SHA512_Init(&sha);
               ^
245.           SHA512_Update(&sha, &done, sizeof(done));
246.           SHA512_Update(&sha, private_bytes, sizeof(private_bytes));

crypto/sha/sha512.c:130:5: Assignment
  128.       c->Nl = 0;
  129.       c->Nh = 0;
  130.       c->num = 0;
             ^
  131.       c->md_len = SHA512_DIGEST_LENGTH;
  132.       return 1;

crypto/bn/bn_rand.c:245:9: Call
243.               goto err;
244.           SHA512_Init(&sha);
245.           SHA512_Update(&sha, &done, sizeof(done));
               ^
246.           SHA512_Update(&sha, private_bytes, sizeof(private_bytes));
247.           SHA512_Update(&sha, message, message_len);

crypto/sha/sha512.c:264:1: Parameter `c->num`
  262.   }
  263.   
  264. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
  265.   {
  266.       SHA_LONG64 l;

crypto/bn/bn_rand.c:246:9: Call
244.           SHA512_Init(&sha);
245.           SHA512_Update(&sha, &done, sizeof(done));
246.           SHA512_Update(&sha, private_bytes, sizeof(private_bytes));
               ^
247.           SHA512_Update(&sha, message, message_len);
248.           SHA512_Update(&sha, random_bytes, sizeof(random_bytes));

crypto/sha/sha512.c:264:1: Parameter `c->num`
  262.   }
  263.   
  264. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
  265.   {
  266.       SHA_LONG64 l;

crypto/bn/bn_rand.c:247:9: Call
245.           SHA512_Update(&sha, &done, sizeof(done));
246.           SHA512_Update(&sha, private_bytes, sizeof(private_bytes));
247.           SHA512_Update(&sha, message, message_len);
               ^
248.           SHA512_Update(&sha, random_bytes, sizeof(random_bytes));
249.           SHA512_Final(digest, &sha);

crypto/sha/sha512.c:264:1: Parameter `c->num`
  262.   }
  263.   
  264. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
  265.   {
  266.       SHA_LONG64 l;

crypto/bn/bn_rand.c:248:9: Call
246.           SHA512_Update(&sha, private_bytes, sizeof(private_bytes));
247.           SHA512_Update(&sha, message, message_len);
248.           SHA512_Update(&sha, random_bytes, sizeof(random_bytes));
               ^
249.           SHA512_Final(digest, &sha);
250.   

crypto/sha/sha512.c:264:1: <RHS trace>
262.   }
263.   
264. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
265.   {
266.       SHA_LONG64 l;

crypto/sha/sha512.c:264:1: Parameter `c->num`
  262.   }
  263.   
  264. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
  265.   {
  266.       SHA_LONG64 l;

crypto/sha/sha512.c:281:9: Binary operation: (128 - [1, 379]):unsigned64 by call to `SHA512_Update` 
  279.   
  280.       if (c->num != 0) {
  281.           size_t n = sizeof(c->u) - c->num;
                 ^
  282.   
  283.           if (len < n) {
