X-Git-Url: http://drtracing.org/?a=blobdiff_plain;f=gas%2Fstabs.c;h=c962bb4fdf78a5c685281976f6bd7609b14b7d61;hb=41792d688a5a1f158d6e9ecda2b603ae122d69a1;hp=2b56894e8fc328d2b8d5f5aa4ccc8fea2b9946e9;hpb=63cafcefeac326d2435260714834a785dfa768dd;p=deliverable%2Fbinutils-gdb.git diff --git a/gas/stabs.c b/gas/stabs.c index 2b56894e8f..c962bb4fdf 100644 --- a/gas/stabs.c +++ b/gas/stabs.c @@ -1,32 +1,41 @@ /* Generic stabs parsing for gas. - Copyright (C) 1989, 1990, 1991, 1993 Free Software Foundation, Inc. + Copyright (C) 1989-2020 Free Software Foundation, Inc. -This file is part of GAS, the GNU Assembler. + This file is part of GAS, the GNU Assembler. -GAS is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as -published by the Free Software Foundation; either version 2, -or (at your option) any later version. + GAS is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as + published by the Free Software Foundation; either version 3, + or (at your option) any later version. -GAS is distributed in the hope that it will be useful, but -WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See -the GNU General Public License for more details. + GAS is distributed in the hope that it will be useful, but + WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See + the GNU General Public License for more details. -You should have received a copy of the GNU General Public -License along with GAS; see the file COPYING. If not, write -to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ + You should have received a copy of the GNU General Public License + along with GAS; see the file COPYING. If not, write to the Free + Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA + 02110-1301, USA. */ #include "as.h" -#include "libiberty.h" +#include "filenames.h" #include "obstack.h" #include "subsegs.h" +#include "ecoff.h" /* We need this, despite the apparent object format dependency, since - it defines stab types, which all object formats can use now. */ + it defines stab types, which all object formats can use now. */ #include "aout/stab_gnu.h" +/* Holds whether the assembler is generating stabs line debugging + information or not. Potentially used by md_cleanup function. */ + +int outputting_stabs_line_debug = 0; + +static void generate_asm_file (int, const char *); + /* Allow backends to override the names used for the stab sections. */ #ifndef STAB_SECTION_NAME #define STAB_SECTION_NAME ".stab" @@ -36,6 +45,15 @@ to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1 #define STAB_STRING_SECTION_NAME ".stabstr" #endif +/* True if we're in the middle of a .func function, in which case + stabs_generate_asm_lineno emits function relative line number stabs. + Otherwise it emits line number stabs with absolute addresses. Note that + both cases only apply to assembler code assembled with -gstabs. */ +static bfd_boolean in_dot_func_p = FALSE; + +/* Label at start of current function if in_dot_func_p != FALSE. */ +static const char *current_function_label; + /* * Handle .stabX directives, which used to be open-coded. * So much creeping featurism overloaded the semantics that we decided @@ -61,52 +79,50 @@ to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1 #endif unsigned int -get_stab_string_offset (string, stabstr_secname) - const char *string; - const char *stabstr_secname; +get_stab_string_offset (const char *string, const char *stabstr_secname, + bfd_boolean free_stabstr_secname) { unsigned int length; unsigned int retval; + segT save_seg; + subsegT save_subseg; + segT seg; + char *p; if (! SEPARATE_STAB_SECTIONS) abort (); - retval = 0; length = strlen (string); - if (length > 0) - { /* Ordinary case. */ - segT save_seg; - subsegT save_subseg; - segT seg; - char *p; - save_seg = now_seg; - save_subseg = now_subseg; + save_seg = now_seg; + save_subseg = now_subseg; - /* Create the stab string section. */ - seg = subseg_new (stabstr_secname, 0); + /* Create the stab string section, if it doesn't already exist. */ + seg = subseg_new (stabstr_secname, 0); + if (free_stabstr_secname && seg->name != stabstr_secname) + free ((char *) stabstr_secname); - retval = seg_info (seg)->stabu.stab_string_size; - if (retval <= 0) - { - /* Make sure the first string is empty. */ - p = frag_more (1); - *p = 0; - retval = seg_info (seg)->stabu.stab_string_size = 1; -#ifdef BFD_ASSEMBLER - bfd_set_section_flags (stdoutput, seg, SEC_READONLY | SEC_DEBUGGING); - if (seg->name == stabstr_secname) - seg->name = xstrdup (stabstr_secname); -#endif - } + retval = seg_info (seg)->stabu.stab_string_size; + if (retval <= 0) + { + /* Make sure the first string is empty. */ + p = frag_more (1); + *p = 0; + retval = seg_info (seg)->stabu.stab_string_size = 1; + bfd_set_section_flags (seg, SEC_READONLY | SEC_DEBUGGING); + } + if (length > 0) + { /* Ordinary case. */ p = frag_more (length + 1); strcpy (p, string); seg_info (seg)->stabu.stab_string_size += length + 1; - - subseg_set (save_seg, save_subseg); } + else + retval = 0; + + subseg_set (save_seg, save_subseg); return retval; } @@ -116,11 +132,9 @@ get_stab_string_offset (string, stabstr_secname) #define OBJ_PROCESS_STAB(SEG,W,S,T,O,D) aout_process_stab(W,S,T,O,D) #endif -static void -aout_process_stab (what, string, type, other, desc) - int what; - const char *string; - int type, other, desc; +/* Here instead of obj-aout.c because other formats use it too. */ +void +aout_process_stab (int what, const char *string, int type, int other, int desc) { /* Put the stab information in the symbol table. */ symbolS *symbol; @@ -131,23 +145,24 @@ aout_process_stab (what, string, type, other, desc) ends in "\" and the debug info is continued in the next .stabs directive) from being separated by other random symbols. */ symbol = symbol_create (string, undefined_section, 0, - (struct frag *) NULL); + &zero_address_frag); if (what == 's' || what == 'n') { /* Pick up the value from the input line. */ - symbol->sy_frag = &zero_address_frag; pseudo_set (symbol); } else { /* .stabd sets the name to NULL. Why? */ S_SET_NAME (symbol, NULL); - symbol->sy_frag = frag_now; + symbol_set_frag (symbol, frag_now); S_SET_VALUE (symbol, (valueT) frag_now_fix ()); } symbol_append (symbol, symbol_lastP, &symbol_rootP, &symbol_lastP); + symbol_get_bfdsym (symbol)->flags |= BSF_DEBUGGING; + S_SET_TYPE (symbol, type); S_SET_OTHER (symbol, other); S_SET_DESC (symbol, desc); @@ -155,16 +170,19 @@ aout_process_stab (what, string, type, other, desc) #endif /* This can handle different kinds of stabs (s,n,d) and different - kinds of stab sections. */ + kinds of stab sections. If STAB_SECNAME_OBSTACK_END is non-NULL, + then STAB_SECNAME and STABSTR_SECNAME will be freed if possible + before this function returns (the former by obstack_free). */ -static void -s_stab_generic (what, stab_secname, stabstr_secname) - int what; - char *stab_secname; - char *stabstr_secname; +static void +s_stab_generic (int what, + const char *stab_secname, + const char *stabstr_secname, + const char *stab_secname_obstack_end) { long longint; - char *string; + const char *string; + char *saved_string_obstack_end; int type; int other; int desc; @@ -178,18 +196,31 @@ s_stab_generic (what, stab_secname, stabstr_secname) 'd' indicating which type of .stab this is. */ if (what != 's') - string = ""; + { + string = ""; + saved_string_obstack_end = 0; + } else { int length; string = demand_copy_C_string (&length); + if (string == NULL) + { + as_warn (_(".stab%c: missing string"), what); + ignore_rest_of_line (); + return; + } + /* FIXME: We should probably find some other temporary storage + for string, rather than leaking memory if someone else + happens to use the notes obstack. */ + saved_string_obstack_end = obstack_next_free (¬es); SKIP_WHITESPACE (); if (*input_line_pointer == ',') input_line_pointer++; else { - as_warn (".stabs: Missing comma"); + as_warn (_(".stab%c: missing comma"), what); ignore_rest_of_line (); return; } @@ -197,7 +228,7 @@ s_stab_generic (what, stab_secname, stabstr_secname) if (get_absolute_expression_and_terminator (&longint) != ',') { - as_warn (".stab%c: Missing comma", what); + as_warn (_(".stab%c: missing comma"), what); ignore_rest_of_line (); return; } @@ -205,18 +236,26 @@ s_stab_generic (what, stab_secname, stabstr_secname) if (get_absolute_expression_and_terminator (&longint) != ',') { - as_warn (".stab%c: Missing comma", what); + as_warn (_(".stab%c: missing comma"), what); ignore_rest_of_line (); return; } other = longint; desc = get_absolute_expression (); + + if ((desc > 0xffff) || (desc < -0x8000)) + /* This could happen for example with a source file with a huge + number of lines. The only cure is to use a different debug + format, probably DWARF. */ + as_warn (_(".stab%c: description field '%x' too big, try a different debug format"), + what, desc); + if (what == 's' || what == 'n') { if (*input_line_pointer != ',') { - as_warn (".stab%c: Missing comma", what); + as_warn (_(".stab%c: missing comma"), what); ignore_rest_of_line (); return; } @@ -226,7 +265,8 @@ s_stab_generic (what, stab_secname, stabstr_secname) #ifdef TC_PPC #ifdef OBJ_ELF - /* Solaris on PowerPC has decided that .stabd takes 4 arguments, so emulate it. */ + /* Solaris on PowerPC has decided that .stabd can take 4 arguments, so if we were + given 4 arguments, make it a .stabn */ else if (what == 'd') { char *save_location = input_line_pointer; @@ -234,19 +274,8 @@ s_stab_generic (what, stab_secname, stabstr_secname) SKIP_WHITESPACE (); if (*input_line_pointer == ',') { - int dummy; - input_line_pointer++; - SKIP_WHITESPACE (); - - dummy = get_absolute_expression (); - if (dummy != 0) - { - as_warn (".stabd: Fourth field must be 0"); - ignore_rest_of_line (); - return; - } - SKIP_WHITESPACE (); + what = 'n'; } else input_line_pointer = save_location; @@ -287,11 +316,14 @@ s_stab_generic (what, stab_secname, stabstr_secname) char *p; static segT cached_sec; - static char *cached_secname; dot = frag_now_fix (); - if (cached_secname && !strcmp (cached_secname, stab_secname)) +#ifdef md_flush_pending_output + md_flush_pending_output (); +#endif + + if (cached_sec && strcmp (cached_sec->name, stab_secname) == 0) { seg = cached_sec; subseg_set (seg, 0); @@ -299,30 +331,32 @@ s_stab_generic (what, stab_secname, stabstr_secname) else { seg = subseg_new (stab_secname, 0); - if (cached_secname) - free (cached_secname); - cached_secname = xstrdup (stab_secname); cached_sec = seg; } if (! seg_info (seg)->hadone) { -#ifdef BFD_ASSEMBLER - bfd_set_section_flags (stdoutput, seg, + bfd_set_section_flags (seg, SEC_READONLY | SEC_RELOC | SEC_DEBUGGING); -#endif #ifdef INIT_STAB_SECTION INIT_STAB_SECTION (seg); #endif seg_info (seg)->hadone = 1; } - stroff = get_stab_string_offset (string, stabstr_secname); - if (what == 's') - { - /* release the string */ - obstack_free (¬es, string); - } + stroff = get_stab_string_offset (string, stabstr_secname, + stab_secname_obstack_end != NULL); + + /* Release the string, if nobody else has used the obstack. */ + if (saved_string_obstack_end != NULL + && saved_string_obstack_end == obstack_next_free (¬es)) + obstack_free (¬es, string); + /* Similarly for the section name. This must be done before + creating symbols below, which uses the notes obstack. */ + if (seg->name != stab_secname + && stab_secname_obstack_end != NULL + && stab_secname_obstack_end == obstack_next_free (¬es)) + obstack_free (¬es, stab_secname); /* At least for now, stabs in a special stab section are always output as 12 byte blocks of information. */ @@ -340,13 +374,11 @@ s_stab_generic (what, stab_secname, stabstr_secname) } else { - const char *fake; symbolS *symbol; expressionS exp; /* Arrange for a value representing the current location. */ - fake = FAKE_LABEL_NAME; - symbol = symbol_new (fake, saved_seg, dot, saved_frag); + symbol = symbol_temp_new (saved_seg, dot, saved_frag); exp.X_op = O_symbol; exp.X_add_symbol = symbol; @@ -363,6 +395,12 @@ s_stab_generic (what, stab_secname, stabstr_secname) } else { + if (stab_secname_obstack_end != NULL) + { + free ((char *) stabstr_secname); + if (stab_secname_obstack_end == obstack_next_free (¬es)) + obstack_free (¬es, stab_secname); + } #ifdef OBJ_PROCESS_STAB OBJ_PROCESS_STAB (0, what, string, type, other, desc); #else @@ -373,64 +411,47 @@ s_stab_generic (what, stab_secname, stabstr_secname) demand_empty_rest_of_line (); } -/* Regular stab directive. */ +/* Regular stab directive. */ void -s_stab (what) - int what; +s_stab (int what) { - s_stab_generic (what, STAB_SECTION_NAME, STAB_STRING_SECTION_NAME); + s_stab_generic (what, STAB_SECTION_NAME, STAB_STRING_SECTION_NAME, NULL); } -/* "Extended stabs", used in Solaris only now. */ +/* "Extended stabs", used in Solaris only now. */ void -s_xstab (what) - int what; +s_xstab (int what) { int length; - char *stab_secname, *stabstr_secname; - static char *saved_secname, *saved_strsecname; + char *stab_secname, *stabstr_secname, *stab_secname_obstack_end; - /* @@ MEMORY LEAK: This allocates a copy of the string, but in most - cases it will be the same string, so we could release the storage - back to the obstack it came from. */ stab_secname = demand_copy_C_string (&length); + stab_secname_obstack_end = obstack_next_free (¬es); SKIP_WHITESPACE (); if (*input_line_pointer == ',') input_line_pointer++; else { - as_bad ("comma missing in .xstabs"); + as_bad (_("comma missing in .xstabs")); ignore_rest_of_line (); return; } /* To get the name of the stab string section, simply add "str" to 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"); - if (saved_secname) - { - free (saved_secname); - free (saved_strsecname); - } - saved_secname = stab_secname; - saved_strsecname = stabstr_secname; - } - s_stab_generic (what, saved_secname, saved_strsecname); + stabstr_secname = concat (stab_secname, "str", (char *) NULL); + s_stab_generic (what, stab_secname, stabstr_secname, + stab_secname_obstack_end); } #ifdef S_SET_DESC /* Frob invented at RMS' request. Set the n_desc of a symbol. */ -void -s_desc (ignore) - int ignore; +void +s_desc (int ignore ATTRIBUTE_UNUSED) { char *name; char c; @@ -438,15 +459,14 @@ s_desc (ignore) symbolS *symbolP; int temp; - name = input_line_pointer; - c = get_symbol_end (); + c = get_symbol_name (&name); p = input_line_pointer; *p = c; - SKIP_WHITESPACE (); + SKIP_WHITESPACE_AFTER_NAME (); if (*input_line_pointer != ',') { *p = 0; - as_bad ("Expected comma after name \"%s\"", name); + as_bad (_("expected comma after \"%s\""), name); *p = c; ignore_rest_of_line (); } @@ -463,3 +483,224 @@ s_desc (ignore) } /* s_desc() */ #endif /* defined (S_SET_DESC) */ + +/* Generate stabs debugging information to denote the main source file. */ + +void +stabs_generate_asm_file (void) +{ + const char *file; + unsigned int lineno; + + file = as_where (&lineno); + if (use_gnu_debug_info_extensions) + { + const char *dir; + char *dir2; + + dir = remap_debug_filename (getpwd ()); + dir2 = concat (dir, "/", NULL); + generate_asm_file (N_SO, dir2); + free (dir2); + xfree ((char *) dir); + } + generate_asm_file (N_SO, file); +} + +/* Generate stabs debugging information to denote the source file. + TYPE is one of N_SO, N_SOL. */ + +static void +generate_asm_file (int type, const char *file) +{ + static char *last_file; + static int label_count; + char sym[30]; + char *buf; + const char *tmp = file; + const char *file_endp = file + strlen (file); + char *bufp; + + if (last_file != NULL + && filename_cmp (last_file, file) == 0) + return; + + /* Rather than try to do this in some efficient fashion, we just + generate a string and then parse it again. That lets us use the + existing stabs hook, which expect to see a string, rather than + inventing new ones. */ + sprintf (sym, "%sF%d", FAKE_LABEL_NAME, label_count); + ++label_count; + + /* Allocate enough space for the file name (possibly extended with + doubled up backslashes), the symbol name, and the other characters + that make up a stabs file directive. */ + bufp = buf = XNEWVEC (char, 2 * strlen (file) + strlen (sym) + 12); + + *bufp++ = '"'; + + while (tmp < file_endp) + { + const char *bslash = strchr (tmp, '\\'); + size_t len = bslash != NULL ? bslash - tmp + 1 : file_endp - tmp; + + /* Double all backslashes, since demand_copy_C_string (used by + s_stab to extract the part in quotes) will try to replace them as + escape sequences. backslash may appear in a filespec. */ + memcpy (bufp, tmp, len); + + tmp += len; + bufp += len; + + if (bslash != NULL) + *bufp++ = '\\'; + } + + sprintf (bufp, "\",%d,0,0,%s\n", type, sym); + + temp_ilp (buf); + s_stab ('s'); + restore_ilp (); + + colon (sym); + + free (last_file); + last_file = xstrdup (file); + + free (buf); +} + +/* Generate stabs debugging information for the current line. This is + used to produce debugging information for an assembler file. */ + +void +stabs_generate_asm_lineno (void) +{ + static int label_count; + const char *file; + unsigned int lineno; + char *buf; + char sym[30]; + /* Remember the last file/line and avoid duplicates. */ + static unsigned int prev_lineno = -1; + static char *prev_file = NULL; + + /* Rather than try to do this in some efficient fashion, we just + generate a string and then parse it again. That lets us use the + existing stabs hook, which expect to see a string, rather than + inventing new ones. */ + + file = as_where (&lineno); + + /* Don't emit sequences of stabs for the same line. */ + if (prev_file == NULL) + { + /* First time through. */ + prev_file = xstrdup (file); + prev_lineno = lineno; + } + else if (lineno == prev_lineno + && filename_cmp (file, prev_file) == 0) + { + /* Same file/line as last time. */ + return; + } + else + { + /* Remember file/line for next time. */ + prev_lineno = lineno; + if (filename_cmp (file, prev_file) != 0) + { + free (prev_file); + prev_file = xstrdup (file); + } + } + + /* Let the world know that we are in the middle of generating a + piece of stabs line debugging information. */ + outputting_stabs_line_debug = 1; + + generate_asm_file (N_SOL, file); + + sprintf (sym, "%sL%d", FAKE_LABEL_NAME, label_count); + ++label_count; + + if (in_dot_func_p) + { + buf = XNEWVEC (char, 100 + strlen (current_function_label)); + sprintf (buf, "%d,0,%d,%s-%s\n", N_SLINE, lineno, + sym, current_function_label); + } + else + { + buf = XNEWVEC (char, 100); + sprintf (buf, "%d,0,%d,%s\n", N_SLINE, lineno, sym); + } + + temp_ilp (buf); + s_stab ('n'); + restore_ilp (); + + colon (sym); + + outputting_stabs_line_debug = 0; + free (buf); +} + +/* Emit a function stab. + All assembler functions are assumed to have return type `void'. */ + +void +stabs_generate_asm_func (const char *funcname, const char *startlabname) +{ + static bfd_boolean void_emitted_p = FALSE; + char *buf; + unsigned int lineno; + + if (! void_emitted_p) + { + temp_ilp ((char *) "\"void:t1=1\",128,0,0,0"); + s_stab ('s'); + restore_ilp (); + void_emitted_p = TRUE; + } + + as_where (&lineno); + if (asprintf (&buf, "\"%s:F1\",%d,0,%d,%s", + funcname, N_FUN, lineno + 1, startlabname) == -1) + as_fatal ("%s", xstrerror (errno)); + + temp_ilp (buf); + s_stab ('s'); + restore_ilp (); + free (buf); + + current_function_label = xstrdup (startlabname); + in_dot_func_p = TRUE; +} + +/* Emit a stab to record the end of a function. */ + +void +stabs_generate_asm_endfunc (const char *funcname ATTRIBUTE_UNUSED, + const char *startlabname) +{ + static int label_count; + char *buf; + char sym[30]; + + sprintf (sym, "%sendfunc%d", FAKE_LABEL_NAME, label_count); + ++label_count; + colon (sym); + + if (asprintf (&buf, "\"\",%d,0,0,%s-%s", N_FUN, sym, startlabname) == -1) + as_fatal ("%s", xstrerror (errno)); + + temp_ilp (buf); + s_stab ('s'); + restore_ilp (); + free (buf); + + in_dot_func_p = FALSE; + current_function_label = NULL; +}