Установил Keil 5.12 (версия компилятора 5.05).
Попросили поправить программу для прибора, и вдруг вылезло совершенно непотребное, не связанное с тем, что изменил. Вернул старую версию программы, и все равно - то же самое. Запаниковал. Помянул незлым тихим словом системы контроля версий, которыми не пользуюсь... Да и не помогли бы они.
К счастью-удивлению, Keil теперь позволяет выбрать версию компилятора. Выбрал предыдущую (5.04 update 2), скомпилировал - работает нормально. Дальнейшие хождения по ... показали, что к непотребному в новом компиляторе приводит комбинация -O3 -Otime. Убрал оптимизацию по времени, работает. Чудеса.
Возможно, что-то поменялось в CMSIS RTOS RTX, возможно, еще где-то. Не знаю.