From 4ca0ac05d9c7b3885c08d4c4e6bff7b0c62cea11 Mon Sep 17 00:00:00 2001
From: pompolic <pompolic@special-circumstanc.es>
Date: Tue, 29 Nov 2022 16:48:33 +0100
Subject: [PATCH] Get gdb.Value and print fields
---
gdb-port/commands.py | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/gdb-port/commands.py b/gdb-port/commands.py
index 767031f..151f9cb 100644
--- a/gdb-port/commands.py
+++ b/gdb-port/commands.py
@@ -179,7 +179,10 @@ class HammerArenaDumpStats(gdb.Command):
arena = args[0]
detailed = top_level_parse.extended_arena_stats_available()
print("Arena statistics for", arena, "(DETAILED_ARENA_STATISTICS:", detailed. "):")
- print("{ foo: 42, bar: 11 }") # TODO
+ HArena_p_t = gdb.lookup_type("HArena").pointer()
+ arena_value = gdb.Value(arena).cast(HArena_p_t)
+ for key in arena.keys():
+ print(key, ":", arena[key])
HammerArenaDumpStats()
--
GitLab