Function SubVerifyInt64Int32

Archive/releases/2/SubVerify.cpp:2310–2366

};

void SubVerifyInt64Int32()
{
    size_t i;

    for( i = 0; i < COUNTOF(int64_int32); ++i )
    {
        __int64 ret;
        if( SafeSubtract(int64_int32[i].x, int64_int32[i].y, ret) != int64_int32[i].fExpected )
        {
            cerr << "Error in case int64_int32: ";
            cerr << hex << setw(16) << setfill('0') << int64_int32[i].x << ", ";
            cerr << hex << setw(8) << setfill('0') << int64_int32[i].y << ", ";
            cerr << "expected = " << int64_int32[i].fExpected << endl;
        }

        // 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 )
        {
            cerr << "Error in case int64_int32 throw (1): ";
            cerr << hex << setw(16) << setfill('0') << int64_int32[i].x << ", ";
            cerr << hex << setw(8) << setfill('0') << int64_int32[i].y << ", ";
            cerr << "expected = " << int64_int32[i].fExpected << endl;
        }

        // 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<__int64>(int64_int32[i].y);
        }
        catch(...)
        {
            fSuccess = false;
        }

        if( fSuccess != int64_int32[i].fExpected )
        {
            cerr << "Error in case int64_int32 throw (2): ";
            cerr << hex << setw(16) << setfill('0') << int64_int32[i].x << ", ";
            cerr << hex << setw(8) << setfill('0') << int64_int32[i].y << ", ";
            cerr << "expected = " << int64_int32[i].fExpected << endl;
        }
    }
}