apps/speed.c:743: error: INTEGER_OVERFLOW_L2
  ([1, +oo] - [-oo, 63]):unsigned64 by call to `SHA1`.
Showing all 9 steps of the trace


apps/speed.c:743:9: Call
741.       int count;
742.       for (count = 0; COND(c[D_SHA1][testnum]); count++)
743.           SHA1(buf, lengths[testnum], sha);
               ^
744.       return count;
745.   }

crypto/sha/sha1_one.c:15:1: Parameter `n`
  13.   #include <openssl/sha.h>
  14.   
  15. > unsigned char *SHA1(const unsigned char *d, size_t n, unsigned char *md)
  16.   {
  17.       SHA_CTX c;

crypto/sha/sha1_one.c:24:5: Call
  22.       if (!SHA1_Init(&c))
  23.           return NULL;
  24.       SHA1_Update(&c, d, n);
            ^
  25.       SHA1_Final(md, &c);
  26.       OPENSSL_cleanse(&c, sizeof(c));

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: ([1, +oo] - [-oo, 63]):unsigned64 by call to `SHA1` 
    152.               n = HASH_CBLOCK - n;
    153.               data += n;
    154.               len -= n;
                       ^
    155.               c->num = 0;
    156.               /*
