update GDB stubs to 16.3
Diff from mypy_primer, showing the effect of this PR on open source code:
pwndbg (https://github.com/pwndbg/pwndbg)
+ pwndbg/dbg/gdb/symbol.py:162: error: Unused "type: ignore" comment [unused-ignore]
Diff from mypy_primer, showing the effect of this PR on open source code:
pwndbg (https://github.com/pwndbg/pwndbg)
+ pwndbg/dbg/gdb/symbol.py:162: error: Unused "type: ignore" comment [unused-ignore]
Diff from mypy_primer, showing the effect of this PR on open source code:
pwndbg (https://github.com/pwndbg/pwndbg)
+ pwndbg/dbg/gdb/symbol.py:162: error: Unused "type: ignore" comment [unused-ignore]
Thanks! stubs/gdb/METADATA.toml needs to be updated to the correct version as well. Also, for review purposes, is there some way to view the changes to the Python API between the versions?
You can look at NEWS and search for * Python API.
Diff from mypy_primer, showing the effect of this PR on open source code:
pwndbg (https://github.com/pwndbg/pwndbg)
+ pwndbg/dbg/gdb/symbol.py:162: error: Unused "type: ignore" comment [unused-ignore]
Diff from mypy_primer, showing the effect of this PR on open source code:
pwndbg (https://github.com/pwndbg/pwndbg)
+ pwndbg/dbg/gdb/symbol.py:162: error: Unused "type: ignore" comment [unused-ignore]
@oltolm Our CI still complains about a few symbols that are not available at runtime: https://github.com/python/typeshed/actions/runs/15323229467/job/43111418230?pr=13923
Are you sure these items exist in gdb 16.3? In that case, these items need to be added to stubs/gdb/@tests/stubtest_allowlist.txt, otherwise they need to be removed from the stubs.
Just for reference: it's generally best to avoid force-pushing, since that makes it hard for reviewers to see what change. We squash all commits when merging anyway
Diff from mypy_primer, showing the effect of this PR on open source code:
pwndbg (https://github.com/pwndbg/pwndbg)
+ pwndbg/dbg/gdb/symbol.py:162: error: Unused "type: ignore" comment [unused-ignore]
Diff from mypy_primer, showing the effect of this PR on open source code:
pwndbg (https://github.com/pwndbg/pwndbg)
+ pwndbg/dbg/gdb/symbol.py:162: error: Unused "type: ignore" comment [unused-ignore]