Function DivVerifyInt64Int32

Archive/releases/2/DivVerify.cpp:1748–1796

};

void DivVerifyInt64Int32()
{
   size_t i;

   for( i = 0; i < sizeof(int64_int32)/sizeof(int64_int32[0]); ++i )
   {
      __int64 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<__int64> 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
      {
         __int64 x(int64_int32[i].x);
         x /= SafeInt<__int32>(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< __int64, __int32 > int64_int32_2[] = 
{