http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55043
--- Comment #29 from Jonathan Wakely <redi at gcc dot gnu.org> 2013-01-16 23:58:41 UTC --- I hope this fix is more acceptable :) Thanks, Daniel and Marc, for the comments and ideas, and pushing me to do a better job of it!