2014-08-26 21:30 GMT+02:00 Sergio Durigan Junior <sergi...@sergiodj.net>: > Aha, yeah, I was indeed suspecting that libstdc++'s debuginfo would be > the cause. I managed to reproduce it here. [...]
Hello Sergio, that's indeed good news, thank you very much for your efforts! > Meanwhile, I strongly advise you to file a bug against GDB on > <https://sourceware.org/bugzilla>. Also, please be aware that this > list (<bug-gdb@gnu.org>) is not used by most of GDB developers > anymore; there's just a few of us hanging around here. Instead, > the official mailing list for users is <g...@sourceware.org>. Yes, I'm aware of this. Nevertheless the fact that I need to create yet another account kept me from using the bugzilla interface. It seems to me like an unnecessary barrier for an occasional bug reporter. All the best! EmÃlio _______________________________________________ bug-gdb mailing list bug-gdb@gnu.org https://lists.gnu.org/mailman/listinfo/bug-gdb