Function DivVerifyInt64Int32

Test/DivVerify.cpp:1707–1755

};

void DivVerifyInt64Int32()
{
   size_t i;

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

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

      if( fSuccess != int64_int32[i].fExpected )
      {
         printf("Error in case int64_int32 throw: %I64X, %I64X, expected = %s\n", int64_int32[i].x, int64_int32[i].y, int64_int32[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::int64_t x(int64_int32[i].x);
         x /= SafeInt<std::int32_t>(int64_int32[i].y);
      }
      catch(...)
      {
         fSuccess = false;
      }

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

DivTest< std::int64_t, std::int32_t > int64_int32_2[] = 
{