Function DivVerifyInt64Uint32

Archive/releases/2/DivVerify.cpp:2292–2340

};

void DivVerifyInt64Uint32()
{
   size_t i;

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

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

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

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

DivTest< __int64, unsigned __int32 > int64_uint32_2[] = 
{