http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47751
--- Comment #1 from Sebastian Huber <sebastian.hu...@embedded-brains.de> 2011-02-15 13:12:52 UTC --- Created attachment 23350 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23350 C source code corresponding to the assembler code.