http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51813
Jason Merrill <jason at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution| |FIXED --- Comment #10 from Jason Merrill <jason at gcc dot gnu.org> 2012-01-13 17:52:47 UTC --- Fixed. I think the change to C header visibility would still be a good idea, though.