const char * i386_nlm_strip_name_encoding (const char *str) { const char *name = default_strip_name_encoding (str); if (*str != '*' && (*name == '_' || *name == '@')) { const char *p = strchr (name + 1, '@'); if (p) { ++name; if (ISDIGIT (p[1])) name = ggc_alloc_string (name, p - name); else if (!ISDIGIT (*name) || ++name != p) abort(); } } return name; }
const char * i386_nlm_strip_name_encoding (const char *str) { const char *name = default_strip_name_encoding (str); if (*str != '*' && (*name == '_' || *name == '@')) { const char *p = strchr (name + 1, '@'); if (p) { ++name; if (ISDIGIT (p[1])) name = ggc_alloc_string (name, p - name); else { gcc_assert (ISDIGIT (*name)); name++; gcc_assert (name == p); } } } return name; }