http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60084
--- Comment #3 from Florin Iucha <florin.iu...@hill-rom.com> --- gcc version 4.7.4 20130913 (release) [ARM/embedded-4_7-branch revision 202601] (GNU Tools for ARM Embedded Processors) generates the same code as 4.7.3