From bee58510e7616d59c41c2f94edba251c06b2bc87 Mon Sep 17 00:00:00 2001 From: Artur Bieniek Date: Wed, 17 Sep 2025 13:23:47 +0200 Subject: [PATCH] Add cast in gdbinit.py (#6447) Signed-off-by: Artur Bieniek --- src/.gdbinit.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/.gdbinit.py b/src/.gdbinit.py index e7090604c..22a43e2a6 100644 --- 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