https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111755
--- Comment #4 from kuzume <kuzume at axell dot co.jp> --- I apologize, but I will retract this report. I've realized that the IRQ handler call of a certain RTOS I'm using is invoking with $sp as a multiple of 4, not 8. This violates the ARM ABI convention.