Improved pretty printing for smart pointers

[Tom Tromey]

>>>>> "Michael" == Michael Marte <informarte@freenet.de> writes:

Michael> creating an iterator is necessary in gdb 7.4.1.

Yeah, I forgot about that.  It was a gdb bug:
http://sourceware.org/bugzilla/show_bug.cgi?id=14386

Michael> Actually, this is what I tried first:
[...]
Michael>             return [('Use count', self.val['_M_refcount']['_M_pi']['_M_use_count']),
Michael>                     ('Weak count', self.val['_M_refcount']['_M_pi']['_M_weak_count']),
Michael>                     ('Managed value', managedValue)]

You can 'return iter([...])'.
With a comment about the gdb bug I think this would be easier to
understand than having a separate iterator class.

Tom