------- Comment #1 from pinskia at gcc dot gnu dot org 2006-07-26 00:36 ------- The easy workaround is to do pipe the files through c++filt.
-- pinskia at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Severity|major |normal http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28478