http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56127
--- Comment #3 from Till <trosenband at gmail dot com> 2013-01-28 11:20:46 UTC --- Thank you for checking. You are right, this seems to be a version-specific problem for Sourcery CodeBench. I don't see an obvious bug in the assembly code produce by these compilers: @ GNU C++ (Ubuntu/Linaro 4.6.3-8ubuntu1) version 4.6.3 20120624 (prerelease) (arm-linux-gnueabi) @ GNU C++ (Ubuntu/Linaro 4.7.2-1ubuntu1) version 4.7.2 (arm-linux-gnueabi)