GCC optimization bug on ARM11