crypto/sha/sha1dgst.c:47: error: INTEGER_OVERFLOW_L2
  (40 - [-oo, 63]):unsigned64 by call to `SHA1_Update`.
Showing all 9 steps of the trace


crypto/sha/sha1dgst.c:41:9: Call
39.        */
40.   
41.       if (SHA1_Update(sha1, ms, mslen) <= 0)
              ^
42.           return 0;
43.   

crypto/include/internal/md32_common.h:128:1: Parameter `c->num`
  126.    */
  127.   
  128. > int HASH_UPDATE(HASH_CTX *c, const void *data_, size_t len)
  129.   {
  130.       const unsigned char *data = data_;

crypto/sha/sha1dgst.c:47:10: Call
45.       memset(padtmp, 0x36, sizeof(padtmp));
46.   
47.       if (!SHA1_Update(sha1, padtmp, sizeof(padtmp)))
               ^
48.           return 0;
49.   

crypto/include/internal/md32_common.h:128:1: <LHS trace>
126.    */
127.   
128. > int HASH_UPDATE(HASH_CTX *c, const void *data_, size_t len)
129.   {
130.       const unsigned char *data = data_;

crypto/include/internal/md32_common.h:128:1: Parameter `len`
  126.    */
  127.   
  128. > int HASH_UPDATE(HASH_CTX *c, const void *data_, size_t len)
  129.   {
  130.       const unsigned char *data = data_;

crypto/include/internal/md32_common.h:128:1: <RHS trace>
126.    */
127.   
128. > int HASH_UPDATE(HASH_CTX *c, const void *data_, size_t len)
129.   {
130.       const unsigned char *data = data_;

crypto/include/internal/md32_common.h:128:1: Parameter `len`
  126.    */
  127.   
  128. > int HASH_UPDATE(HASH_CTX *c, const void *data_, size_t len)
  129.   {
  130.       const unsigned char *data = data_;

crypto/include/internal/md32_common.h:152:13: Assignment
  150.               memcpy(p + n, data, HASH_CBLOCK - n);
  151.               HASH_BLOCK_DATA_ORDER(c, p, 1);
  152.               n = HASH_CBLOCK - n;
                     ^
  153.               data += n;
  154.               len -= n;

crypto/include/internal/md32_common.h:154:13: Binary operation: (40 - [-oo, 63]):unsigned64 by call to `SHA1_Update` 
  152.               n = HASH_CBLOCK - n;
  153.               data += n;
  154.               len -= n;
                     ^
  155.               c->num = 0;
  156.               /*
