[patch] Fix for PR gdb/12573

[Tom Tromey]

>>>>> "Paul" == Paul Pluzhnikov <ppluzhnikov@google.com> writes:

Paul> Attached patch fixes http://sourceware.org/bugzilla/show_bug.cgi?id=12573
Paul> by removing (I believe incorrect) assertion.

See also:

https://bugzilla.redhat.com/show_bug.cgi?id=612253

And Jan's patch:

http://sourceware.org/ml/gdb-patches/2010-07/msg00533.html

I can't say I fully understand Jan's.
It includes yours, though, and comes with a test case.

Tom