Опять наткнулся на некорректную кодогенерацию, описание запостил на более популярном форуме
https://electronix.ru/forum/index.php?app=forums&module=forums&controller=topic&id=170078#comment-1844485
Как итог: кодогенерация иногда сомнительна, иногда корректна, но стандарт позволяет компилятору уж очень много вольностей, не предоставляя программисту средств для ограничения этих вольностей (кроме крайне жёсткого ограничителя в виде volatile).