Почему Clang объектный код существенно отличается при изменении уровня оптимизации в небольшой части кода? ⇐ C++

[Anonymous]

Недавно мне пришлось отследить ошибку из -за ошибки оптимизации компилятора. Это использует Clang 9.0.0 на Linux (Ubuntu 18.04 LTS - да, обслуживание устаревшего кода здесь). Я смог ускорить задачу и отключить оптимизацию (файл скомпилируется с -офаст ):

Код: Выделить всё

...
#pragma clang optimize off

MyTemplateClass MyClass2::memberFunction(const MyTemplateClass& path, bool error)
{

#pragma clang optimize on

}
...
< /code>
И это решило проблему. Большой! Поэтому я решил разобрать .o 

, произведенный старым компиляцией без #pragma s и новой (

Код: Выделить всё

llvm-objcopy -d myobjcode.o > myobjcode.objdump

) и сравните. Вау, они были существенно разными! Все memberfunction () и несколько других функций, казалось, имели совершенно другой уровень оптимизации.
Так что мой вопрос: ожидается ли это? Я вижу, что -Фаст теперь устарел из -за «агрессивных оптимизаций, которые могут нарушать строгое соблюдение языковых стандартов». Может ли это быть причиной? Это, похоже, не объясняет изменение кода далеко за пределами #pragma s, хотя. Какова причина здесь для значительных различий в коде?

Подробнее здесь: https://stackoverflow.com/questions/797 ... ation-leve