Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR provides a few minor fixes to the
gdb
stubs.I've mainly referenced an unofficial mirror https://github.com/bminor/binutils-gdb/tree/gdb-12-branch in the commit notes, although when I checked these locally, I've used
apt
's distribution ofgdb 12.1
(/usr/share/gdb/python/
) for Ubuntu 22.04. The official git https://www.sourceware.org/gdb/current/ is less accessible when cross-checking.Symbols available in the built-in module
_gdb
(accessible when running Python throughgdb
) can be double-checked by runningstubgen
insidegdb
(although the function/method signatures suffers the same issues as python/mypy#14094).