------- Comment #2 from bangerth at dealii dot org 2008-04-26 00:22 ------- Confirmed. The demangler gets a valid symbol it can't demangle. W.
-- bangerth at dealii dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bangerth at dealii dot org Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|0000-00-00 00:00:00 |2008-04-26 00:22:12 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36046