https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61830
--- Comment #1 from Salvatore Filippone <sfilippone at uniroma2 dot it> --- Created attachment 33133 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33133&action=edit workaround
sfilippone at uniroma2 dot it Thu, 17 Jul 2014 06:25:34 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61830
--- Comment #1 from Salvatore Filippone <sfilippone at uniroma2 dot it> --- Created attachment 33133 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33133&action=edit workaround