В цикле проверяется значение элемента структуры dev_state.

Как видите, ИАР 7.40 загружает содержимое элемента в R0, потом сравнивает R0 с тройкой (это USBD_STATE_CONFIGURED),
а на следующем цикле прыгает НЕ НА ЗАГРУЗКУ R0 (LDRB.W R0, ...), а сразу на сравнение (CMP R0, #3)!!!

Удивляюсь, что у меня всё остальное вообще работает, с таким-то качеством компилёжки.

Конечно, если снизить оптимизацию или объявить элемент dev_state как volatile, то компилит правильно, но это же не решение! :-о :-о

А что вам говорит техподдержка IAR ?

или вы в очередной раз хотите чтобы ваши проблемы с платным компилятором решал "почтальон Печкин"?

В смысле?!!!!

объявить переменную изменчивой, для того чтобы компилятор каждый раз грузил ее значение заново не решение? А нафига тогда нужно такое объявление иначе?



Это шутка?
int i = 0;
while(i != 5); практически все оптимизаторы сделают тут вечный висяк, если даже i где то в прерываниях меняется... для этого volatile и придумано....

От вас мне никаких "решений" не требуется, так что можете быть свободны.

докторишка как всегда в своем репертуаре, отдохнул недельку и опять за старое взялся))))
Задает вопрос, а на любой ответ всех обкладывает)))....

А если подумать головой?
Даю вам на это несколько минут. Каждый может сглупить, главное вовремя исправиться и признать свою ошибку.

снизойдите скажите ответ, сил нет понять где сглупил....

конечно.
ТС живёт в категории "ниасилил".
ему плевать, что он сделал, - висяк, или не очень.

ОК.

Если компилятор считает, что переменная не меняется, он не станет её проверять в цикле.

А здесь проверяет (цикл есть), но делает это неправильно, потому что после сравнения прыгает не на загрузку регистра, а сразу на его сравнение.
То есть, сгенерённый код бессмыслен.

А нужно ли было объявлять элемент структуры (или всю структуру) как volatile или нет, это уже другой вопрос, и он к писателям STM (как вы могли заметить, это Cube).

Ну тогда я думаю krux прав, вам следует срочно написать об этом в службу поддержки IAR. У них там как раз утро, прям баг репорт сразу пишите.

Таки я не понял, вы признали свою ошибку?

одну ошибку я определенно сегодня сделал....

Компилятор проверяет не переменную, а значение регистра R0, который наверняка где-то
объявлен как volatile, как и все регистры IO.

:-))))))))))))))))) Вы начинающий, так что не стану ругаться.. :-о

Да, лет так 30 программирую, так что до вас мне далеко.