the stab section name. */
if (saved_secname == 0 || strcmp (saved_secname, stab_secname))
{
- stabstr_secname = (char *) xmalloc (strlen (stab_secname) + 4);
- strcpy (stabstr_secname, stab_secname);
- strcat (stabstr_secname, "str");
+ stabstr_secname = concat (stab_secname, "str", (char *) NULL);
if (saved_secname)
{
free (saved_secname);
if (! void_emitted_p)
{
- input_line_pointer = "\"void:t1=1\",128,0,0,0";
+ input_line_pointer = (char *) "\"void:t1=1\",128,0,0,0";
s_stab ('s');
void_emitted_p = 1;
}