https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66865
--- Comment #10 from marcus at jet dot franken.de --- Created attachment 35982 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35982&action=edit sec.s.bad bad assembly. %rsi not restored with formatW
