создаю код для обработки конструкции finally при исключениях:

при компиляции получается такой код:

здесь добавлены комментарии для понятности асмовского кода, и общая суть, что компилятор не знает, что я добавлял в стек значения и затирает в данном случае последнее добавленное (см комментарий к асм-коду). В результате остается корректным лишь последний добавленный обработчик.
Вопрос: как сказать компилятору, что бы он эту процедуру оптимизировал каким-либо подходящим образом для этого случая?

Лучше всего будет воздержаться от использования асма в программах на C++.
Ваша программа не будет компилироваться, если компилятор не знает синтаксиса AT&T. Также другой компилятор под другой платформой скорее всего также соберет программу неправильно (что-нибудь затрет в стеке). Использовать метки и goto тоже не рекомендуется.

В C++ есть миханизм обработки исключений. Для чего нужен finally, если программа так или иначе продолжит свое выполнение, покинув try-блок?


Если уж ну очень хочется покодить на асме, то пишите ассемблерные куски в виде функций и подключайте к программе в виде библиотек.

есть подозрение что никак. можно, конечно, взять исходники компилятора и поковырять их.... но это будет уже не С++.... да и вообще, для чего сий код может понадобиться? ...
этот код получится очань зависимым от реализации компилятора, и собственно, платформы...

у меня си, а не си++, и компилиться будет только под mingw, для одного проекта.
в си нету компиляции блоков try.

вы сначала изобретаете исключения, затем эмулируете классы, затем RTTI, проще сразу использовать с++
поскольку используется mingw, речь идет о windows, а на этой платформе есть механизм SEH, логично использовать его

Ну в данной ассемблерной вставке именно SEH для перехвата исключений и используется.
MinGW, если память не изменяет, С++ тоже компилит, потому отчего бы не заюзать try?

Или напишите в MASM функцию, которая в качестве аргумента принимает указатель на callback процедуру. если происходит ошибка, функция возвращает отрицательное число, иначе - ноль.

получится что-то вроде

кстати в mingw есть библиотека excpt.h, где макросы __try1 и __except1 именно такой ошибочный способ и использую - создают EXCEPTION_REGISTRATION в стеке через push.

victor79, может это поможет:
http://www.insidepro.com/kk/014/014r.shtml
http://www.securitylab.ru/contest/212085.php

Это сообщение отредактировал(а) mes - 21.12.2008, 21:22

to mes, я еще вчера хотел у вас на плюсик в репутации нажать, да меня обломало - меньше 100 сообщений)
за пару минут до вашего сообщения я вспомнил про функцию alloca - выделение памяти в стеке, а после в одной из ваших ссылок - что можно же просто объявить переменную вида int buf[4]. Теперь дополнив это еще вчерашней ссылкой про расширение C (http://linfoline.homedns.org/gcc27/gcc1-4.html) у меня есть весь необходимый инвентарь для создания собственного обработчика исключений. Как доделаю, выложу на обсуждение - вдруг кому-нибудь понадобиться. Спасибо.

подобные механизмы обработки исключений, лично меня ломают, так как я пишу на с++, а это поломало бы там абсолютно все, но для си может и сработать... хотя все-же лучше использовать то что предостовляется компилятором, так как это будет переносимо, плюс это не только ты один будешь использовать. не знаю как насчет mingw, а сишный компилятор фирмы microsoft умеет исключения и знает __try и __finally, может лучше использовать его?

Имхо наоборот не логично, используют mingw обычно для кроссплатформенных проектов. В принципе и под линуксом mingw работает, т.е. собирает программы для windows. Но все-таки использование вставок asm'a это привязка к конкретному компилятору и конкретно к семейству процессоров.

Милая аватарка