http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53363 --- Comment #16 from Jason Merrill <jason at gcc dot gnu.org> 2013-03-05 19:01:18 UTC --- If it's easier to just disable the dg-final, that's fine too.