Searched refs:target_mangling (Results 1 – 2 of 2) sorted by relevance
2220 const char *target_mangling in write_type() local2223 if (target_mangling) in write_type()2225 write_string (target_mangling); in write_type()
2135 const char *target_mangling in write_type() local2138 if (target_mangling) in write_type()2140 write_string (target_mangling); in write_type()