Boost C++ Libraries: Ticket #7679: unhex level 4 compile warning in visual studio

Marshall Clow — Sun, 11 Nov 2012 03:05:15 GMT

This is a crap warning.

There is no loss of data here.

The routine hex_char_to_int only returns values in the range 0..15.

With T == char, the loop at line 134 will be executed twice.

res is initialized to zero.

The first time through the loop, we multiply res (0) * 16 + add the result of hex_char_to_int, so the maximum value that res can be is 15.

The second time through the loop, we multiply res * 16 and add the result of hex_char_to_int, so the maximum value that res can be is (15*16) + 15, or 255.

No overflow; no loss of data.

Please file a bug report with your compiler vendor.

attachment set

Tue, 13 Nov 2012 18:50:32 GMT

attachment → patchfile.patch

Tue, 13 Nov 2012 18:55:41 GMT

I agree that there is no loss of data with regard to the compiler warning.

Nevertheless, the attached patch silences the compiler warning referenced above, as well as another compiler warning that indicates that there is unreachable code in hex_char_to_int (the return 0 after the exception is thrown).

Marshall Clow — Mon, 26 Nov 2012 15:59:24 GMT

The return that you've added to the end of hex_char_to_int is still unreachable. Other compilers will (potentially) warn on that.

You're proposing a substantial pessimization of the code base to eliminate a warning where the compiler is wrong.

Sun, 02 Dec 2012 17:44:55 GMT

The structure of the proposed patch is as follows:

template <typename T> T hex_char_to_int ( T c ) {
  T r;
  if      (...) r = ...;
  else if (...) r = ...;
  else if (...) r = ...;
  else    BOOST_THROW_EXCEPTION (...);
  return r;
}

There is one and only one return point. Therefore, the return cannot be un-reachable.

The proposed patch, verified on GCC 4.6.3, Visual Studio 2010 and Visual Studio 2012, does not emit warnings. Furthermore, it removes the need for hex_char_to_int reside an anonymous namespace, which could cause link errors if used within multiple translation units.

The reality is that even if Microsoft agreed to change their compiler, it will not be done for Visual Studio 2010 or 2012. In the spirit of the last comment in hex_char_to_in, ('keep dump compilers happy') it would be very much appreciated if you would endeavour to keep Visual Studio happy, too.

pmost@… — Thu, 07 Apr 2016 13:36:30 GMT

I'm still experiencing this bug in Boost 1.58.0 with Visual Studio 2013 compiler warning level 4. The problematic code is in hex.hpp(74)

    template <typename T>
    unsigned char hex_char_to_int ( T val ) {
        char c = static_cast<char> ( val );
        unsigned retval = 0;
        if      ( c >= '0' && c <= '9' ) retval = c - '0';
        else if ( c >= 'A' && c <= 'F' ) retval = c - 'A' + 10;
        else if ( c >= 'a' && c <= 'f' ) retval = c - 'a' + 10;
        else BOOST_THROW_EXCEPTION (non_hex_input() << bad_char (c));
        return retval;
        }

If I define retval to be unsigned char then this warning goes away. Wouldn't this be the simplest solution?