Re: [PATCH] Add an objfile getter to gdb.Type

Tom Tromey
2019-05-28T22:07:53Z

>>>>> "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