Function demangle

scripts/gdb/commands.py:10–15

(name)

def demangle(name):
    if name not in _demangle_cache:
        _demangle_cache[name] = subprocess.run(
            ["c++filt", "-t", name], stdout=subprocess.PIPE
        ).stdout
    return _demangle_cache[name].decode("utf-8").strip()


def dynamic_cast(val):