Am 09.05.19 um 20:38 schrieb Jeff King:
> I do dream of a world where we do not have a bunch of implicit
> conversions (both signedness but also truncation) in our code base, and
> can compile cleanly with -Wconversion We know that this case is
> perfectly fine, but I am sure there are many that are not. However, I'm
> not sure if we'll ever get there, and in the meantime I don't think it's
> worth worrying too much about individual cases like this.

Here's a rough take on how to silence that warning for archive-tar.c using
GCC 8.3.  Some of the changes are worth polishing and submitting.  Some
are silly.  The one for regexec_buf() is scary; I don't see a clean way of
dealing with that size_t to int conversion.

---
 archive-tar.c     | 54 +++++++++++++++++++++++++++++++----------------
 cache.h           | 10 ++++-----
 git-compat-util.h | 21 +++++++++++++++---
 hash.h            |  2 +-
 strbuf.h          |  2 +-
 5 files changed, 61 insertions(+), 28 deletions(-)

diff --git a/archive-tar.c b/archive-tar.c
index 3e53aac1e6..bfd91782ab 100644
--- a/archive-tar.c
+++ b/archive-tar.c
@@ -15,7 +15,7 @@
 static char block[BLOCKSIZE];
 static unsigned long offset;

-static int tar_umask = 002;
+static mode_t tar_umask = 002;

 static int write_tar_filter_archive(const struct archiver *ar,
                                    struct archiver_args *args);
@@ -99,7 +99,7 @@ static void write_blocked(const void *data, unsigned long 
size)
  */
 static void write_trailer(void)
 {
-       int tail = BLOCKSIZE - offset;
+       size_t tail = BLOCKSIZE - offset;
        memset(block + offset, 0, tail);
        write_or_die(1, block, BLOCKSIZE);
        if (tail < 2 * RECORDSIZE) {
@@ -127,12 +127,13 @@ static int stream_blocked(const struct object_id *oid)
                readlen = read_istream(st, buf, sizeof(buf));
                if (readlen <= 0)
                        break;
-               do_write_blocked(buf, readlen);
+               do_write_blocked(buf, (size_t)readlen);
        }
        close_istream(st);
-       if (!readlen)
-               finish_record();
-       return readlen;
+       if (readlen < 0)
+               return -1;
+       finish_record();
+       return 0;
 }

 /*
@@ -142,9 +143,9 @@ static int stream_blocked(const struct object_id *oid)
  * string and appends it to a struct strbuf.
  */
 static void strbuf_append_ext_header(struct strbuf *sb, const char *keyword,
-                                    const char *value, unsigned int valuelen)
+                                    const char *value, size_t valuelen)
 {
-       int len, tmp;
+       size_t len, tmp;

        /* "%u %s=%s\n" */
        len = 1 + 1 + strlen(keyword) + 1 + valuelen + 1;
@@ -152,7 +153,7 @@ static void strbuf_append_ext_header(struct strbuf *sb, 
const char *keyword,
                len++;

        strbuf_grow(sb, len);
-       strbuf_addf(sb, "%u %s=", len, keyword);
+       strbuf_addf(sb, "%"PRIuMAX" %s=", (uintmax_t)len, keyword);
        strbuf_add(sb, value, valuelen);
        strbuf_addch(sb, '\n');
 }
@@ -168,7 +169,9 @@ static void strbuf_append_ext_header_uint(struct strbuf *sb,
        int len;

        len = xsnprintf(buf, sizeof(buf), "%"PRIuMAX, value);
-       strbuf_append_ext_header(sb, keyword, buf, len);
+       if (len < 0)
+               BUG("unable to convert %"PRIuMAX" to decimal", value);
+       strbuf_append_ext_header(sb, keyword, buf, (size_t)len);
 }

 static unsigned int ustar_header_chksum(const struct ustar_header *header)
@@ -177,7 +180,7 @@ static unsigned int ustar_header_chksum(const struct 
ustar_header *header)
        unsigned int chksum = 0;
        while (p < (const unsigned char *)header->chksum)
                chksum += *p++;
-       chksum += sizeof(header->chksum) * ' ';
+       chksum += (unsigned int)sizeof(header->chksum) * ' ';
        p += sizeof(header->chksum);
        while (p < (const unsigned char *)header + sizeof(struct ustar_header))
                chksum += *p++;
@@ -355,12 +358,14 @@ static void write_global_extended_header(struct 
archiver_args *args)
 }

 static struct archiver **tar_filters;
-static int nr_tar_filters;
-static int alloc_tar_filters;
+static size_t nr_tar_filters;
+static size_t alloc_tar_filters;

-static struct archiver *find_tar_filter(const char *name, int len)
+static struct archiver *find_tar_filter(const char *name, size_t len)
 {
        int i;
+       if (len < 1)
+               return NULL;
        for (i = 0; i < nr_tar_filters; i++) {
                struct archiver *ar = tar_filters[i];
                if (!strncmp(ar->name, name, len) && !ar->name[len])
@@ -369,14 +374,27 @@ static struct archiver *find_tar_filter(const char *name, 
int len)
        return NULL;
 }

+static int parse_config_key2(const char *var, const char *section,
+                            const char **subsection, size_t *subsection_len,
+                            const char **key)
+{
+       int rc, len;
+
+       rc = parse_config_key(var, section, subsection, &len, key);
+       if (!rc && len < 0)
+               return -1;
+       *subsection_len = (size_t)len;
+       return rc;
+}
+
 static int tar_filter_config(const char *var, const char *value, void *data)
 {
        struct archiver *ar;
        const char *name;
        const char *type;
-       int namelen;
+       size_t namelen;

-       if (parse_config_key(var, "tar", &name, &namelen, &type) < 0 || !name)
+       if (parse_config_key2(var, "tar", &name, &namelen, &type) < 0 || !name)
                return 0;

        ar = find_tar_filter(name, namelen);
@@ -400,7 +418,7 @@ static int tar_filter_config(const char *var, const char 
*value, void *data)
                if (git_config_bool(var, value))
                        ar->flags |= ARCHIVER_REMOTE;
                else
-                       ar->flags &= ~ARCHIVER_REMOTE;
+                       ar->flags &= ~(unsigned int)ARCHIVER_REMOTE;
                return 0;
        }

@@ -414,7 +432,7 @@ static int git_tar_config(const char *var, const char 
*value, void *cb)
                        tar_umask = umask(0);
                        umask(tar_umask);
                } else {
-                       tar_umask = git_config_int(var, value);
+                       tar_umask = (mode_t)git_config_ulong(var, value);
                }
                return 0;
        }
diff --git a/cache.h b/cache.h
index 67cc2e1806..a791034260 100644
--- a/cache.h
+++ b/cache.h
@@ -241,7 +241,7 @@ static inline void copy_cache_entry(struct cache_entry *dst,
                                    const struct cache_entry *src)
 {
        unsigned int state = dst->ce_flags & CE_HASHED;
-       int mem_pool_allocated = dst->mem_pool_allocated;
+       unsigned int mem_pool_allocated = dst->mem_pool_allocated;

        /* Don't copy hash chain and name */
        memcpy(&dst->ce_stat_data, &src->ce_stat_data,
@@ -249,7 +249,7 @@ static inline void copy_cache_entry(struct cache_entry *dst,
                        offsetof(struct cache_entry, ce_stat_data));

        /* Restore the hash state */
-       dst->ce_flags = (dst->ce_flags & ~CE_HASHED) | state;
+       dst->ce_flags = (dst->ce_flags & ~(unsigned int)CE_HASHED) | state;

        /* Restore the mem_pool_allocated flag */
        dst->mem_pool_allocated = mem_pool_allocated;
@@ -1314,7 +1314,7 @@ extern int check_and_freshen_file(const char *fn, int 
freshen);
 extern const signed char hexval_table[256];
 static inline unsigned int hexval(unsigned char c)
 {
-       return hexval_table[c];
+       return (unsigned int)hexval_table[c];
 }

 /*
@@ -1323,8 +1323,8 @@ static inline unsigned int hexval(unsigned char c)
  */
 static inline int hex2chr(const char *s)
 {
-       unsigned int val = hexval(s[0]);
-       return (val & ~0xf) ? val : (val << 4) | hexval(s[1]);
+       int val = hexval_table[(unsigned char)s[0]];
+       return (val < 0) ? val : (val << 4) | hexval_table[(unsigned char)s[1]];
 }

 /* Convert to/from hex/sha1 representation */
diff --git a/git-compat-util.h b/git-compat-util.h
index 4386b3e1c8..cf33e84c96 100644
--- a/git-compat-util.h
+++ b/git-compat-util.h
@@ -1068,7 +1068,7 @@ static inline int strtoul_ui(char const *s, int base, 
unsigned int *result)
        ul = strtoul(s, &p, base);
        if (errno || *p || p == s || (unsigned int) ul != ul)
                return -1;
-       *result = ul;
+       *result = (unsigned int)ul;
        return 0;
 }

@@ -1081,7 +1081,7 @@ static inline int strtol_i(char const *s, int base, int 
*result)
        ul = strtol(s, &p, base);
        if (errno || *p || p == s || (int) ul != ul)
                return -1;
-       *result = ul;
+       *result = (int)ul;
        return 0;
 }

@@ -1119,7 +1119,22 @@ static inline int regexec_buf(const regex_t *preg, const 
char *buf, size_t size,
 {
        assert(nmatch > 0 && pmatch);
        pmatch[0].rm_so = 0;
-       pmatch[0].rm_eo = size;
+       pmatch[0].rm_eo = (regoff_t)size;
+       if (pmatch[0].rm_eo != size) {
+               if (((regoff_t)-1) < 0) {
+                       if (sizeof(regoff_t) == sizeof(int))
+                               pmatch[0].rm_eo = (regoff_t)INT_MAX;
+                       else if (sizeof(regoff_t) == sizeof(long))
+                               pmatch[0].rm_eo = (regoff_t)LONG_MAX;
+                       else
+                               die("unable to determine maximum value of 
regoff_t");
+               } else {
+                       pmatch[0].rm_eo = (regoff_t)-1;
+               }
+               warning("buffer too big (%"PRIuMAX"), "
+                       "will search only the first %"PRIuMAX" bytes",
+                       (uintmax_t)size, (uintmax_t)pmatch[0].rm_eo);
+       }
        return regexec(preg, buf, nmatch, pmatch, eflags | REG_STARTEND);
 }

diff --git a/hash.h b/hash.h
index 661c9f2281..7056f89eb4 100644
--- a/hash.h
+++ b/hash.h
@@ -134,7 +134,7 @@ int hash_algo_by_id(uint32_t format_id);
 /* Identical, except based on the length. */
 int hash_algo_by_length(int len);
 /* Identical, except for a pointer to struct git_hash_algo. */
-static inline int hash_algo_by_ptr(const struct git_hash_algo *p)
+static inline ptrdiff_t hash_algo_by_ptr(const struct git_hash_algo *p)
 {
        return p - hash_algos;
 }
diff --git a/strbuf.h b/strbuf.h
index c8d98dfb95..30659f2d5d 100644
--- a/strbuf.h
+++ b/strbuf.h
@@ -225,7 +225,7 @@ int strbuf_cmp(const struct strbuf *first, const struct 
strbuf *second);
 /**
  * Add a single character to the buffer.
  */
-static inline void strbuf_addch(struct strbuf *sb, int c)
+static inline void strbuf_addch(struct strbuf *sb, char c)
 {
        if (!strbuf_avail(sb))
                strbuf_grow(sb, 1);
--
2.21.0

Reply via email to