http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52387
--- Comment #10 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2012-10-28 00:35:41 UTC --- Tobias, any further information on this one?
jvdelisle at gcc dot gnu.org Sat, 27 Oct 2012 17:37:02 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52387
--- Comment #10 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2012-10-28 00:35:41 UTC --- Tobias, any further information on this one?