Re: [PATCHv2 3/3] gdb/python: add Corefile.mapped_files method

Tom Tromey
2025-10-03T19:16:33Z

Andrew> Add a new Corefile.mapped_files method which returns a list of
Andrew> gdb.CorefileMappedFile objects.

Andrew> Each gdb.CorefileMappedFile object represents a file that was mapped
Andrew> into the process when the core file was created.

Andrew> + ** New Inferior.corefile attribute. This read only attribute
Andrew> + contains the gdb.Corefile object if a core file is loaded into
Andrew> + the inferior, otherwise, this contains None.

This hunk is duplicated, it also appears in patch 1.

Other than that this looks good to me.
Approved-By: Tom Tromey <tom@tromey.com>

Tom