[PATCH] Add an objfile getter to gdb.Type

[Tom Tromey]

>>>>> "Christian" == Christian Biesinger via gdb-patches <gdb-patches@sourceware.org> writes:

Christian> This allows users of the Python API to find the objfile where a type
Christian> was defined.

Could you say what your motivation is for adding this?

The reason I ask is that I still harbor some hopes that we can complete
the "objfile splitting" project, and if so, then it wouldn't be possible
to associate a type with a single objfile.

I suppose maybe we could make the Python wrappers per-objfile.  So, this
patch maybe wouldn't necessarily limit this.

The patch itself looks fine to me.

Tom