diff --git a/gdb-port/commands.py b/gdb-port/commands.py index 767031ff897165f785c6f4ad0403cb339d419594..151f9cbab44f063bb5358abad381c114e0ee8d7e 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()