Function demangle_c_symbol_name

tools/shared.py:566–569

(name)

def demangle_c_symbol_name(name):
  if not is_c_symbol(name):
    return '$' + name
  return name[1:] if name.startswith('_') else name


def is_c_symbol(name):