Resolved! GCC bug or FreeRTOS bug?
Posted on September 21, 2017 at 13:19 I spent 3 hours debugging this. I'm using STM32L051 with FreeRTOS (initial code generated by STM32CubeMX v4.1). GCC version is the one that's coming with Ubuntu 04 by default: ~$ arm-none-eabi-gcc --versio...