Это да. Тенденции компиляторостроения таковы, что компилятор лишь
обеспечивает эквивалентный вашему коду "побочный эффект". Результат
компиляции может не иметь ничего общего с вашей идеей, будет похож
на содержимое файла архива, освобождённое от избыточности. Делает
невозможной отладку, но будет соответствовать заданным вами
"побочным эффектам" - записям/чтениям регистров периферии и других
volatile-областей памяти.