Должна, но не всегда работает :(
Помню, возился с коммерческим С компилятором (Sun Pro Compilers). Там было несколько модулей, которые собирались с О2 (остальные с О3). Общий размер этого всего составлял десятки миллионов строк, а модулей с О2 - десятки тысяч. Содержимое их было - аццкая жесть, авторов их никто не знал, и что там происходит - никто не понимал. В таком случае можно ставить разные уровни оптимизации. Если у вас не так - то нельзя :)
В том же компиляторе выловили интересную багу (как пользователи сказали):
В некоторой функции (небольшой) возвращающиеся результаты зависели от уровня оптимизации. Исследования показали, что в функции была ИНОГДА неинициализированная переменная, которая ИНОГДА попадала в вычисления. Реально, при использованных параметрах, неинициализированные данные в вычисления не попадали. Однако компилятор, найдя неинициализированную переменную, посчитал что результатом вычисления мусора будет мусор и выкинул тело функции ВООБЩЕ. Однако формально он (компилятор) был прав. Багу переквалифицировали в фичу :)
