From 02cbf3fd199708ead34bfcd1cdd7c905ae9e19b7 Mon Sep 17 00:00:00 2001 From: k4lizen <124312252+k4lizen@users.noreply.github.com> Date: Sun, 1 Feb 2026 18:02:49 +0100 Subject: [PATCH] make a Value's address have type Value | None Which is consistent with the GDB documentation: https://sourceware.org/gdb/current/onlinedocs/gdb.html/Values-From-Inferior.html#Values-From-Inferior:~:text=Variable%3A%20Value%2Eaddress --- stubs/gdb/gdb/__init__.pyi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stubs/gdb/gdb/__init__.pyi b/stubs/gdb/gdb/__init__.pyi index d533a95e392c..2c0a12c8b95a 100644 --- a/stubs/gdb/gdb/__init__.pyi +++ b/stubs/gdb/gdb/__init__.pyi @@ -76,7 +76,7 @@ _ValueOrInt: TypeAlias = Value | int @disjoint_base class Value: - address: Value + address: Value | None is_optimized_out: bool type: Type dynamic_type: Type