Function SubVerifyUint64Int8

Test/SubVerify.cpp:4436–4492

};

void SubVerifyUint64Int8()
{
    size_t i;

    for( i = 0; i < COUNTOF(uint64_int8); ++i )
    {
        std::uint64_t ret;
        if( SafeSubtract(uint64_int8[i].x, uint64_int8[i].y, ret) != uint64_int8[i].fExpected )
        {
            cerr << "Error in case uint64_int8: ";
            cerr << hex << setw(16) << setfill('0') << uint64_int8[i].x << ", ";
            cerr << hex << setw(2) << setfill('0') << (0xFF & (int)uint64_int8[i].y) << ", ";
            cerr << "expected = " << uint64_int8[i].fExpected << endl;
        }

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

        if( fSuccess != uint64_int8[i].fExpected )
        {
            cerr << "Error in case uint64_int8 throw (1): ";
            cerr << hex << setw(16) << setfill('0') << uint64_int8[i].x << ", ";
            cerr << hex << setw(2) << setfill('0') << (0xFF & (int)uint64_int8[i].y) << ", ";
            cerr << "expected = " << uint64_int8[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
        {
            std::uint64_t x(uint64_int8[i].x);
            x -= SafeInt<std::int8_t>(uint64_int8[i].y);
        }
        catch(...)
        {
            fSuccess = false;
        }

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