Add cast in gdbinit.py (#6447)

Signed-off-by: Artur Bieniek <abieniek@internships.antmicro.com>
2025-09-17 13:23:47 +02:00 · 2025-09-17 13:23:47 +02:00 · bee58510e7
parent b10c6293d9
commit bee58510e7
1 changed files with 1 additions and 1 deletions
--- a/src/.gdbinit.py
+++ b/src/.gdbinit.py
@ -16,7 +16,7 @@ import gdb  # pylint: disable=import-error
 def _vltgdb_get_dump(node):
    gdb.execute(f'set $_gdb_dump_json_str = AstNode::dumpTreeJsonGdb({node})')
    dump = gdb.execute('printf "%s", $_gdb_dump_json_str', to_string=True)
-    gdb.execute('call free($_gdb_dump_json_str)')
+    gdb.execute('call (void)free($_gdb_dump_json_str)')
    return dump