> I believe it could be treated as a bug. I'm not sure if this will be > fixed on the code, or on the documentation, but either way I suggest you > to open a bug in GDB bugzilla, please: > > http://sourceware.org/bugzilla/ Hi, bug filed at http://sourceware.org/bugzilla/show_bug.cgi?id=13052 -- Best Regards.