https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67383
--- Comment #2 from david.cock at inf dot ethz.ch --- The problem does not occur in: arm-none-eabi-gcc (GNU Tools for ARM Embedded Processors) 4.6.2 20121016 (release) [ARM/embedded-4_6-branch revision 192487]
