https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79530
--- Comment #3 from tdz at users dot sourceforge.net --- Created attachment 40750 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40750&action=edit main.s from gcc -save-temps
tdz at users dot sourceforge.net Wed, 15 Feb 2017 07:01:34 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79530
--- Comment #3 from tdz at users dot sourceforge.net --- Created attachment 40750 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40750&action=edit main.s from gcc -save-temps