1 /* ELF object file format
2 Copyright (C) 1992-2018 Free Software Foundation, Inc.
4 This file is part of GAS, the GNU Assembler.
6 GAS is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as
8 published by the Free Software Foundation; either version 3,
9 or (at your option) any later version.
11 GAS is distributed in the hope that it will be useful, but
12 WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See
14 the GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GAS; see the file COPYING. If not, write to the Free
18 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
21 #define OBJ_HEADER "obj-elf.h"
23 #include "safe-ctype.h"
26 #include "struc-symbol.h"
27 #include "dwarf2dbg.h"
29 #ifndef ECOFF_DEBUGGING
30 #define ECOFF_DEBUGGING 0
32 #define NEED_ECOFF_DEBUG
35 #ifdef NEED_ECOFF_DEBUG
40 #include "elf/alpha.h"
56 #include "elf/x86-64.h"
64 #include "elf/nios2.h"
71 static void obj_elf_line (int);
72 static void obj_elf_size (int);
73 static void obj_elf_type (int);
74 static void obj_elf_ident (int);
75 static void obj_elf_weak (int);
76 static void obj_elf_local (int);
77 static void obj_elf_visibility (int);
78 static void obj_elf_symver (int);
79 static void obj_elf_subsection (int);
80 static void obj_elf_popsection (int);
81 static void obj_elf_gnu_attribute (int);
82 static void obj_elf_tls_common (int);
83 static void obj_elf_lcomm (int);
84 static void obj_elf_struct (int);
86 static const pseudo_typeS elf_pseudo_table[] =
88 {"comm", obj_elf_common, 0},
89 {"common", obj_elf_common, 1},
90 {"ident", obj_elf_ident, 0},
91 {"lcomm", obj_elf_lcomm, 0},
92 {"local", obj_elf_local, 0},
93 {"previous", obj_elf_previous, 0},
94 {"section", obj_elf_section, 0},
95 {"section.s", obj_elf_section, 0},
96 {"sect", obj_elf_section, 0},
97 {"sect.s", obj_elf_section, 0},
98 {"pushsection", obj_elf_section, 1},
99 {"popsection", obj_elf_popsection, 0},
100 {"size", obj_elf_size, 0},
101 {"type", obj_elf_type, 0},
102 {"version", obj_elf_version, 0},
103 {"weak", obj_elf_weak, 0},
105 /* These define symbol visibility. */
106 {"internal", obj_elf_visibility, STV_INTERNAL},
107 {"hidden", obj_elf_visibility, STV_HIDDEN},
108 {"protected", obj_elf_visibility, STV_PROTECTED},
110 /* These are used for stabs-in-elf configurations. */
111 {"line", obj_elf_line, 0},
113 /* This is a GNU extension to handle symbol versions. */
114 {"symver", obj_elf_symver, 0},
116 /* A GNU extension to change subsection only. */
117 {"subsection", obj_elf_subsection, 0},
119 /* These are GNU extensions to aid in garbage collecting C++ vtables. */
120 {"vtable_inherit", obj_elf_vtable_inherit, 0},
121 {"vtable_entry", obj_elf_vtable_entry, 0},
123 /* A GNU extension for object attributes. */
124 {"gnu_attribute", obj_elf_gnu_attribute, 0},
126 /* These are used for dwarf. */
130 /* These are used for dwarf2. */
131 { "file", dwarf2_directive_file, 0 },
132 { "loc", dwarf2_directive_loc, 0 },
133 { "loc_mark_labels", dwarf2_directive_loc_mark_labels, 0 },
135 /* We need to trap the section changing calls to handle .previous. */
136 {"data", obj_elf_data, 0},
137 {"offset", obj_elf_struct, 0},
138 {"struct", obj_elf_struct, 0},
139 {"text", obj_elf_text, 0},
141 {"tls_common", obj_elf_tls_common, 0},
147 static const pseudo_typeS ecoff_debug_pseudo_table[] =
149 #ifdef NEED_ECOFF_DEBUG
150 /* COFF style debugging information for ECOFF. .ln is not used; .loc
152 { "def", ecoff_directive_def, 0 },
153 { "dim", ecoff_directive_dim, 0 },
154 { "endef", ecoff_directive_endef, 0 },
155 { "file", ecoff_directive_file, 0 },
156 { "scl", ecoff_directive_scl, 0 },
157 { "tag", ecoff_directive_tag, 0 },
158 { "val", ecoff_directive_val, 0 },
160 /* COFF debugging requires pseudo-ops .size and .type, but ELF
161 already has meanings for those. We use .esize and .etype
162 instead. These are only generated by gcc anyhow. */
163 { "esize", ecoff_directive_size, 0 },
164 { "etype", ecoff_directive_type, 0 },
166 /* ECOFF specific debugging information. */
167 { "aent", ecoff_directive_ent, 1 },
168 { "begin", ecoff_directive_begin, 0 },
169 { "bend", ecoff_directive_bend, 0 },
170 { "end", ecoff_directive_end, 0 },
171 { "ent", ecoff_directive_ent, 0 },
172 { "fmask", ecoff_directive_fmask, 0 },
173 { "frame", ecoff_directive_frame, 0 },
174 { "loc", ecoff_directive_loc, 0 },
175 { "mask", ecoff_directive_mask, 0 },
177 /* Other ECOFF directives. */
178 { "extern", ecoff_directive_extern, 0 },
180 /* These are used on Irix. I don't know how to implement them. */
181 { "alias", s_ignore, 0 },
182 { "bgnb", s_ignore, 0 },
183 { "endb", s_ignore, 0 },
184 { "lab", s_ignore, 0 },
185 { "noalias", s_ignore, 0 },
186 { "verstamp", s_ignore, 0 },
187 { "vreg", s_ignore, 0 },
190 {NULL, NULL, 0} /* end sentinel */
194 #include "aout/aout64.h"
196 /* This is called when the assembler starts. */
198 asection *elf_com_section_ptr;
205 /* Add symbols for the known sections to the symbol table. */
206 s = bfd_get_section_by_name (stdoutput, TEXT_SECTION_NAME);
207 symbol_table_insert (section_symbol (s));
208 s = bfd_get_section_by_name (stdoutput, DATA_SECTION_NAME);
209 symbol_table_insert (section_symbol (s));
210 s = bfd_get_section_by_name (stdoutput, BSS_SECTION_NAME);
211 symbol_table_insert (section_symbol (s));
212 elf_com_section_ptr = bfd_com_section_ptr;
216 elf_pop_insert (void)
218 pop_insert (elf_pseudo_table);
220 pop_insert (ecoff_debug_pseudo_table);
224 elf_s_get_size (symbolS *sym)
226 return S_GET_SIZE (sym);
230 elf_s_set_size (symbolS *sym, bfd_vma sz)
232 S_SET_SIZE (sym, sz);
236 elf_s_get_align (symbolS *sym)
238 return S_GET_ALIGN (sym);
242 elf_s_set_align (symbolS *sym, bfd_vma align)
244 S_SET_ALIGN (sym, align);
248 elf_s_get_other (symbolS *sym)
250 return elf_symbol (symbol_get_bfdsym (sym))->internal_elf_sym.st_other;
254 elf_s_set_other (symbolS *sym, int other)
256 S_SET_OTHER (sym, other);
260 elf_sec_sym_ok_for_reloc (asection *sec)
262 return obj_sec_sym_ok_for_reloc (sec);
266 elf_file_symbol (const char *s, int appfile)
269 || symbol_rootP == NULL
270 || symbol_rootP->bsym == NULL
271 || (symbol_rootP->bsym->flags & BSF_FILE) == 0)
276 sym = symbol_new (s, absolute_section, 0, NULL);
277 symbol_set_frag (sym, &zero_address_frag);
279 name_length = strlen (s);
280 if (name_length > strlen (S_GET_NAME (sym)))
282 obstack_grow (¬es, s, name_length + 1);
283 S_SET_NAME (sym, (const char *) obstack_finish (¬es));
286 strcpy ((char *) S_GET_NAME (sym), s);
288 symbol_get_bfdsym (sym)->flags |= BSF_FILE;
290 if (symbol_rootP != sym
291 && (symbol_rootP->bsym == NULL
292 || !(symbol_rootP->bsym->flags & BSF_FILE)))
294 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
295 symbol_insert (sym, symbol_rootP, &symbol_rootP, &symbol_lastP);
299 verify_symbol_chain (symbol_rootP, symbol_lastP);
303 #ifdef NEED_ECOFF_DEBUG
304 ecoff_new_file (s, appfile);
308 /* Called from read.c:s_comm after we've parsed .comm symbol, size.
309 Parse a possible alignment value. */
312 elf_common_parse (int ignore ATTRIBUTE_UNUSED, symbolS *symbolP, addressT size)
315 int is_local = symbol_get_obj (symbolP)->local;
317 if (*input_line_pointer == ',')
319 char *save = input_line_pointer;
321 input_line_pointer++;
324 if (*input_line_pointer == '"')
326 /* For sparc. Accept .common symbol, length, "bss" */
327 input_line_pointer++;
328 /* Some use the dot, some don't. */
329 if (*input_line_pointer == '.')
330 input_line_pointer++;
331 /* Some say data, some say bss. */
332 if (strncmp (input_line_pointer, "bss\"", 4) == 0)
333 input_line_pointer += 4;
334 else if (strncmp (input_line_pointer, "data\"", 5) == 0)
335 input_line_pointer += 5;
338 char *p = input_line_pointer;
343 while (!is_end_of_line[(unsigned char) *input_line_pointer])
344 if (*input_line_pointer++ == '"')
346 c = *input_line_pointer;
347 *input_line_pointer = '\0';
348 as_bad (_("bad .common segment %s"), p);
349 *input_line_pointer = c;
350 ignore_rest_of_line ();
353 /* ??? Don't ask me why these are always global. */
358 input_line_pointer = save;
359 align = parse_align (is_local);
360 if (align == (addressT) -1)
367 bss_alloc (symbolP, size, align);
368 S_CLEAR_EXTERNAL (symbolP);
372 S_SET_VALUE (symbolP, size);
373 S_SET_ALIGN (symbolP, align);
374 S_SET_EXTERNAL (symbolP);
375 S_SET_SEGMENT (symbolP, elf_com_section_ptr);
378 symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
384 obj_elf_common (int is_common)
386 if (flag_mri && is_common)
389 s_comm_internal (0, elf_common_parse);
393 obj_elf_tls_common (int ignore ATTRIBUTE_UNUSED)
395 symbolS *symbolP = s_comm_internal (0, elf_common_parse);
398 symbol_get_bfdsym (symbolP)->flags |= BSF_THREAD_LOCAL;
402 obj_elf_lcomm (int ignore ATTRIBUTE_UNUSED)
404 symbolS *symbolP = s_comm_internal (0, s_lcomm_internal);
407 symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
411 get_sym_from_input_line_and_check (void)
417 c = get_symbol_name (& name);
418 sym = symbol_find_or_make (name);
419 *input_line_pointer = c;
420 SKIP_WHITESPACE_AFTER_NAME ();
422 /* There is no symbol name if input_line_pointer has not moved. */
423 if (name == input_line_pointer)
424 as_bad (_("Missing symbol name in directive"));
429 obj_elf_local (int ignore ATTRIBUTE_UNUSED)
436 symbolP = get_sym_from_input_line_and_check ();
437 c = *input_line_pointer;
438 S_CLEAR_EXTERNAL (symbolP);
439 symbol_get_obj (symbolP)->local = 1;
442 input_line_pointer++;
444 if (*input_line_pointer == '\n')
449 demand_empty_rest_of_line ();
453 obj_elf_weak (int ignore ATTRIBUTE_UNUSED)
460 symbolP = get_sym_from_input_line_and_check ();
461 c = *input_line_pointer;
462 S_SET_WEAK (symbolP);
465 input_line_pointer++;
467 if (*input_line_pointer == '\n')
472 demand_empty_rest_of_line ();
476 obj_elf_visibility (int visibility)
481 elf_symbol_type *elfsym;
485 symbolP = get_sym_from_input_line_and_check ();
487 bfdsym = symbol_get_bfdsym (symbolP);
488 elfsym = elf_symbol_from (bfd_asymbol_bfd (bfdsym), bfdsym);
492 elfsym->internal_elf_sym.st_other &= ~3;
493 elfsym->internal_elf_sym.st_other |= visibility;
495 c = *input_line_pointer;
498 input_line_pointer ++;
502 if (*input_line_pointer == '\n')
508 demand_empty_rest_of_line ();
511 static segT previous_section;
512 static int previous_subsection;
516 struct section_stack *next;
518 int subseg, prev_subseg;
521 static struct section_stack *section_stack;
523 /* Match both section group name and the sh_info field. */
526 const char *group_name;
531 get_section (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *inf)
533 struct section_match *match = (struct section_match *) inf;
534 const char *gname = match->group_name;
535 const char *group_name = elf_group_name (sec);
536 unsigned int info = elf_section_data (sec)->this_hdr.sh_info;
538 return (info == match->info
539 && (group_name == gname
540 || (group_name != NULL
542 && strcmp (group_name, gname) == 0)));
545 /* Handle the .section pseudo-op. This code supports two different
548 The first is found on Solaris, and looks like
549 .section ".sec1",#alloc,#execinstr,#write
550 Here the names after '#' are the SHF_* flags to turn on for the
551 section. I'm not sure how it determines the SHT_* type (BFD
552 doesn't really give us control over the type, anyhow).
554 The second format is found on UnixWare, and probably most SVR4
555 machines, and looks like
556 .section .sec1,"a",@progbits
557 The quoted string may contain any combination of a, w, x, and
558 represents the SHF_* flags to turn on for the section. The string
559 beginning with '@' can be progbits or nobits. There should be
560 other possibilities, but I don't know what they are. In any case,
561 BFD doesn't really let us set the section type. */
564 obj_elf_change_section (const char *name,
569 const char *group_name,
576 const struct elf_backend_data *bed;
577 const struct bfd_elf_special_section *ssect;
578 struct section_match match;
580 #ifdef md_flush_pending_output
581 md_flush_pending_output ();
584 /* Switch to the section, creating it if necessary. */
587 struct section_stack *elt;
588 elt = XNEW (struct section_stack);
589 elt->next = section_stack;
591 elt->prev_seg = previous_section;
592 elt->subseg = now_subseg;
593 elt->prev_subseg = previous_subsection;
596 previous_section = now_seg;
597 previous_subsection = now_subseg;
599 match.group_name = group_name;
601 old_sec = bfd_get_section_by_name_if (stdoutput, name, get_section,
609 sec = subseg_force_new (name, 0);
611 bed = get_elf_backend_data (stdoutput);
612 ssect = (*bed->get_sec_type_attr) (stdoutput, sec);
616 bfd_boolean override = FALSE;
618 if (type == SHT_NULL)
620 else if (type != ssect->type)
623 /* Some older versions of gcc will emit
625 .section .init_array,"aw",@progbits
627 for __attribute__ ((section (".init_array"))).
628 "@progbits" is incorrect. Also for x86-64 large bss
629 sections, some older versions of gcc will emit
631 .section .lbss,"aw",@progbits
633 "@progbits" is incorrect. */
635 && (bed->s->arch_size != 64
636 || !(ssect->attr & SHF_X86_64_LARGE))
638 && ssect->type != SHT_INIT_ARRAY
639 && ssect->type != SHT_FINI_ARRAY
640 && ssect->type != SHT_PREINIT_ARRAY)
642 /* We allow to specify any type for a .note section. */
643 if (ssect->type != SHT_NOTE
644 /* Processor and application defined types are allowed too. */
645 && type < SHT_LOPROC)
646 as_warn (_("setting incorrect section type for %s"),
651 as_warn (_("ignoring incorrect section type for %s"),
657 if (old_sec == NULL && ((attr & ~(SHF_MASKOS | SHF_MASKPROC))
658 & ~ssect->attr) != 0)
660 /* As a GNU extension, we permit a .note section to be
661 allocatable. If the linker sees an allocatable .note
662 section, it will create a PT_NOTE segment in the output
663 file. We also allow "x" for .note.GNU-stack. */
664 if (ssect->type == SHT_NOTE
665 && (attr == SHF_ALLOC || attr == SHF_EXECINSTR))
667 /* Allow different SHF_MERGE and SHF_STRINGS if we have
668 something like .rodata.str. */
669 else if (ssect->suffix_length == -2
670 && name[ssect->prefix_length] == '.'
674 & ~SHF_STRINGS) == 0)
676 /* .interp, .strtab and .symtab can have SHF_ALLOC. */
677 else if (attr == SHF_ALLOC
678 && (strcmp (name, ".interp") == 0
679 || strcmp (name, ".strtab") == 0
680 || strcmp (name, ".symtab") == 0))
682 /* .note.GNU-stack can have SHF_EXECINSTR. */
683 else if (attr == SHF_EXECINSTR
684 && strcmp (name, ".note.GNU-stack") == 0)
687 /* A section on Alpha may have SHF_ALPHA_GPREL. */
688 else if ((attr & ~ssect->attr) == SHF_ALPHA_GPREL)
692 else if (attr == (SHF_EXECINSTR | SHF_WRITE | SHF_ALLOC)
693 && (ssect->type == SHT_INIT_ARRAY
694 || ssect->type == SHT_FINI_ARRAY
695 || ssect->type == SHT_PREINIT_ARRAY))
696 /* RX init/fini arrays can and should have the "awx" attributes set. */
701 if (group_name == NULL)
702 as_warn (_("setting incorrect section attributes for %s"),
708 if (!override && old_sec == NULL)
712 if ((attr & (SHF_ALLOC | SHF_GNU_MBIND)) == SHF_GNU_MBIND)
713 as_fatal (_("SHF_ALLOC isn't set for GNU_MBIND section: %s"), name);
715 /* Convert ELF type and flags to BFD flags. */
717 | ((attr & SHF_WRITE) ? 0 : SEC_READONLY)
718 | ((attr & SHF_ALLOC) ? SEC_ALLOC : 0)
719 | (((attr & SHF_ALLOC) && type != SHT_NOBITS) ? SEC_LOAD : 0)
720 | ((attr & SHF_EXECINSTR) ? SEC_CODE : 0)
721 | ((attr & SHF_MERGE) ? SEC_MERGE : 0)
722 | ((attr & SHF_STRINGS) ? SEC_STRINGS : 0)
723 | ((attr & SHF_EXCLUDE) ? SEC_EXCLUDE: 0)
724 | ((attr & SHF_TLS) ? SEC_THREAD_LOCAL : 0));
725 #ifdef md_elf_section_flags
726 flags = md_elf_section_flags (flags, attr, type);
730 flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD;
736 if (type == SHT_NULL)
737 type = bfd_elf_get_default_section_type (flags);
738 elf_section_type (sec) = type;
739 elf_section_flags (sec) = attr;
740 elf_section_data (sec)->this_hdr.sh_info = info;
742 /* Prevent SEC_HAS_CONTENTS from being inadvertently set. */
743 if (type == SHT_NOBITS)
744 seg_info (sec)->bss = 1;
746 bfd_set_section_flags (stdoutput, sec, flags);
747 if (flags & SEC_MERGE)
748 sec->entsize = entsize;
749 elf_group_name (sec) = group_name;
751 /* Add a symbol for this section to the symbol table. */
752 secsym = symbol_find (name);
754 symbol_set_bfdsym (secsym, sec->symbol);
756 symbol_table_insert (section_symbol (sec));
761 && (unsigned) type != elf_section_type (old_sec))
762 as_warn (_("ignoring changed section type for %s"), name);
766 /* If section attributes are specified the second time we see a
767 particular section, then check that they are the same as we
768 saw the first time. */
769 if (((old_sec->flags ^ flags)
770 & (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE
771 | SEC_EXCLUDE | SEC_SORT_ENTRIES | SEC_MERGE | SEC_STRINGS
772 | SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD
773 | SEC_THREAD_LOCAL)))
774 as_warn (_("ignoring changed section attributes for %s"), name);
776 /* FIXME: Maybe we should consider removing a previously set
777 processor or application specific attribute as suspicious ? */
778 elf_section_flags (sec) = attr;
780 if ((flags & SEC_MERGE) && old_sec->entsize != (unsigned) entsize)
781 as_warn (_("ignoring changed section entity size for %s"), name);
785 #ifdef md_elf_section_change_hook
786 md_elf_section_change_hook ();
791 obj_elf_parse_section_letters (char *str, size_t len, bfd_boolean *is_clone)
810 attr |= SHF_EXECINSTR;
825 attr |= SHF_GNU_MBIND;
832 if (*(str - 1) == 'a')
835 if (len > 1 && str[1] == 's')
845 const char *bad_msg = _("unrecognized .section attribute:"
846 " want a,e,w,x,M,S,G,T or number");
847 #ifdef md_elf_section_letter
848 bfd_vma md_attr = md_elf_section_letter (*str, &bad_msg);
849 if (md_attr != (bfd_vma) -1)
857 attr |= strtoul (str, & end, 0);
858 /* Update str and len, allowing for the fact that
859 we will execute str++ and len-- below. */
865 as_fatal ("%s", bad_msg);
876 obj_elf_section_type (char *str, size_t len, bfd_boolean warn)
878 if (len == 8 && strncmp (str, "progbits", 8) == 0)
880 if (len == 6 && strncmp (str, "nobits", 6) == 0)
882 if (len == 4 && strncmp (str, "note", 4) == 0)
884 if (len == 10 && strncmp (str, "init_array", 10) == 0)
885 return SHT_INIT_ARRAY;
886 if (len == 10 && strncmp (str, "fini_array", 10) == 0)
887 return SHT_FINI_ARRAY;
888 if (len == 13 && strncmp (str, "preinit_array", 13) == 0)
889 return SHT_PREINIT_ARRAY;
891 #ifdef md_elf_section_type
893 int md_type = md_elf_section_type (str, len);
902 int type = strtoul (str, & end, 0);
904 if (warn && (size_t) (end - str) != len)
905 as_warn (_("extraneous characters at end of numeric section type"));
911 as_warn (_("unrecognized section type"));
916 obj_elf_section_word (char *str, size_t len, int *type)
920 if (len == 5 && strncmp (str, "write", 5) == 0)
922 if (len == 5 && strncmp (str, "alloc", 5) == 0)
924 if (len == 9 && strncmp (str, "execinstr", 9) == 0)
925 return SHF_EXECINSTR;
926 if (len == 7 && strncmp (str, "exclude", 7) == 0)
928 if (len == 3 && strncmp (str, "tls", 3) == 0)
931 #ifdef md_elf_section_word
933 bfd_vma md_attr = md_elf_section_word (str, len);
939 ret = obj_elf_section_type (str, len, FALSE);
943 as_warn (_("unrecognized section attribute"));
948 /* Get name of section. */
950 obj_elf_section_name (void)
955 if (*input_line_pointer == '"')
959 name = demand_copy_C_string (&dummy);
962 ignore_rest_of_line ();
968 char *end = input_line_pointer;
970 while (0 == strchr ("\n\t,; ", *end))
972 if (end == input_line_pointer)
974 as_bad (_("missing name"));
975 ignore_rest_of_line ();
979 name = xmemdup0 (input_line_pointer, end - input_line_pointer);
981 while (flag_sectname_subst)
983 char *subst = strchr (name, '%');
984 if (subst && subst[1] == 'S')
986 int oldlen = strlen (name);
987 int substlen = strlen (now_seg->name);
988 int newlen = oldlen - 2 + substlen;
989 char *newname = XNEWVEC (char, newlen + 1);
990 int headlen = subst - name;
991 memcpy (newname, name, headlen);
992 strcpy (newname + headlen, now_seg->name);
993 strcat (newname + headlen, subst + 2);
1001 #ifdef tc_canonicalize_section_name
1002 name = tc_canonicalize_section_name (name);
1004 input_line_pointer = end;
1011 obj_elf_section (int push)
1013 const char *name, *group_name;
1019 subsegT new_subsection = -1;
1020 unsigned int info = 0;
1027 #ifdef md_flush_pending_output
1028 md_flush_pending_output ();
1031 previous_section = now_seg;
1032 previous_subsection = now_subseg;
1034 s_mri_sect (&mri_type);
1036 #ifdef md_elf_section_change_hook
1037 md_elf_section_change_hook ();
1042 #endif /* ! defined (TC_I370) */
1044 name = obj_elf_section_name ();
1053 if (*input_line_pointer == ',')
1055 /* Skip the comma. */
1056 ++input_line_pointer;
1059 if (push && ISDIGIT (*input_line_pointer))
1061 /* .pushsection has an optional subsection. */
1062 new_subsection = (subsegT) get_absolute_expression ();
1066 /* Stop if we don't see a comma. */
1067 if (*input_line_pointer != ',')
1070 /* Skip the comma. */
1071 ++input_line_pointer;
1075 if (*input_line_pointer == '"')
1077 bfd_boolean is_clone;
1079 beg = demand_copy_C_string (&dummy);
1082 ignore_rest_of_line ();
1085 attr |= obj_elf_parse_section_letters (beg, strlen (beg), &is_clone);
1088 if (*input_line_pointer == ',')
1091 char *save = input_line_pointer;
1093 ++input_line_pointer;
1095 c = *input_line_pointer;
1098 beg = demand_copy_C_string (&dummy);
1101 ignore_rest_of_line ();
1104 type = obj_elf_section_type (beg, strlen (beg), TRUE);
1106 else if (c == '@' || c == '%')
1108 ++input_line_pointer;
1110 if (ISDIGIT (* input_line_pointer))
1112 type = strtoul (input_line_pointer, & input_line_pointer, 0);
1116 c = get_symbol_name (& beg);
1117 (void) restore_line_pointer (c);
1118 type = obj_elf_section_type (beg, input_line_pointer - beg, TRUE);
1122 input_line_pointer = save;
1126 if ((attr & SHF_MERGE) != 0 && *input_line_pointer == ',')
1128 ++input_line_pointer;
1130 entsize = get_absolute_expression ();
1134 as_warn (_("invalid merge entity size"));
1139 else if ((attr & SHF_MERGE) != 0)
1141 as_warn (_("entity size for SHF_MERGE not specified"));
1145 if ((attr & SHF_GROUP) != 0 && is_clone)
1147 as_warn (_("? section flag ignored with G present"));
1150 if ((attr & SHF_GROUP) != 0 && *input_line_pointer == ',')
1152 ++input_line_pointer;
1153 group_name = obj_elf_section_name ();
1154 if (group_name == NULL)
1156 else if (*input_line_pointer == ',')
1158 ++input_line_pointer;
1160 if (strncmp (input_line_pointer, "comdat", 6) == 0)
1162 input_line_pointer += 6;
1166 else if (strncmp (name, ".gnu.linkonce", 13) == 0)
1169 else if ((attr & SHF_GROUP) != 0)
1171 as_warn (_("group name for SHF_GROUP not specified"));
1177 const char *now_group = elf_group_name (now_seg);
1178 if (now_group != NULL)
1180 group_name = xstrdup (now_group);
1181 linkonce = (now_seg->flags & SEC_LINK_ONCE) != 0;
1185 if ((attr & SHF_GNU_MBIND) != 0 && *input_line_pointer == ',')
1187 ++input_line_pointer;
1189 if (ISDIGIT (* input_line_pointer))
1191 char *t = input_line_pointer;
1192 info = strtoul (input_line_pointer,
1193 &input_line_pointer, 0);
1194 if (info == (unsigned int) -1)
1196 as_warn (_("unsupported mbind section info: %s"), t);
1209 if (*input_line_pointer != '#')
1211 as_bad (_("character following name is not '#'"));
1212 ignore_rest_of_line ();
1215 ++input_line_pointer;
1216 c = get_symbol_name (& beg);
1217 (void) restore_line_pointer (c);
1219 attr |= obj_elf_section_word (beg, input_line_pointer - beg, & type);
1223 while (*input_line_pointer++ == ',');
1224 --input_line_pointer;
1229 demand_empty_rest_of_line ();
1231 obj_elf_change_section (name, type, info, attr, entsize, group_name,
1234 if (push && new_subsection != -1)
1235 subseg_set (now_seg, new_subsection);
1238 /* Change to the .data section. */
1241 obj_elf_data (int i)
1243 #ifdef md_flush_pending_output
1244 md_flush_pending_output ();
1247 previous_section = now_seg;
1248 previous_subsection = now_subseg;
1251 #ifdef md_elf_section_change_hook
1252 md_elf_section_change_hook ();
1256 /* Change to the .text section. */
1259 obj_elf_text (int i)
1261 #ifdef md_flush_pending_output
1262 md_flush_pending_output ();
1265 previous_section = now_seg;
1266 previous_subsection = now_subseg;
1269 #ifdef md_elf_section_change_hook
1270 md_elf_section_change_hook ();
1274 /* Change to the *ABS* section. */
1277 obj_elf_struct (int i)
1279 #ifdef md_flush_pending_output
1280 md_flush_pending_output ();
1283 previous_section = now_seg;
1284 previous_subsection = now_subseg;
1287 #ifdef md_elf_section_change_hook
1288 md_elf_section_change_hook ();
1293 obj_elf_subsection (int ignore ATTRIBUTE_UNUSED)
1297 #ifdef md_flush_pending_output
1298 md_flush_pending_output ();
1301 previous_section = now_seg;
1302 previous_subsection = now_subseg;
1304 temp = get_absolute_expression ();
1305 subseg_set (now_seg, (subsegT) temp);
1306 demand_empty_rest_of_line ();
1308 #ifdef md_elf_section_change_hook
1309 md_elf_section_change_hook ();
1313 /* This can be called from the processor backends if they change
1317 obj_elf_section_change_hook (void)
1319 previous_section = now_seg;
1320 previous_subsection = now_subseg;
1324 obj_elf_previous (int ignore ATTRIBUTE_UNUSED)
1329 if (previous_section == 0)
1331 as_warn (_(".previous without corresponding .section; ignored"));
1335 #ifdef md_flush_pending_output
1336 md_flush_pending_output ();
1339 new_section = previous_section;
1340 new_subsection = previous_subsection;
1341 previous_section = now_seg;
1342 previous_subsection = now_subseg;
1343 subseg_set (new_section, new_subsection);
1345 #ifdef md_elf_section_change_hook
1346 md_elf_section_change_hook ();
1351 obj_elf_popsection (int xxx ATTRIBUTE_UNUSED)
1353 struct section_stack *top = section_stack;
1357 as_warn (_(".popsection without corresponding .pushsection; ignored"));
1361 #ifdef md_flush_pending_output
1362 md_flush_pending_output ();
1365 section_stack = top->next;
1366 previous_section = top->prev_seg;
1367 previous_subsection = top->prev_subseg;
1368 subseg_set (top->seg, top->subseg);
1371 #ifdef md_elf_section_change_hook
1372 md_elf_section_change_hook ();
1377 obj_elf_line (int ignore ATTRIBUTE_UNUSED)
1379 /* Assume delimiter is part of expression. BSD4.2 as fails with
1380 delightful bug, so we are not being incompatible here. */
1381 new_logical_line (NULL, get_absolute_expression ());
1382 demand_empty_rest_of_line ();
1385 /* This handles the .symver pseudo-op, which is used to specify a
1386 symbol version. The syntax is ``.symver NAME,SYMVERNAME''.
1387 SYMVERNAME may contain ELF_VER_CHR ('@') characters. This
1388 pseudo-op causes the assembler to emit a symbol named SYMVERNAME
1389 with the same value as the symbol NAME. */
1392 obj_elf_symver (int ignore ATTRIBUTE_UNUSED)
1399 sym = get_sym_from_input_line_and_check ();
1401 if (*input_line_pointer != ',')
1403 as_bad (_("expected comma after name in .symver"));
1404 ignore_rest_of_line ();
1408 ++input_line_pointer;
1411 /* Temporarily include '@' in symbol names. */
1412 old_lexat = lex_type[(unsigned char) '@'];
1413 lex_type[(unsigned char) '@'] |= LEX_NAME;
1414 c = get_symbol_name (& name);
1415 lex_type[(unsigned char) '@'] = old_lexat;
1417 if (S_IS_COMMON (sym))
1419 as_bad (_("`%s' can't be versioned to common symbol '%s'"),
1420 name, S_GET_NAME (sym));
1421 ignore_rest_of_line ();
1425 if (symbol_get_obj (sym)->versioned_name == NULL)
1427 symbol_get_obj (sym)->versioned_name = xstrdup (name);
1429 (void) restore_line_pointer (c);
1431 if (strchr (symbol_get_obj (sym)->versioned_name,
1432 ELF_VER_CHR) == NULL)
1434 as_bad (_("missing version name in `%s' for symbol `%s'"),
1435 symbol_get_obj (sym)->versioned_name,
1437 ignore_rest_of_line ();
1443 if (strcmp (symbol_get_obj (sym)->versioned_name, name))
1445 as_bad (_("multiple versions [`%s'|`%s'] for symbol `%s'"),
1446 name, symbol_get_obj (sym)->versioned_name,
1448 ignore_rest_of_line ();
1452 (void) restore_line_pointer (c);
1455 demand_empty_rest_of_line ();
1458 /* This handles the .vtable_inherit pseudo-op, which is used to indicate
1459 to the linker the hierarchy in which a particular table resides. The
1460 syntax is ".vtable_inherit CHILDNAME, PARENTNAME". */
1463 obj_elf_get_vtable_inherit (void)
1465 char *cname, *pname;
1466 symbolS *csym, *psym;
1469 if (*input_line_pointer == '#')
1470 ++input_line_pointer;
1472 c = get_symbol_name (& cname);
1473 csym = symbol_find (cname);
1475 /* GCFIXME: should check that we don't have two .vtable_inherits for
1476 the same child symbol. Also, we can currently only do this if the
1477 child symbol is already exists and is placed in a fragment. */
1479 if (csym == NULL || symbol_get_frag (csym) == NULL)
1481 as_bad (_("expected `%s' to have already been set for .vtable_inherit"),
1486 *input_line_pointer = c;
1488 SKIP_WHITESPACE_AFTER_NAME ();
1489 if (*input_line_pointer != ',')
1491 as_bad (_("expected comma after name in .vtable_inherit"));
1492 ignore_rest_of_line ();
1496 ++input_line_pointer;
1499 if (*input_line_pointer == '#')
1500 ++input_line_pointer;
1502 if (input_line_pointer[0] == '0'
1503 && (input_line_pointer[1] == '\0'
1504 || ISSPACE (input_line_pointer[1])))
1506 psym = section_symbol (absolute_section);
1507 ++input_line_pointer;
1511 c = get_symbol_name (& pname);
1512 psym = symbol_find_or_make (pname);
1513 restore_line_pointer (c);
1516 demand_empty_rest_of_line ();
1521 gas_assert (symbol_get_value_expression (csym)->X_op == O_constant);
1522 return fix_new (symbol_get_frag (csym),
1523 symbol_get_value_expression (csym)->X_add_number,
1524 0, psym, 0, 0, BFD_RELOC_VTABLE_INHERIT);
1527 /* This is a version of obj_elf_get_vtable_inherit() that is
1528 suitable for use in struct _pseudo_type tables. */
1531 obj_elf_vtable_inherit (int ignore ATTRIBUTE_UNUSED)
1533 (void) obj_elf_get_vtable_inherit ();
1536 /* This handles the .vtable_entry pseudo-op, which is used to indicate
1537 to the linker that a vtable slot was used. The syntax is
1538 ".vtable_entry tablename, offset". */
1541 obj_elf_get_vtable_entry (void)
1546 if (*input_line_pointer == '#')
1547 ++input_line_pointer;
1549 sym = get_sym_from_input_line_and_check ();
1550 if (*input_line_pointer != ',')
1552 as_bad (_("expected comma after name in .vtable_entry"));
1553 ignore_rest_of_line ();
1557 ++input_line_pointer;
1558 if (*input_line_pointer == '#')
1559 ++input_line_pointer;
1561 offset = get_absolute_expression ();
1563 demand_empty_rest_of_line ();
1565 return fix_new (frag_now, frag_now_fix (), 0, sym, offset, 0,
1566 BFD_RELOC_VTABLE_ENTRY);
1569 /* This is a version of obj_elf_get_vtable_entry() that is
1570 suitable for use in struct _pseudo_type tables. */
1573 obj_elf_vtable_entry (int ignore ATTRIBUTE_UNUSED)
1575 (void) obj_elf_get_vtable_entry ();
1578 #define skip_whitespace(str) do { if (*(str) == ' ') ++(str); } while (0)
1581 skip_past_char (char ** str, char c)
1591 #define skip_past_comma(str) skip_past_char (str, ',')
1593 /* A list of attributes that have been explicitly set by the assembly code.
1594 VENDOR is the vendor id, BASE is the tag shifted right by the number
1595 of bits in MASK, and bit N of MASK is set if tag BASE+N has been set. */
1596 struct recorded_attribute_info {
1597 struct recorded_attribute_info *next;
1602 static struct recorded_attribute_info *recorded_attributes;
1604 /* Record that we have seen an explicit specification of attribute TAG
1605 for vendor VENDOR. */
1608 record_attribute (int vendor, unsigned int tag)
1612 struct recorded_attribute_info *rai;
1614 base = tag / (8 * sizeof (rai->mask));
1615 mask = 1UL << (tag % (8 * sizeof (rai->mask)));
1616 for (rai = recorded_attributes; rai; rai = rai->next)
1617 if (rai->vendor == vendor && rai->base == base)
1623 rai = XNEW (struct recorded_attribute_info);
1624 rai->next = recorded_attributes;
1625 rai->vendor = vendor;
1628 recorded_attributes = rai;
1631 /* Return true if we have seen an explicit specification of attribute TAG
1632 for vendor VENDOR. */
1635 obj_elf_seen_attribute (int vendor, unsigned int tag)
1639 struct recorded_attribute_info *rai;
1641 base = tag / (8 * sizeof (rai->mask));
1642 mask = 1UL << (tag % (8 * sizeof (rai->mask)));
1643 for (rai = recorded_attributes; rai; rai = rai->next)
1644 if (rai->vendor == vendor && rai->base == base)
1645 return (rai->mask & mask) != 0;
1649 /* Parse an attribute directive for VENDOR.
1650 Returns the attribute number read, or zero on error. */
1653 obj_elf_vendor_attribute (int vendor)
1661 /* Read the first number or name. */
1662 skip_whitespace (input_line_pointer);
1663 s = input_line_pointer;
1664 if (ISDIGIT (*input_line_pointer))
1667 if (exp.X_op != O_constant)
1669 tag = exp.X_add_number;
1675 /* A name may contain '_', but no other punctuation. */
1676 for (; ISALNUM (*input_line_pointer) || *input_line_pointer == '_';
1677 ++input_line_pointer)
1682 name = xstrndup (s, i);
1684 #ifndef CONVERT_SYMBOLIC_ATTRIBUTE
1685 #define CONVERT_SYMBOLIC_ATTRIBUTE(a) -1
1688 tag = CONVERT_SYMBOLIC_ATTRIBUTE (name);
1691 as_bad (_("Attribute name not recognised: %s"), name);
1692 ignore_rest_of_line ();
1699 type = _bfd_elf_obj_attrs_arg_type (stdoutput, vendor, tag);
1701 if (skip_past_comma (&input_line_pointer) == -1)
1706 if (exp.X_op != O_constant)
1708 as_bad (_("expected numeric constant"));
1709 ignore_rest_of_line ();
1712 i = exp.X_add_number;
1715 && skip_past_comma (&input_line_pointer) == -1)
1717 as_bad (_("expected comma"));
1718 ignore_rest_of_line ();
1725 skip_whitespace (input_line_pointer);
1726 if (*input_line_pointer != '"')
1728 s = demand_copy_C_string (&len);
1731 record_attribute (vendor, tag);
1735 bfd_elf_add_obj_attr_int_string (stdoutput, vendor, tag, i, s);
1738 bfd_elf_add_obj_attr_string (stdoutput, vendor, tag, s);
1741 bfd_elf_add_obj_attr_int (stdoutput, vendor, tag, i);
1747 demand_empty_rest_of_line ();
1750 as_bad (_("bad string constant"));
1751 ignore_rest_of_line ();
1754 as_bad (_("expected <tag> , <value>"));
1755 ignore_rest_of_line ();
1759 /* Parse a .gnu_attribute directive. */
1762 obj_elf_gnu_attribute (int ignored ATTRIBUTE_UNUSED)
1764 obj_elf_vendor_attribute (OBJ_ATTR_GNU);
1768 elf_obj_read_begin_hook (void)
1770 #ifdef NEED_ECOFF_DEBUG
1771 if (ECOFF_DEBUGGING)
1772 ecoff_read_begin_hook ();
1777 elf_obj_symbol_new_hook (symbolS *symbolP)
1779 struct elf_obj_sy *sy_obj;
1781 sy_obj = symbol_get_obj (symbolP);
1782 sy_obj->size = NULL;
1783 sy_obj->versioned_name = NULL;
1785 #ifdef NEED_ECOFF_DEBUG
1786 if (ECOFF_DEBUGGING)
1787 ecoff_symbol_new_hook (symbolP);
1791 /* When setting one symbol equal to another, by default we probably
1792 want them to have the same "size", whatever it means in the current
1796 elf_copy_symbol_attributes (symbolS *dest, symbolS *src)
1798 struct elf_obj_sy *srcelf = symbol_get_obj (src);
1799 struct elf_obj_sy *destelf = symbol_get_obj (dest);
1802 if (destelf->size == NULL)
1803 destelf->size = XNEW (expressionS);
1804 *destelf->size = *srcelf->size;
1808 if (destelf->size != NULL)
1809 free (destelf->size);
1810 destelf->size = NULL;
1812 S_SET_SIZE (dest, S_GET_SIZE (src));
1813 /* Don't copy visibility. */
1814 S_SET_OTHER (dest, (ELF_ST_VISIBILITY (S_GET_OTHER (dest))
1815 | (S_GET_OTHER (src) & ~ELF_ST_VISIBILITY (-1))));
1819 obj_elf_version (int ignore ATTRIBUTE_UNUSED)
1824 asection *seg = now_seg;
1825 subsegT subseg = now_subseg;
1826 Elf_Internal_Note i_note;
1827 Elf_External_Note e_note;
1828 asection *note_secp = NULL;
1831 if (*input_line_pointer == '\"')
1835 ++input_line_pointer; /* -> 1st char of string. */
1836 name = input_line_pointer;
1838 while (is_a_char (c = next_char_of_string ()))
1840 c = *input_line_pointer;
1841 *input_line_pointer = '\0';
1842 *(input_line_pointer - 1) = '\0';
1843 *input_line_pointer = c;
1845 /* Create the .note section. */
1846 note_secp = subseg_new (".note", 0);
1847 bfd_set_section_flags (stdoutput,
1849 SEC_HAS_CONTENTS | SEC_READONLY);
1850 record_alignment (note_secp, 2);
1852 /* Process the version string. */
1853 len = strlen (name) + 1;
1855 /* PR 3456: Although the name field is padded out to an 4-byte
1856 boundary, the namesz field should not be adjusted. */
1857 i_note.namesz = len;
1858 i_note.descsz = 0; /* No description. */
1859 i_note.type = NT_VERSION;
1860 p = frag_more (sizeof (e_note.namesz));
1861 md_number_to_chars (p, i_note.namesz, sizeof (e_note.namesz));
1862 p = frag_more (sizeof (e_note.descsz));
1863 md_number_to_chars (p, i_note.descsz, sizeof (e_note.descsz));
1864 p = frag_more (sizeof (e_note.type));
1865 md_number_to_chars (p, i_note.type, sizeof (e_note.type));
1866 p = frag_more (len);
1867 memcpy (p, name, len);
1869 frag_align (2, 0, 0);
1871 subseg_set (seg, subseg);
1874 as_bad (_("expected quoted string"));
1876 demand_empty_rest_of_line ();
1880 obj_elf_size (int ignore ATTRIBUTE_UNUSED)
1883 char c = get_symbol_name (&name);
1888 p = input_line_pointer;
1890 SKIP_WHITESPACE_AFTER_NAME ();
1891 if (*input_line_pointer != ',')
1894 as_bad (_("expected comma after name `%s' in .size directive"), name);
1896 ignore_rest_of_line ();
1899 input_line_pointer++;
1901 if (exp.X_op == O_absent)
1903 as_bad (_("missing expression in .size directive"));
1904 exp.X_op = O_constant;
1905 exp.X_add_number = 0;
1908 sym = symbol_find_or_make (name);
1910 if (exp.X_op == O_constant)
1912 S_SET_SIZE (sym, exp.X_add_number);
1913 if (symbol_get_obj (sym)->size)
1915 xfree (symbol_get_obj (sym)->size);
1916 symbol_get_obj (sym)->size = NULL;
1921 symbol_get_obj (sym)->size = XNEW (expressionS);
1922 *symbol_get_obj (sym)->size = exp;
1924 demand_empty_rest_of_line ();
1927 /* Handle the ELF .type pseudo-op. This sets the type of a symbol.
1928 There are six syntaxes:
1930 The first (used on Solaris) is
1932 The second (used on UnixWare) is
1934 The third (reportedly to be used on Irix 6.0) is
1936 The fourth (used on NetBSD/Arm and Linux/ARM) is
1938 The fifth (used on SVR4/860) is
1939 .type SYM,"function"
1940 The sixth (emitted by recent SunPRO under Solaris) is
1942 where the integer is the STT_* value.
1946 obj_elf_type_name (char *cp)
1950 p = input_line_pointer;
1951 if (*input_line_pointer >= '0'
1952 && *input_line_pointer <= '9')
1954 while (*input_line_pointer >= '0'
1955 && *input_line_pointer <= '9')
1956 ++input_line_pointer;
1957 *cp = *input_line_pointer;
1958 *input_line_pointer = '\0';
1961 *cp = get_symbol_name (&p);
1967 obj_elf_type (int ignore ATTRIBUTE_UNUSED)
1971 const char *type_name;
1973 elf_symbol_type *elfsym;
1975 sym = get_sym_from_input_line_and_check ();
1976 c = *input_line_pointer;
1977 elfsym = (elf_symbol_type *) symbol_get_bfdsym (sym);
1979 if (*input_line_pointer == ',')
1980 ++input_line_pointer;
1983 if ( *input_line_pointer == '#'
1984 || *input_line_pointer == '@'
1985 || *input_line_pointer == '"'
1986 || *input_line_pointer == '%')
1987 ++input_line_pointer;
1989 type_name = obj_elf_type_name (& c);
1992 if (strcmp (type_name, "function") == 0
1993 || strcmp (type_name, "2") == 0
1994 || strcmp (type_name, "STT_FUNC") == 0)
1995 type = BSF_FUNCTION;
1996 else if (strcmp (type_name, "object") == 0
1997 || strcmp (type_name, "1") == 0
1998 || strcmp (type_name, "STT_OBJECT") == 0)
2000 else if (strcmp (type_name, "tls_object") == 0
2001 || strcmp (type_name, "6") == 0
2002 || strcmp (type_name, "STT_TLS") == 0)
2003 type = BSF_OBJECT | BSF_THREAD_LOCAL;
2004 else if (strcmp (type_name, "notype") == 0
2005 || strcmp (type_name, "0") == 0
2006 || strcmp (type_name, "STT_NOTYPE") == 0)
2008 else if (strcmp (type_name, "common") == 0
2009 || strcmp (type_name, "5") == 0
2010 || strcmp (type_name, "STT_COMMON") == 0)
2014 if (! S_IS_COMMON (sym))
2016 if (S_IS_VOLATILE (sym))
2018 sym = symbol_clone (sym, 1);
2019 S_SET_SEGMENT (sym, bfd_com_section_ptr);
2020 S_SET_VALUE (sym, 0);
2021 S_SET_EXTERNAL (sym);
2022 symbol_set_frag (sym, &zero_address_frag);
2023 S_CLEAR_VOLATILE (sym);
2025 else if (S_IS_DEFINED (sym) || symbol_equated_p (sym))
2026 as_bad (_("symbol '%s' is already defined"), S_GET_NAME (sym));
2029 /* FIXME: Is it safe to just change the section ? */
2030 S_SET_SEGMENT (sym, bfd_com_section_ptr);
2031 S_SET_VALUE (sym, 0);
2032 S_SET_EXTERNAL (sym);
2036 else if (strcmp (type_name, "gnu_indirect_function") == 0
2037 || strcmp (type_name, "10") == 0
2038 || strcmp (type_name, "STT_GNU_IFUNC") == 0)
2040 const struct elf_backend_data *bed;
2042 bed = get_elf_backend_data (stdoutput);
2043 if (!(bed->elf_osabi == ELFOSABI_GNU
2044 || bed->elf_osabi == ELFOSABI_FREEBSD
2045 /* GNU is still using the default value 0. */
2046 || bed->elf_osabi == ELFOSABI_NONE))
2047 as_bad (_("symbol type \"%s\" is supported only by GNU and FreeBSD targets"),
2049 type = BSF_FUNCTION | BSF_GNU_INDIRECT_FUNCTION;
2051 else if (strcmp (type_name, "gnu_unique_object") == 0)
2053 struct elf_backend_data *bed;
2055 bed = (struct elf_backend_data *) get_elf_backend_data (stdoutput);
2056 if (!(bed->elf_osabi == ELFOSABI_GNU
2057 /* GNU is still using the default value 0. */
2058 || bed->elf_osabi == ELFOSABI_NONE))
2059 as_bad (_("symbol type \"%s\" is supported only by GNU targets"),
2061 type = BSF_OBJECT | BSF_GNU_UNIQUE;
2062 /* PR 10549: Always set OSABI field to GNU for objects containing unique symbols. */
2063 bed->elf_osabi = ELFOSABI_GNU;
2065 #ifdef md_elf_symbol_type
2066 else if ((type = md_elf_symbol_type (type_name, sym, elfsym)) != -1)
2070 as_bad (_("unrecognized symbol type \"%s\""), type_name);
2072 *input_line_pointer = c;
2074 if (*input_line_pointer == '"')
2075 ++input_line_pointer;
2077 elfsym->symbol.flags |= type;
2079 demand_empty_rest_of_line ();
2083 obj_elf_ident (int ignore ATTRIBUTE_UNUSED)
2085 static segT comment_section;
2086 segT old_section = now_seg;
2087 int old_subsection = now_subseg;
2089 #ifdef md_flush_pending_output
2090 md_flush_pending_output ();
2093 if (!comment_section)
2096 comment_section = subseg_new (".comment", 0);
2097 bfd_set_section_flags (stdoutput, comment_section,
2098 SEC_READONLY | SEC_HAS_CONTENTS
2099 | SEC_MERGE | SEC_STRINGS);
2100 comment_section->entsize = 1;
2101 #ifdef md_elf_section_change_hook
2102 md_elf_section_change_hook ();
2108 subseg_set (comment_section, 0);
2110 subseg_set (old_section, old_subsection);
2113 #ifdef INIT_STAB_SECTION
2115 /* The first entry in a .stabs section is special. */
2118 obj_elf_init_stab_section (segT seg)
2123 unsigned int stroff;
2125 /* Force the section to align to a longword boundary. Without this,
2126 UnixWare ar crashes. */
2127 bfd_set_section_alignment (stdoutput, seg, 2);
2129 /* Make space for this first symbol. */
2133 file = as_where (NULL);
2134 stabstr_name = concat (segment_name (seg), "str", (char *) NULL);
2135 stroff = get_stab_string_offset (file, stabstr_name);
2136 know (stroff == 1 || (stroff == 0 && file[0] == '\0'));
2137 md_number_to_chars (p, stroff, 4);
2138 seg_info (seg)->stabu.p = p;
2143 /* Fill in the counts in the first entry in a .stabs section. */
2146 adjust_stab_sections (bfd *abfd, asection *sec, void *xxx ATTRIBUTE_UNUSED)
2153 if (strncmp (".stab", sec->name, 5))
2155 if (!strcmp ("str", sec->name + strlen (sec->name) - 3))
2158 name = concat (sec->name, "str", NULL);
2159 strsec = bfd_get_section_by_name (abfd, name);
2161 strsz = bfd_section_size (abfd, strsec);
2164 nsyms = bfd_section_size (abfd, sec) / 12 - 1;
2166 p = seg_info (sec)->stabu.p;
2167 gas_assert (p != 0);
2169 bfd_h_put_16 (abfd, nsyms, p + 6);
2170 bfd_h_put_32 (abfd, strsz, p + 8);
2174 #ifdef NEED_ECOFF_DEBUG
2176 /* This function is called by the ECOFF code. It is supposed to
2177 record the external symbol information so that the backend can
2178 write it out correctly. The ELF backend doesn't actually handle
2179 this at the moment, so we do it ourselves. We save the information
2182 #ifdef OBJ_MAYBE_ELF
2186 elf_ecoff_set_ext (symbolS *sym, struct ecoff_extr *ext)
2188 symbol_get_bfdsym (sym)->udata.p = ext;
2191 /* This function is called by bfd_ecoff_debug_externals. It is
2192 supposed to *EXT to the external symbol information, and return
2193 whether the symbol should be used at all. */
2196 elf_get_extr (asymbol *sym, EXTR *ext)
2198 if (sym->udata.p == NULL)
2200 *ext = *(EXTR *) sym->udata.p;
2204 /* This function is called by bfd_ecoff_debug_externals. It has
2205 nothing to do for ELF. */
2208 elf_set_index (asymbol *sym ATTRIBUTE_UNUSED,
2209 bfd_size_type indx ATTRIBUTE_UNUSED)
2213 #endif /* NEED_ECOFF_DEBUG */
2216 elf_frob_symbol (symbolS *symp, int *puntp)
2218 struct elf_obj_sy *sy_obj;
2221 #ifdef NEED_ECOFF_DEBUG
2222 if (ECOFF_DEBUGGING)
2223 ecoff_frob_symbol (symp);
2226 sy_obj = symbol_get_obj (symp);
2228 size = sy_obj->size;
2231 if (resolve_expression (size)
2232 && size->X_op == O_constant)
2233 S_SET_SIZE (symp, size->X_add_number);
2236 if (!flag_allow_nonconst_size)
2237 as_bad (_(".size expression for %s "
2238 "does not evaluate to a constant"), S_GET_NAME (symp));
2240 as_warn (_(".size expression for %s "
2241 "does not evaluate to a constant"), S_GET_NAME (symp));
2243 free (sy_obj->size);
2244 sy_obj->size = NULL;
2247 if (sy_obj->versioned_name != NULL)
2251 p = strchr (sy_obj->versioned_name, ELF_VER_CHR);
2253 /* We will have already reported an error about a missing version. */
2256 /* This symbol was given a new name with the .symver directive.
2258 If this is an external reference, just rename the symbol to
2259 include the version string. This will make the relocs be
2260 against the correct versioned symbol.
2262 If this is a definition, add an alias. FIXME: Using an alias
2263 will permit the debugging information to refer to the right
2264 symbol. However, it's not clear whether it is the best
2267 else if (! S_IS_DEFINED (symp))
2269 /* Verify that the name isn't using the @@ syntax--this is
2270 reserved for definitions of the default version to link
2272 if (p[1] == ELF_VER_CHR)
2274 as_bad (_("invalid attempt to declare external version name"
2275 " as default in symbol `%s'"),
2276 sy_obj->versioned_name);
2279 S_SET_NAME (symp, sy_obj->versioned_name);
2283 if (p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR)
2287 /* The @@@ syntax is a special case. It renames the
2288 symbol name to versioned_name with one `@' removed. */
2289 l = strlen (&p[3]) + 1;
2290 memmove (&p[2], &p[3], l);
2291 S_SET_NAME (symp, sy_obj->versioned_name);
2297 /* FIXME: Creating a new symbol here is risky. We're
2298 in the final loop over the symbol table. We can
2299 get away with it only because the symbol goes to
2300 the end of the list, where the loop will still see
2301 it. It would probably be better to do this in
2302 obj_frob_file_before_adjust. */
2304 symp2 = symbol_find_or_make (sy_obj->versioned_name);
2306 /* Now we act as though we saw symp2 = sym. */
2307 if (S_IS_COMMON (symp))
2309 as_bad (_("`%s' can't be versioned to common symbol '%s'"),
2310 sy_obj->versioned_name, S_GET_NAME (symp));
2315 S_SET_SEGMENT (symp2, S_GET_SEGMENT (symp));
2317 /* Subtracting out the frag address here is a hack
2318 because we are in the middle of the final loop. */
2321 - symbol_get_frag (symp)->fr_address));
2323 symbol_set_frag (symp2, symbol_get_frag (symp));
2325 /* This will copy over the size information. */
2326 copy_symbol_attributes (symp2, symp);
2328 S_SET_OTHER (symp2, S_GET_OTHER (symp));
2330 if (S_IS_WEAK (symp))
2333 if (S_IS_EXTERNAL (symp))
2334 S_SET_EXTERNAL (symp2);
2339 /* Double check weak symbols. */
2340 if (S_IS_WEAK (symp))
2342 if (S_IS_COMMON (symp))
2343 as_bad (_("symbol `%s' can not be both weak and common"),
2348 /* The Irix 5 and 6 assemblers set the type of any common symbol and
2349 any undefined non-function symbol to STT_OBJECT. We try to be
2350 compatible, since newer Irix 5 and 6 linkers care. However, we
2351 only set undefined symbols to be STT_OBJECT if we are on Irix,
2352 because that is the only time gcc will generate the necessary
2353 .global directives to mark functions. */
2355 if (S_IS_COMMON (symp))
2356 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT;
2358 if (strstr (TARGET_OS, "irix") != NULL
2359 && ! S_IS_DEFINED (symp)
2360 && (symbol_get_bfdsym (symp)->flags & BSF_FUNCTION) == 0)
2361 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT;
2367 asection **head; /* Section lists. */
2368 unsigned int num_group; /* Number of lists. */
2369 struct hash_control *indexes; /* Maps group name to index in head array. */
2372 static struct group_list groups;
2374 /* Called via bfd_map_over_sections. If SEC is a member of a group,
2375 add it to a list of sections belonging to the group. INF is a
2376 pointer to a struct group_list, which is where we store the head of
2380 build_group_lists (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *inf)
2382 struct group_list *list = (struct group_list *) inf;
2383 const char *group_name = elf_group_name (sec);
2385 unsigned int *elem_idx;
2386 unsigned int *idx_ptr;
2388 if (group_name == NULL)
2391 /* If this group already has a list, add the section to the head of
2393 elem_idx = (unsigned int *) hash_find (list->indexes, group_name);
2394 if (elem_idx != NULL)
2396 elf_next_in_group (sec) = list->head[*elem_idx];
2397 list->head[*elem_idx] = sec;
2401 /* New group. Make the arrays bigger in chunks to minimize calls to
2403 i = list->num_group;
2406 unsigned int newsize = i + 128;
2407 list->head = XRESIZEVEC (asection *, list->head, newsize);
2409 list->head[i] = sec;
2410 list->num_group += 1;
2412 /* Add index to hash. */
2413 idx_ptr = XNEW (unsigned int);
2415 hash_insert (list->indexes, group_name, idx_ptr);
2418 static void free_section_idx (const char *key ATTRIBUTE_UNUSED, void *val)
2420 free ((unsigned int *) val);
2423 /* Create symbols for group signature. */
2426 elf_adjust_symtab (void)
2430 /* Go find section groups. */
2431 groups.num_group = 0;
2433 groups.indexes = hash_new ();
2434 bfd_map_over_sections (stdoutput, build_group_lists, &groups);
2436 /* Make the SHT_GROUP sections that describe each section group. We
2437 can't set up the section contents here yet, because elf section
2438 indices have yet to be calculated. elf.c:set_group_contents does
2439 the rest of the work. */
2440 for (i = 0; i < groups.num_group; i++)
2442 const char *group_name = elf_group_name (groups.head[i]);
2443 const char *sec_name;
2448 flags = SEC_READONLY | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_GROUP;
2449 for (s = groups.head[i]; s != NULL; s = elf_next_in_group (s))
2450 if ((s->flags ^ flags) & SEC_LINK_ONCE)
2452 flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD;
2453 if (s != groups.head[i])
2455 as_warn (_("assuming all members of group `%s' are COMDAT"),
2461 sec_name = ".group";
2462 s = subseg_force_new (sec_name, 0);
2464 || !bfd_set_section_flags (stdoutput, s, flags)
2465 || !bfd_set_section_alignment (stdoutput, s, 2))
2467 as_fatal (_("can't create group: %s"),
2468 bfd_errmsg (bfd_get_error ()));
2470 elf_section_type (s) = SHT_GROUP;
2472 /* Pass a pointer to the first section in this group. */
2473 elf_next_in_group (s) = groups.head[i];
2474 elf_sec_group (groups.head[i]) = s;
2475 /* Make sure that the signature symbol for the group has the
2476 name of the group. */
2477 sy = symbol_find_exact (group_name);
2479 || (sy != symbol_lastP
2480 && (sy->sy_next == NULL
2481 || sy->sy_next->sy_previous != sy)))
2483 /* Create the symbol now. */
2484 sy = symbol_new (group_name, now_seg, (valueT) 0, frag_now);
2486 /* Before Solaris 11 build 154, Sun ld rejects local group
2487 signature symbols, so make them weak hidden instead. */
2488 symbol_get_bfdsym (sy)->flags |= BSF_WEAK;
2489 S_SET_OTHER (sy, STV_HIDDEN);
2491 symbol_get_obj (sy)->local = 1;
2493 symbol_table_insert (sy);
2495 elf_group_id (s) = symbol_get_bfdsym (sy);
2500 elf_frob_file (void)
2502 bfd_map_over_sections (stdoutput, adjust_stab_sections, NULL);
2504 #ifdef elf_tc_final_processing
2505 elf_tc_final_processing ();
2509 /* It removes any unneeded versioned symbols from the symbol table. */
2512 elf_frob_file_before_adjust (void)
2518 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
2519 if (!S_IS_DEFINED (symp))
2521 if (symbol_get_obj (symp)->versioned_name)
2525 /* The @@@ syntax is a special case. If the symbol is
2526 not defined, 2 `@'s will be removed from the
2529 p = strchr (symbol_get_obj (symp)->versioned_name,
2531 if (p != NULL && p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR)
2533 size_t l = strlen (&p[3]) + 1;
2534 memmove (&p[1], &p[3], l);
2536 if (symbol_used_p (symp) == 0
2537 && symbol_used_in_reloc_p (symp) == 0)
2538 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2541 /* If there was .weak foo, but foo was neither defined nor
2542 used anywhere, remove it. */
2544 else if (S_IS_WEAK (symp)
2545 && symbol_used_p (symp) == 0
2546 && symbol_used_in_reloc_p (symp) == 0)
2547 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2552 /* It is required that we let write_relocs have the opportunity to
2553 optimize away fixups before output has begun, since it is possible
2554 to eliminate all fixups for a section and thus we never should
2555 have generated the relocation section. */
2558 elf_frob_file_after_relocs (void)
2562 /* Set SHT_GROUP section size. */
2563 for (i = 0; i < groups.num_group; i++)
2565 asection *s, *head, *group;
2568 head = groups.head[i];
2570 for (s = head; s != NULL; s = elf_next_in_group (s))
2571 size += (s->flags & SEC_RELOC) != 0 ? 8 : 4;
2573 group = elf_sec_group (head);
2574 subseg_set (group, 0);
2575 bfd_set_section_size (stdoutput, group, size);
2576 group->contents = (unsigned char *) frag_more (size);
2577 frag_now->fr_fix = frag_now_fix_octets ();
2578 frag_wane (frag_now);
2582 hash_traverse (groups.indexes, free_section_idx);
2583 hash_die (groups.indexes);
2585 #ifdef NEED_ECOFF_DEBUG
2586 if (ECOFF_DEBUGGING)
2587 /* Generate the ECOFF debugging information. */
2589 const struct ecoff_debug_swap *debug_swap;
2590 struct ecoff_debug_info debug;
2595 = get_elf_backend_data (stdoutput)->elf_backend_ecoff_debug_swap;
2596 know (debug_swap != NULL);
2597 ecoff_build_debug (&debug.symbolic_header, &buf, debug_swap);
2599 /* Set up the pointers in debug. */
2600 #define SET(ptr, offset, type) \
2601 debug.ptr = (type) (buf + debug.symbolic_header.offset)
2603 SET (line, cbLineOffset, unsigned char *);
2604 SET (external_dnr, cbDnOffset, void *);
2605 SET (external_pdr, cbPdOffset, void *);
2606 SET (external_sym, cbSymOffset, void *);
2607 SET (external_opt, cbOptOffset, void *);
2608 SET (external_aux, cbAuxOffset, union aux_ext *);
2609 SET (ss, cbSsOffset, char *);
2610 SET (external_fdr, cbFdOffset, void *);
2611 SET (external_rfd, cbRfdOffset, void *);
2612 /* ssext and external_ext are set up just below. */
2616 /* Set up the external symbols. */
2617 debug.ssext = debug.ssext_end = NULL;
2618 debug.external_ext = debug.external_ext_end = NULL;
2619 if (! bfd_ecoff_debug_externals (stdoutput, &debug, debug_swap, TRUE,
2620 elf_get_extr, elf_set_index))
2621 as_fatal (_("failed to set up debugging information: %s"),
2622 bfd_errmsg (bfd_get_error ()));
2624 sec = bfd_get_section_by_name (stdoutput, ".mdebug");
2625 gas_assert (sec != NULL);
2627 know (!stdoutput->output_has_begun);
2629 /* We set the size of the section, call bfd_set_section_contents
2630 to force the ELF backend to allocate a file position, and then
2631 write out the data. FIXME: Is this really the best way to do
2633 bfd_set_section_size
2634 (stdoutput, sec, bfd_ecoff_debug_size (stdoutput, &debug, debug_swap));
2636 /* Pass BUF to bfd_set_section_contents because this will
2637 eventually become a call to fwrite, and ISO C prohibits
2638 passing a NULL pointer to a stdio function even if the
2639 pointer will not be used. */
2640 if (! bfd_set_section_contents (stdoutput, sec, buf, 0, 0))
2641 as_fatal (_("can't start writing .mdebug section: %s"),
2642 bfd_errmsg (bfd_get_error ()));
2644 know (stdoutput->output_has_begun);
2645 know (sec->filepos != 0);
2647 if (! bfd_ecoff_write_debug (stdoutput, &debug, debug_swap,
2649 as_fatal (_("could not write .mdebug section: %s"),
2650 bfd_errmsg (bfd_get_error ()));
2652 #endif /* NEED_ECOFF_DEBUG */
2657 /* Heavily plagiarized from obj_elf_version. The idea is to emit the
2658 SCO specific identifier in the .notes section to satisfy the SCO
2661 This looks more complicated than it really is. As opposed to the
2662 "obvious" solution, this should handle the cross dev cases
2663 correctly. (i.e, hosting on a 64 bit big endian processor, but
2664 generating SCO Elf code) Efficiency isn't a concern, as there
2665 should be exactly one of these sections per object module.
2667 SCO OpenServer 5 identifies it's ELF modules with a standard ELF
2670 int_32 namesz = 4 ; Name size
2671 int_32 descsz = 12 ; Descriptive information
2673 char name[4] = "SCO" ; Originator name ALWAYS SCO + NULL
2674 int_32 version = (major ver # << 16) | version of tools ;
2675 int_32 source = (tool_id << 16 ) | 1 ;
2676 int_32 info = 0 ; These are set by the SCO tools, but we
2677 don't know enough about the source
2678 environment to set them. SCO ld currently
2679 ignores them, and recommends we set them
2682 #define SCO_MAJOR_VERSION 0x1
2683 #define SCO_MINOR_VERSION 0x1
2693 asection *seg = now_seg;
2694 subsegT subseg = now_subseg;
2695 Elf_Internal_Note i_note;
2696 Elf_External_Note e_note;
2697 asection *note_secp = NULL;
2700 /* create the .note section */
2702 note_secp = subseg_new (".note", 0);
2703 bfd_set_section_flags (stdoutput,
2705 SEC_HAS_CONTENTS | SEC_READONLY);
2707 /* process the version string */
2710 i_note.descsz = 12; /* 12 descriptive bytes */
2711 i_note.type = NT_VERSION; /* Contains a version string */
2713 p = frag_more (sizeof (i_note.namesz));
2714 md_number_to_chars (p, i_note.namesz, 4);
2716 p = frag_more (sizeof (i_note.descsz));
2717 md_number_to_chars (p, i_note.descsz, 4);
2719 p = frag_more (sizeof (i_note.type));
2720 md_number_to_chars (p, i_note.type, 4);
2725 /* Note: this is the version number of the ELF we're representing */
2727 md_number_to_chars (p, (SCO_MAJOR_VERSION << 16) | (SCO_MINOR_VERSION), 4);
2729 /* Here, we pick a magic number for ourselves (yes, I "registered"
2730 it with SCO. The bottom bit shows that we are compat with the
2733 md_number_to_chars (p, 0x4c520000 | 0x0001, 4);
2735 /* If we knew (or cared) what the source language options were, we'd
2736 fill them in here. SCO has given us permission to ignore these
2737 and just set them to zero. */
2739 md_number_to_chars (p, 0x0000, 4);
2741 frag_align (2, 0, 0);
2743 /* We probably can't restore the current segment, for there likely
2746 subseg_set (seg, subseg);
2750 #endif /* SCO_ELF */
2753 elf_generate_asm_lineno (void)
2755 #ifdef NEED_ECOFF_DEBUG
2756 if (ECOFF_DEBUGGING)
2757 ecoff_generate_asm_lineno ();
2762 elf_process_stab (segT sec ATTRIBUTE_UNUSED,
2763 int what ATTRIBUTE_UNUSED,
2764 const char *string ATTRIBUTE_UNUSED,
2765 int type ATTRIBUTE_UNUSED,
2766 int other ATTRIBUTE_UNUSED,
2767 int desc ATTRIBUTE_UNUSED)
2769 #ifdef NEED_ECOFF_DEBUG
2770 if (ECOFF_DEBUGGING)
2771 ecoff_stab (sec, what, string, type, other, desc);
2776 elf_separate_stab_sections (void)
2778 #ifdef NEED_ECOFF_DEBUG
2779 return (!ECOFF_DEBUGGING);
2786 elf_init_stab_section (segT seg)
2788 #ifdef NEED_ECOFF_DEBUG
2789 if (!ECOFF_DEBUGGING)
2791 obj_elf_init_stab_section (seg);
2794 const struct format_ops elf_format_ops =
2796 bfd_target_elf_flavour,
2797 0, /* dfl_leading_underscore */
2798 1, /* emit_section_symbols */
2803 elf_frob_file_before_adjust,
2804 0, /* obj_frob_file_before_fix */
2805 elf_frob_file_after_relocs,
2806 elf_s_get_size, elf_s_set_size,
2807 elf_s_get_align, elf_s_set_align,
2814 elf_copy_symbol_attributes,
2815 elf_generate_asm_lineno,
2817 elf_separate_stab_sections,
2818 elf_init_stab_section,
2819 elf_sec_sym_ok_for_reloc,
2821 #ifdef NEED_ECOFF_DEBUG
2824 0, /* ecoff_set_ext */
2826 elf_obj_read_begin_hook,
2827 elf_obj_symbol_new_hook,