Эта конструкция используется в нескольких местах этой функции, вызываемой в прерывании. Оказывается, что компилятор выкидывает присвоение переменной.
Как победить то? Неприятные грабли - это неожиданные, которые происходят, когда сложный проект работает, осталось немного подправить

Не вижу никакого выкидывания.
pump_state кешируется в R14. В зависимости от missing_pulses в R14 пишется либо 0 (001F94), либо 1 (001F98), после чего R14 сохраняется в pump_state (001F9A). Просто компилятор чуть-чуть не попал с комментариями - это простительно на высоких уровнях оптимизации.

P.S. Основной источник глюков при использовании прерываний - программист, не знающий про ключевое слово volatile.

Спасибо. Действительно, погорячился. Простительно - отладчик в прерываниях ведет себя неадекватно, запаниковал.



Никогда не называл себя программистом :-)
А поясните, пожалуйста.
volatile на самом то деле указано для pump_state. И я думаю, что это совершенно не нужно. Если переменная используется ТОЛЬКО в прерывании, то volatile на самом то деле и не нужно, правда?

Если только в одном невложенном прерывании - то не нужно.
Если только в основной программе - тоже не нужно.
Если и в основной программе и в прерывании - необходимо.
Если в двух вложенных прерываниях - необходимо.

Короче говоря, volatile надо ставить на те переменные, которые могут изменяться асинхронно. Или в прерываниях, или по DMA, или ещё как-нибудь (напрммер, регистры внешних устройств).
Такие переменные компилятор не кеширует в регистрах процессора, а берет всегда свежие данные из ОЗУ.

Спасибо, я так и представлял.
Признаюсь, в старых проектах не пользовался. Тем не менее все вроде-бы работает, а теперь менять вроде бы ни к чему ("Папа, а почему солнце всходит на востоке, а заходит на западе? - Проверял? - Проверял! - Работает? - Работает! - Только ничего не меняй! ").
Видимо, когда количество переменных достаточно велико, компилятор не может расположить эти переменные в регистрах ввиду их сравнительно редкого использования и берет из памяти.

на конструкцию много регистров не нужно. Если flag не volatile, то при слабой оптимизаци компилятор считает flag в регистр и далее будет тупо проверять регистр, хороший - заменит эту конструкцию на бесконечный цикл, ибо внутри цикла flag не меняется и проверять его снова не нужно.

Тем не менее постоянно использую такое:

Повезло?
Ребят, знал бы, что программировать так сложно - ни за что бы не брался!

Если CheckTimeAndResetWDT() - это функция, а не макрос, то все в порядке. Компилятор в общем случае ничего о ней не знает и поэтому считает, что она может изменить все глобальные переменные, в том числе и delay_count.