http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56801
--- Comment #2 from Patrick Marlier <patrick.marlier at gmail dot com> --- This seems to be solved in 4.7.3 (I cannot reproduce). Mike, do you confirm that?
patrick.marlier at gmail dot com Fri, 05 Jul 2013 05:15:43 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56801
--- Comment #2 from Patrick Marlier <patrick.marlier at gmail dot com> --- This seems to be solved in 4.7.3 (I cannot reproduce). Mike, do you confirm that?