https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67383
--- Comment #1 from david.cock at inf dot ethz.ch --- Fails in exactly the same manner on the following versions: arm-none-eabi-gcc (GNU Tools for ARM Embedded Processors) 4.8.4 20140725 (release) [ARM/embedded-4_8-branch revision 213147] arm-none-eabi-gcc (GNU Tools for ARM Embedded Processors) 4.9.3 20150529 (release) [ARM/embedded-4_9-branch revision 224288]
