http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60084 --- Comment #2 from Florin Iucha <florin.iucha@hill-rom.com> --- Created attachment 32058 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32058&action=edit objdump of binary built with gcc-4.8.3