string = demand_copy_C_string (&length);
if (string == NULL)
- {
- as_warn (_(".stab%c: missing string"), what);
- ignore_rest_of_line ();
- goto out2;
- }
+ goto out2;
/* FIXME: We should probably find some other temporary storage
for string, rather than leaking memory if someone else
happens to use the notes obstack. */
char *stab_secname, *stabstr_secname;
stab_secname = demand_copy_C_string (&length);
+ if (stab_secname == NULL)
+ /* as_bad error has been reported. */
+ return;
SKIP_WHITESPACE ();
if (*input_line_pointer == ',')
{