Function DivVerifyUint64Int16

Test/DivVerify.cpp:1093–1141

};

void DivVerifyUint64Int16()
{
   size_t i;

   for( i = 0; i < sizeof(uint64_int16)/sizeof(uint64_int16[0]); ++i )
   {
      std::uint64_t ret;
      if( SafeDivide(uint64_int16[i].x, uint64_int16[i].y, ret) != uint64_int16[i].fExpected )
      {
         //assert(false);
         printf("Error in case uint64_int64: %I64X, %I64X, expected = %s\n", uint64_int16[i].x, uint64_int16[i].y, uint64_int16[i].fExpected ? "true" : "false");
      }

      // Now test throwing version
      bool fSuccess = true;
      try
      {
         SafeInt<std::uint64_t> si(uint64_int16[i].x);
         si /= uint64_int16[i].y;
      }
      catch(...)
      {
         fSuccess = false;
      }

      if( fSuccess != uint64_int16[i].fExpected )
      {
         printf("Error in case uint64_int32 throw: %I64X, %X, expected = %s\n", uint64_int16[i].x, uint64_int16[i].y, uint64_int16[i].fExpected ? "true" : "false");
      }

      // Also need to test the version that assigns back out
      // to a plain int, as it has different logic
      fSuccess = true;
      try
      {
         std::uint64_t x(uint64_int16[i].x);
         x /= SafeInt<std::int64_t>(uint64_int16[i].y);
      }
      catch(...)
      {
         fSuccess = false;
      }

      if( fSuccess != uint64_int16[i].fExpected )
      {
         printf("Error in case uint64_int16 throw: %I64X, %X, expected = %s\n", uint64_int16[i].x, uint64_int16[i].y, uint64_int16[i].fExpected ? "true" : "false");
      }
   }
}

DivTest< std::int16_t, std::uint64_t > int16_uint64_2[] = 
{