Компилятор: MS Visual C++
Код:

void MyClass::MyMethod()
{
...
{
MyClass2 obj;
...
}
--m_counter;
}

'm_counter' есть DWORD-член класса MyClass; MyClass2 — некий класс с деструктором; остальное не важно.

ВОПРОС: гарантируется ли что деструктор объекта 'MyClass2 obj' вызовется ДО выполнения '--m_counter'? Не передвинет ли оптимизатор вызов деструктора на момент ПОСЛЕ '--m_counter' — вдруг он просто уберёт блок '{...}', окружающий 'MyClass2 obj' как 'ненужный'? С этими оптимизаторами ни в чём нельяз быть уверенным :-(