http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19430
--- Comment #18 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- This seems to be fixed in the trunk.
vincent-gcc at vinc17 dot net Wed, 20 Nov 2013 19:12:22 -0800
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19430
--- Comment #18 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- This seems to be fixed in the trunk.