V>goto ошибка_снять;
V>goto ошибка_положить;
V>goto ошибка_журналировать;
V>

V>ошибка_журналировать:
V>    rollback(&бо_журнализовать);
V>ошибка_положить:
V>    rollback(&бо_положить);
V>ошибка_снять:
V>    rollback(&бо_снять);
V>    return false;
V>

банковская_операция_t бо_снять = { 0 };

void f()
{
    FILE *file = NULL;
    char *name = NULL;
    char *last_name = NULL;

    file = fopen("data.txt", "rb");
    if (!file)  goto error;

    name = (char*)malloc(name_len + 1);
    if (!name)  goto error;

    last_name = (char*)malloc(last_name_len + 1);
    if (!last_name)  goto error;

    /* работаем с файлом и памятью */
error:
    if (file)
        fclose(file);
    free(name);
    free(last_name);
}

локал_строка("TRANSER_MONEY_FROM_TO") 
локал_строка("TRANSFER_MONEY_FROM_TO")

bool снять_положить_записать_на_C_plus_plus(банк_t *банк, аккаунт_t *откуда, аккаунт_t *куда, кол_денег_t сколько) 
{
    банковская_операция_t снять = банк->снять_деньги(откуда, сколько);
    if (!снять) return false;
    банковская_операция_t положить = банк->положить_деньги(куда, сколько);
    if (!положить) return false;
    std::string формат_мессаги;
    if (!локал_строка("TRANSER_MONEY_FROM_TO", формат_мессаги))
        return false;
    банковская_операция_t журнализовать = банк->записать(формат_мессаги, откуда->имя(), куда->имя(), сколько.m_количество_в_копейках);
    if (!журнализовать) return false;

    commit(снять, положить, журнализовать);
    
    return true;
}

#define CHECK(x) if (!x) return false;

void снять_положить_записать_на_C_plus_plus(банк_t *банк, аккаунт_t *откуда, аккаунт_t *куда, кол_денег_t сколько) 
{
    банковская_операция_t снять = банк->снять_деньги(откуда, сколько);
    банковская_операция_t положить = банк->положить_деньги(куда, сколько);
    банковская_операция_t журнализовать = 
        банк->записать(
            локал_строка("TRANSFER_MONEY_FROM_TO", формат_мессаги), 
            откуда->имя(), куда->имя(), сколько.m_количество_в_копейках);
    commit(снять, положить, журнализовать);
}

So why are they so bad? If they are handled and the end users don’t see them are they really harmful?
I can think of 3 reasons off the top of my head.
Exceptions are expensive.
Exceptions can take you into unnecessary code paths.
Exceptions are generally thrown when something went wrong.

Формальная верификация — конструирование некорректного доказательства, изоморфного по отношению к некорректной программе.

int foo()
{
    bool    RetVal = S_ERROR; // из-за единственной точки выхода

    CXXRecordset* pRs = new( nothrow ) CXXRecordset;
    
    if( pRs )
    {
        if ( pRS->Open() )
        {
            if ( !pRS->Eof() )
            {
                pRs->MoveFirst();
                while( !pRs->Eof() )
                {
                    ...
                    
                    if ( pRs->Next() )
                    {
                        RetVal = RSNEXT_ERROR;
                        break;
                    }
                }
                RetVal = S_OK; // ГЛАВНОЕ не забыть, а где именно у нас успешно выполнилась функция ;)
            }
        }
    }
    
    return bRetVal 
}