Arithmetic overflow: Left shift count is negative or greater than or equal to the operand size, which is undefined behavior (io.3)

This warning indicates the shift count is negative, or greater than or equal to the number of bits in the shifted operand. Either case results in undefined behavior.

Warning C4293 is a similar check in the Microsoft C++ compiler.

Code analysis name: SHIFT_COUNT_NEGATIVE_OR_TOO_BIG

unsigned __int64 combine(unsigned lo, unsigned hi)
{
  return (hi << 32) | lo; // C26252 here
}

To correct this warning, use the following code:

unsigned __int64 combine(unsigned lo, unsigned hi)
{
  return (static_cast<unsigned __int64>(hi) << 32) | lo; // OK
}

ES.102: Use signed types for arithmetic