Вообще-то правильно всё написали. Нефиг слать чудо-юдо проект, который к тому же на железе запускать надо. Хорошим тоном считается построить минимальный пример, воспроизводящий проблему, причём в симуляторе.
Ну да, никто не обещал, что unsigned int и uint32_t будут считаться одинаковыми при проверке на совпадение типов. В этом легко углядеть резон: если мы пытаемся делать переносимый код, компилятор помогает отловить места, где разрядность целого типа может быть иной на другой платформе.
Если докопаетесь до сути, отпишитесь, интересно же. Ну а я пока смотрю на всё это скептически. Должно быть, тех. поддержка ещё не разобралась. Мы же не разобрались, а чем мы хуже той поддержки?
Скорее всего, не на тот участок кода смотрите. Надёжнее выводить значения интересующих переменных через тот же UART, так оптимизатор их не покорёжит. Внутрисхемный отладчик может и не помочь.
Кстати, с "заходит" тоже бывают сюрпризы. При высоком уровне оптимизации исходник и машинный код соотносятся очень условно. Курсор в отладчике может прыгать по исходнику довольно хаотично. Чтобы точно сказать, что "заходит", надо там сделать вывод в UART или что-то типа того.
