Leandro Lucarella has opened a bug report in GDB bugzilla to keep track of the patch: http://sourceware.org/bugzilla/show_bug.cgi?id=10142 I posted this here so we can easily keep an eye on this one.