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


crypto/md5/md5_sha1.c:54:9: Call
52.        */
53.   
54.       if (md5_sha1_update(mctx, ms, mslen) <= 0)
              ^
55.           return 0;
56.   

crypto/md5/md5_sha1.c:20:1: Parameter `mctx->sha1.num`
  18.   }
  19.   
  20. > int md5_sha1_update(MD5_SHA1_CTX *mctx, const void *data, size_t count)
  21.   {
  22.       if (!MD5_Update(&mctx->md5, data, count))

crypto/md5/md5_sha1.c:66:10: Call
64.           return 0;
65.   
66.       if (!SHA1_Update(&mctx->sha1, padtmp, 40))
               ^
67.           return 0;
68.   

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.               /*
