git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH 3/4] cache.h: hex2chr() - avoid -Wsign-compare warnings

From
Jeff King <peff@peff.net>
Date
Sep 22, 2017, 16:18 UTC
Message-ID
<20170922161817.iy5tpexouxn5uwsb@sigill.intra.peff.net>
In-Reply-To
<20170922161159.hkw4id4kpnwo7jou@sigill.intra.peff.net>
On Fri, Sep 22, 2017 at 12:11:59PM -0400, Jeff King wrote:
Show 22 quoted lines
> On Fri, Sep 22, 2017 at 05:05:03PM +0100, Ramsay Jones wrote:
> 
> > > As an aside, I also see some uses of hexval() that don't appear to be
> > > quite as rigorous in checking for invalid characters. A few
> > > unconditionally shift the first nibble and assume that there will still
> > > be high bits set. I think that's generally true for twos-complement
> > > negative numbers, but isn't shifting off the left side of a signed
> > > integer undefined behavior?
> > 
> > All uses of hexval() that I can see are shifting an unsigned value.
> > Have I missed something?
> 
> Hmm. get_hex_color() does:
> 
>   unsigned int val;
>   val = (hexval(in[0]) << 4) | hexval(in[1]));
> 
> Isn't that shifting the signed return value of hexval(), and then
> converting it to unsigned afterwards?
> 
> I've been confused by C's integer conversion rules before, though, so
> perhaps I'm wrong.

Oh, nevermind. I managed to confuse myself again. The return value from hexval() is already unsigned. It's hex2chr that has the funny signed return. So the signedness is fine.

> I think if this function is fed an empty string that it will also read
> past the end of the buffer for in[1]. It shouldn't matter, since the NUL
> in in[0] would cause us to return an error regardless, but it's still
> undefined behavior.
This is still a bug, though.
-Peff
Previous: Jeff KingNext: Jeff King
Message 5 of 8 in “cache.h: hex2chr() - avoid -Wsign-compare warnings”
  1. 3/4 cache.h: hex2chr() - avoid -Wsign-compare warningsRamsay Jones, Sep 21, 2017
  2. Jeff KingSep 22, 2017
  3. Ramsay JonesSep 22, 2017
  4. Jeff KingSep 22, 2017
  5. Jeff KingSep 22, 2017
  6. Jeff KingSep 22, 2017
  7. Ramsay JonesSep 22, 2017
  8. René ScharfeSep 22, 2017

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.