http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45690
--- Comment #7 from Tom Tromey <tromey at gcc dot gnu.org> 2012-01-20 14:59:51 UTC --- gdb doesn't read .debug_pubtypes. So the problem must be something else.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45690
--- Comment #7 from Tom Tromey <tromey at gcc dot gnu.org> 2012-01-20 14:59:51 UTC --- gdb doesn't read .debug_pubtypes. So the problem must be something else.