http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55542
--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2012-11-30 14:19:40 UTC --- The patch is OK.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55542
--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2012-11-30 14:19:40 UTC --- The patch is OK.