1 /* ELF object file format
2 Copyright (C) 1992-2014 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"
67 static void obj_elf_line (int);
68 static void obj_elf_size (int);
69 static void obj_elf_type (int);
70 static void obj_elf_ident (int);
71 static void obj_elf_weak (int);
72 static void obj_elf_local (int);
73 static void obj_elf_visibility (int);
74 static void obj_elf_symver (int);
75 static void obj_elf_subsection (int);
76 static void obj_elf_popsection (int);
77 static void obj_elf_gnu_attribute (int);
78 static void obj_elf_tls_common (int);
79 static void obj_elf_lcomm (int);
80 static void obj_elf_struct (int);
82 static const pseudo_typeS elf_pseudo_table
[] =
84 {"comm", obj_elf_common
, 0},
85 {"common", obj_elf_common
, 1},
86 {"ident", obj_elf_ident
, 0},
87 {"lcomm", obj_elf_lcomm
, 0},
88 {"local", obj_elf_local
, 0},
89 {"previous", obj_elf_previous
, 0},
90 {"section", obj_elf_section
, 0},
91 {"section.s", obj_elf_section
, 0},
92 {"sect", obj_elf_section
, 0},
93 {"sect.s", obj_elf_section
, 0},
94 {"pushsection", obj_elf_section
, 1},
95 {"popsection", obj_elf_popsection
, 0},
96 {"size", obj_elf_size
, 0},
97 {"type", obj_elf_type
, 0},
98 {"version", obj_elf_version
, 0},
99 {"weak", obj_elf_weak
, 0},
101 /* These define symbol visibility. */
102 {"internal", obj_elf_visibility
, STV_INTERNAL
},
103 {"hidden", obj_elf_visibility
, STV_HIDDEN
},
104 {"protected", obj_elf_visibility
, STV_PROTECTED
},
106 /* These are used for stabs-in-elf configurations. */
107 {"line", obj_elf_line
, 0},
109 /* This is a GNU extension to handle symbol versions. */
110 {"symver", obj_elf_symver
, 0},
112 /* A GNU extension to change subsection only. */
113 {"subsection", obj_elf_subsection
, 0},
115 /* These are GNU extensions to aid in garbage collecting C++ vtables. */
116 {"vtable_inherit", (void (*) (int)) &obj_elf_vtable_inherit
, 0},
117 {"vtable_entry", (void (*) (int)) &obj_elf_vtable_entry
, 0},
119 /* A GNU extension for object attributes. */
120 {"gnu_attribute", obj_elf_gnu_attribute
, 0},
122 /* These are used for dwarf. */
126 /* These are used for dwarf2. */
127 { "file", (void (*) (int)) dwarf2_directive_file
, 0 },
128 { "loc", dwarf2_directive_loc
, 0 },
129 { "loc_mark_labels", dwarf2_directive_loc_mark_labels
, 0 },
131 /* We need to trap the section changing calls to handle .previous. */
132 {"data", obj_elf_data
, 0},
133 {"offset", obj_elf_struct
, 0},
134 {"struct", obj_elf_struct
, 0},
135 {"text", obj_elf_text
, 0},
137 {"tls_common", obj_elf_tls_common
, 0},
143 static const pseudo_typeS ecoff_debug_pseudo_table
[] =
145 #ifdef NEED_ECOFF_DEBUG
146 /* COFF style debugging information for ECOFF. .ln is not used; .loc
148 { "def", ecoff_directive_def
, 0 },
149 { "dim", ecoff_directive_dim
, 0 },
150 { "endef", ecoff_directive_endef
, 0 },
151 { "file", ecoff_directive_file
, 0 },
152 { "scl", ecoff_directive_scl
, 0 },
153 { "tag", ecoff_directive_tag
, 0 },
154 { "val", ecoff_directive_val
, 0 },
156 /* COFF debugging requires pseudo-ops .size and .type, but ELF
157 already has meanings for those. We use .esize and .etype
158 instead. These are only generated by gcc anyhow. */
159 { "esize", ecoff_directive_size
, 0 },
160 { "etype", ecoff_directive_type
, 0 },
162 /* ECOFF specific debugging information. */
163 { "begin", ecoff_directive_begin
, 0 },
164 { "bend", ecoff_directive_bend
, 0 },
165 { "end", ecoff_directive_end
, 0 },
166 { "ent", ecoff_directive_ent
, 0 },
167 { "fmask", ecoff_directive_fmask
, 0 },
168 { "frame", ecoff_directive_frame
, 0 },
169 { "loc", ecoff_directive_loc
, 0 },
170 { "mask", ecoff_directive_mask
, 0 },
172 /* Other ECOFF directives. */
173 { "extern", ecoff_directive_extern
, 0 },
175 /* These are used on Irix. I don't know how to implement them. */
176 { "alias", s_ignore
, 0 },
177 { "bgnb", s_ignore
, 0 },
178 { "endb", s_ignore
, 0 },
179 { "lab", s_ignore
, 0 },
180 { "noalias", s_ignore
, 0 },
181 { "verstamp", s_ignore
, 0 },
182 { "vreg", s_ignore
, 0 },
185 {NULL
, NULL
, 0} /* end sentinel */
189 #include "aout/aout64.h"
191 /* This is called when the assembler starts. */
193 asection
*elf_com_section_ptr
;
200 /* Add symbols for the known sections to the symbol table. */
201 s
= bfd_get_section_by_name (stdoutput
, TEXT_SECTION_NAME
);
202 symbol_table_insert (section_symbol (s
));
203 s
= bfd_get_section_by_name (stdoutput
, DATA_SECTION_NAME
);
204 symbol_table_insert (section_symbol (s
));
205 s
= bfd_get_section_by_name (stdoutput
, BSS_SECTION_NAME
);
206 symbol_table_insert (section_symbol (s
));
207 elf_com_section_ptr
= bfd_com_section_ptr
;
211 elf_pop_insert (void)
213 pop_insert (elf_pseudo_table
);
215 pop_insert (ecoff_debug_pseudo_table
);
219 elf_s_get_size (symbolS
*sym
)
221 return S_GET_SIZE (sym
);
225 elf_s_set_size (symbolS
*sym
, bfd_vma sz
)
227 S_SET_SIZE (sym
, sz
);
231 elf_s_get_align (symbolS
*sym
)
233 return S_GET_ALIGN (sym
);
237 elf_s_set_align (symbolS
*sym
, bfd_vma align
)
239 S_SET_ALIGN (sym
, align
);
243 elf_s_get_other (symbolS
*sym
)
245 return elf_symbol (symbol_get_bfdsym (sym
))->internal_elf_sym
.st_other
;
249 elf_s_set_other (symbolS
*sym
, int other
)
251 S_SET_OTHER (sym
, other
);
255 elf_sec_sym_ok_for_reloc (asection
*sec
)
257 return obj_sec_sym_ok_for_reloc (sec
);
261 elf_file_symbol (const char *s
, int appfile
)
264 || symbol_rootP
== NULL
265 || symbol_rootP
->bsym
== NULL
266 || (symbol_rootP
->bsym
->flags
& BSF_FILE
) == 0)
269 unsigned int name_length
;
271 sym
= symbol_new (s
, absolute_section
, 0, NULL
);
272 symbol_set_frag (sym
, &zero_address_frag
);
274 name_length
= strlen (s
);
275 if (name_length
> strlen (S_GET_NAME (sym
)))
277 obstack_grow (¬es
, s
, name_length
+ 1);
278 S_SET_NAME (sym
, (const char *) obstack_finish (¬es
));
281 strcpy ((char *) S_GET_NAME (sym
), s
);
283 symbol_get_bfdsym (sym
)->flags
|= BSF_FILE
;
285 if (symbol_rootP
!= sym
)
287 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
288 symbol_insert (sym
, symbol_rootP
, &symbol_rootP
, &symbol_lastP
);
290 verify_symbol_chain (symbol_rootP
, symbol_lastP
);
295 #ifdef NEED_ECOFF_DEBUG
296 ecoff_new_file (s
, appfile
);
300 /* Called from read.c:s_comm after we've parsed .comm symbol, size.
301 Parse a possible alignment value. */
304 elf_common_parse (int ignore ATTRIBUTE_UNUSED
, symbolS
*symbolP
, addressT size
)
307 int is_local
= symbol_get_obj (symbolP
)->local
;
309 if (*input_line_pointer
== ',')
311 char *save
= input_line_pointer
;
313 input_line_pointer
++;
316 if (*input_line_pointer
== '"')
318 /* For sparc. Accept .common symbol, length, "bss" */
319 input_line_pointer
++;
320 /* Some use the dot, some don't. */
321 if (*input_line_pointer
== '.')
322 input_line_pointer
++;
323 /* Some say data, some say bss. */
324 if (strncmp (input_line_pointer
, "bss\"", 4) == 0)
325 input_line_pointer
+= 4;
326 else if (strncmp (input_line_pointer
, "data\"", 5) == 0)
327 input_line_pointer
+= 5;
330 char *p
= input_line_pointer
;
335 while (!is_end_of_line
[(unsigned char) *input_line_pointer
])
336 if (*input_line_pointer
++ == '"')
338 c
= *input_line_pointer
;
339 *input_line_pointer
= '\0';
340 as_bad (_("bad .common segment %s"), p
);
341 *input_line_pointer
= c
;
342 ignore_rest_of_line ();
345 /* ??? Don't ask me why these are always global. */
350 input_line_pointer
= save
;
351 align
= parse_align (is_local
);
352 if (align
== (addressT
) -1)
359 bss_alloc (symbolP
, size
, align
);
360 S_CLEAR_EXTERNAL (symbolP
);
364 S_SET_VALUE (symbolP
, size
);
365 S_SET_ALIGN (symbolP
, align
);
366 S_SET_EXTERNAL (symbolP
);
367 S_SET_SEGMENT (symbolP
, elf_com_section_ptr
);
370 symbol_get_bfdsym (symbolP
)->flags
|= BSF_OBJECT
;
376 obj_elf_common (int is_common
)
378 if (flag_mri
&& is_common
)
381 s_comm_internal (0, elf_common_parse
);
385 obj_elf_tls_common (int ignore ATTRIBUTE_UNUSED
)
387 symbolS
*symbolP
= s_comm_internal (0, elf_common_parse
);
390 symbol_get_bfdsym (symbolP
)->flags
|= BSF_THREAD_LOCAL
;
394 obj_elf_lcomm (int ignore ATTRIBUTE_UNUSED
)
396 symbolS
*symbolP
= s_comm_internal (0, s_lcomm_internal
);
399 symbol_get_bfdsym (symbolP
)->flags
|= BSF_OBJECT
;
403 get_sym_from_input_line_and_check (void)
409 name
= input_line_pointer
;
410 c
= get_symbol_end ();
411 sym
= symbol_find_or_make (name
);
412 *input_line_pointer
= c
;
415 /* There is no symbol name if input_line_pointer has not moved. */
416 if (name
== input_line_pointer
)
417 as_bad (_("Missing symbol name in directive"));
422 obj_elf_local (int ignore ATTRIBUTE_UNUSED
)
429 symbolP
= get_sym_from_input_line_and_check ();
430 c
= *input_line_pointer
;
431 S_CLEAR_EXTERNAL (symbolP
);
432 symbol_get_obj (symbolP
)->local
= 1;
435 input_line_pointer
++;
437 if (*input_line_pointer
== '\n')
442 demand_empty_rest_of_line ();
446 obj_elf_weak (int ignore ATTRIBUTE_UNUSED
)
453 symbolP
= get_sym_from_input_line_and_check ();
454 c
= *input_line_pointer
;
455 S_SET_WEAK (symbolP
);
458 input_line_pointer
++;
460 if (*input_line_pointer
== '\n')
465 demand_empty_rest_of_line ();
469 obj_elf_visibility (int visibility
)
474 elf_symbol_type
*elfsym
;
478 symbolP
= get_sym_from_input_line_and_check ();
480 bfdsym
= symbol_get_bfdsym (symbolP
);
481 elfsym
= elf_symbol_from (bfd_asymbol_bfd (bfdsym
), bfdsym
);
485 elfsym
->internal_elf_sym
.st_other
&= ~3;
486 elfsym
->internal_elf_sym
.st_other
|= visibility
;
488 c
= *input_line_pointer
;
491 input_line_pointer
++;
495 if (*input_line_pointer
== '\n')
501 demand_empty_rest_of_line ();
504 static segT previous_section
;
505 static int previous_subsection
;
509 struct section_stack
*next
;
511 int subseg
, prev_subseg
;
514 static struct section_stack
*section_stack
;
517 get_section (bfd
*abfd ATTRIBUTE_UNUSED
, asection
*sec
, void *inf
)
519 const char *gname
= (const char *) inf
;
520 const char *group_name
= elf_group_name (sec
);
522 return (group_name
== gname
523 || (group_name
!= NULL
525 && strcmp (group_name
, gname
) == 0));
528 /* Handle the .section pseudo-op. This code supports two different
531 The first is found on Solaris, and looks like
532 .section ".sec1",#alloc,#execinstr,#write
533 Here the names after '#' are the SHF_* flags to turn on for the
534 section. I'm not sure how it determines the SHT_* type (BFD
535 doesn't really give us control over the type, anyhow).
537 The second format is found on UnixWare, and probably most SVR4
538 machines, and looks like
539 .section .sec1,"a",@progbits
540 The quoted string may contain any combination of a, w, x, and
541 represents the SHF_* flags to turn on for the section. The string
542 beginning with '@' can be progbits or nobits. There should be
543 other possibilities, but I don't know what they are. In any case,
544 BFD doesn't really let us set the section type. */
547 obj_elf_change_section (const char *name
,
551 const char *group_name
,
558 const struct elf_backend_data
*bed
;
559 const struct bfd_elf_special_section
*ssect
;
561 #ifdef md_flush_pending_output
562 md_flush_pending_output ();
565 /* Switch to the section, creating it if necessary. */
568 struct section_stack
*elt
;
569 elt
= (struct section_stack
*) xmalloc (sizeof (struct section_stack
));
570 elt
->next
= section_stack
;
572 elt
->prev_seg
= previous_section
;
573 elt
->subseg
= now_subseg
;
574 elt
->prev_subseg
= previous_subsection
;
577 previous_section
= now_seg
;
578 previous_subsection
= now_subseg
;
580 old_sec
= bfd_get_section_by_name_if (stdoutput
, name
, get_section
,
581 (void *) group_name
);
588 sec
= subseg_force_new (name
, 0);
590 bed
= get_elf_backend_data (stdoutput
);
591 ssect
= (*bed
->get_sec_type_attr
) (stdoutput
, sec
);
595 bfd_boolean override
= FALSE
;
597 if (type
== SHT_NULL
)
599 else if (type
!= ssect
->type
)
602 /* Some older versions of gcc will emit
604 .section .init_array,"aw",@progbits
606 for __attribute__ ((section (".init_array"))).
607 "@progbits" is incorrect. Also for x86-64 large bss
608 sections, some older versions of gcc will emit
610 .section .lbss,"aw",@progbits
612 "@progbits" is incorrect. */
614 && (bed
->s
->arch_size
!= 64
615 || !(ssect
->attr
& SHF_X86_64_LARGE
))
617 && ssect
->type
!= SHT_INIT_ARRAY
618 && ssect
->type
!= SHT_FINI_ARRAY
619 && ssect
->type
!= SHT_PREINIT_ARRAY
)
621 /* We allow to specify any type for a .note section. */
622 if (ssect
->type
!= SHT_NOTE
)
623 as_warn (_("setting incorrect section type for %s"),
628 as_warn (_("ignoring incorrect section type for %s"),
634 if (old_sec
== NULL
&& (attr
& ~ssect
->attr
) != 0)
636 /* As a GNU extension, we permit a .note section to be
637 allocatable. If the linker sees an allocatable .note
638 section, it will create a PT_NOTE segment in the output
639 file. We also allow "x" for .note.GNU-stack. */
640 if (ssect
->type
== SHT_NOTE
641 && (attr
== SHF_ALLOC
|| attr
== SHF_EXECINSTR
))
643 /* Allow different SHF_MERGE and SHF_STRINGS if we have
644 something like .rodata.str. */
645 else if (ssect
->suffix_length
== -2
646 && name
[ssect
->prefix_length
] == '.'
650 & ~SHF_STRINGS
) == 0)
652 /* .interp, .strtab and .symtab can have SHF_ALLOC. */
653 else if (attr
== SHF_ALLOC
654 && (strcmp (name
, ".interp") == 0
655 || strcmp (name
, ".strtab") == 0
656 || strcmp (name
, ".symtab") == 0))
658 /* .note.GNU-stack can have SHF_EXECINSTR. */
659 else if (attr
== SHF_EXECINSTR
660 && strcmp (name
, ".note.GNU-stack") == 0)
663 /* A section on Alpha may have SHF_ALPHA_GPREL. */
664 else if ((attr
& ~ssect
->attr
) == SHF_ALPHA_GPREL
)
668 else if (attr
== (SHF_EXECINSTR
| SHF_WRITE
| SHF_ALLOC
)
669 && (ssect
->type
== SHT_INIT_ARRAY
670 || ssect
->type
== SHT_FINI_ARRAY
671 || ssect
->type
== SHT_PREINIT_ARRAY
))
672 /* RX init/fini arrays can and should have the "awx" attributes set. */
677 if (group_name
== NULL
)
678 as_warn (_("setting incorrect section attributes for %s"),
683 if (!override
&& old_sec
== NULL
)
687 /* Convert ELF type and flags to BFD flags. */
689 | ((attr
& SHF_WRITE
) ? 0 : SEC_READONLY
)
690 | ((attr
& SHF_ALLOC
) ? SEC_ALLOC
: 0)
691 | (((attr
& SHF_ALLOC
) && type
!= SHT_NOBITS
) ? SEC_LOAD
: 0)
692 | ((attr
& SHF_EXECINSTR
) ? SEC_CODE
: 0)
693 | ((attr
& SHF_MERGE
) ? SEC_MERGE
: 0)
694 | ((attr
& SHF_STRINGS
) ? SEC_STRINGS
: 0)
695 | ((attr
& SHF_EXCLUDE
) ? SEC_EXCLUDE
: 0)
696 | ((attr
& SHF_TLS
) ? SEC_THREAD_LOCAL
: 0));
697 #ifdef md_elf_section_flags
698 flags
= md_elf_section_flags (flags
, attr
, type
);
702 flags
|= SEC_LINK_ONCE
| SEC_LINK_DUPLICATES_DISCARD
;
708 if (type
== SHT_NULL
)
709 type
= bfd_elf_get_default_section_type (flags
);
710 elf_section_type (sec
) = type
;
711 elf_section_flags (sec
) = attr
;
713 /* Prevent SEC_HAS_CONTENTS from being inadvertently set. */
714 if (type
== SHT_NOBITS
)
715 seg_info (sec
)->bss
= 1;
717 bfd_set_section_flags (stdoutput
, sec
, flags
);
718 if (flags
& SEC_MERGE
)
719 sec
->entsize
= entsize
;
720 elf_group_name (sec
) = group_name
;
722 /* Add a symbol for this section to the symbol table. */
723 secsym
= symbol_find (name
);
725 symbol_set_bfdsym (secsym
, sec
->symbol
);
727 symbol_table_insert (section_symbol (sec
));
732 && (unsigned) type
!= elf_section_type (old_sec
))
733 as_warn (_("ignoring changed section type for %s"), name
);
737 /* If section attributes are specified the second time we see a
738 particular section, then check that they are the same as we
739 saw the first time. */
740 if (((old_sec
->flags
^ flags
)
741 & (SEC_ALLOC
| SEC_LOAD
| SEC_READONLY
| SEC_CODE
742 | SEC_EXCLUDE
| SEC_SORT_ENTRIES
| SEC_MERGE
| SEC_STRINGS
743 | SEC_LINK_ONCE
| SEC_LINK_DUPLICATES_DISCARD
744 | SEC_THREAD_LOCAL
)))
745 as_warn (_("ignoring changed section attributes for %s"), name
);
746 if ((flags
& SEC_MERGE
) && old_sec
->entsize
!= (unsigned) entsize
)
747 as_warn (_("ignoring changed section entity size for %s"), name
);
751 #ifdef md_elf_section_change_hook
752 md_elf_section_change_hook ();
757 obj_elf_parse_section_letters (char *str
, size_t len
, bfd_boolean
*is_clone
)
776 attr
|= SHF_EXECINSTR
;
795 if (*(str
- 1) == 'a')
798 if (len
> 1 && str
[1] == 's')
807 char *bad_msg
= _("unrecognized .section attribute: want a,e,w,x,M,S,G,T");
808 #ifdef md_elf_section_letter
809 bfd_vma md_attr
= md_elf_section_letter (*str
, &bad_msg
);
810 if (md_attr
!= (bfd_vma
) -1)
814 as_fatal ("%s", bad_msg
);
825 obj_elf_section_type (char *str
, size_t len
, bfd_boolean warn
)
827 if (len
== 8 && strncmp (str
, "progbits", 8) == 0)
829 if (len
== 6 && strncmp (str
, "nobits", 6) == 0)
831 if (len
== 4 && strncmp (str
, "note", 4) == 0)
833 if (len
== 10 && strncmp (str
, "init_array", 10) == 0)
834 return SHT_INIT_ARRAY
;
835 if (len
== 10 && strncmp (str
, "fini_array", 10) == 0)
836 return SHT_FINI_ARRAY
;
837 if (len
== 13 && strncmp (str
, "preinit_array", 13) == 0)
838 return SHT_PREINIT_ARRAY
;
840 #ifdef md_elf_section_type
842 int md_type
= md_elf_section_type (str
, len
);
849 as_warn (_("unrecognized section type"));
854 obj_elf_section_word (char *str
, size_t len
, int *type
)
858 if (len
== 5 && strncmp (str
, "write", 5) == 0)
860 if (len
== 5 && strncmp (str
, "alloc", 5) == 0)
862 if (len
== 9 && strncmp (str
, "execinstr", 9) == 0)
863 return SHF_EXECINSTR
;
864 if (len
== 7 && strncmp (str
, "exclude", 7) == 0)
866 if (len
== 3 && strncmp (str
, "tls", 3) == 0)
869 #ifdef md_elf_section_word
871 bfd_vma md_attr
= md_elf_section_word (str
, len
);
877 ret
= obj_elf_section_type (str
, len
, FALSE
);
881 as_warn (_("unrecognized section attribute"));
886 /* Get name of section. */
888 obj_elf_section_name (void)
893 if (*input_line_pointer
== '"')
897 name
= demand_copy_C_string (&dummy
);
900 ignore_rest_of_line ();
906 char *end
= input_line_pointer
;
908 while (0 == strchr ("\n\t,; ", *end
))
910 if (end
== input_line_pointer
)
912 as_bad (_("missing name"));
913 ignore_rest_of_line ();
917 name
= (char *) xmalloc (end
- input_line_pointer
+ 1);
918 memcpy (name
, input_line_pointer
, end
- input_line_pointer
);
919 name
[end
- input_line_pointer
] = '\0';
920 #ifdef tc_canonicalize_section_name
921 name
= tc_canonicalize_section_name (name
);
923 input_line_pointer
= end
;
930 obj_elf_section (int push
)
932 char *name
, *group_name
, *beg
;
937 subsegT new_subsection
= -1;
944 #ifdef md_flush_pending_output
945 md_flush_pending_output ();
948 previous_section
= now_seg
;
949 previous_subsection
= now_subseg
;
951 s_mri_sect (&mri_type
);
953 #ifdef md_elf_section_change_hook
954 md_elf_section_change_hook ();
959 #endif /* ! defined (TC_I370) */
961 name
= obj_elf_section_name ();
970 if (*input_line_pointer
== ',')
972 /* Skip the comma. */
973 ++input_line_pointer
;
976 if (push
&& ISDIGIT (*input_line_pointer
))
978 /* .pushsection has an optional subsection. */
979 new_subsection
= (subsegT
) get_absolute_expression ();
983 /* Stop if we don't see a comma. */
984 if (*input_line_pointer
!= ',')
987 /* Skip the comma. */
988 ++input_line_pointer
;
992 if (*input_line_pointer
== '"')
994 bfd_boolean is_clone
;
996 beg
= demand_copy_C_string (&dummy
);
999 ignore_rest_of_line ();
1002 attr
|= obj_elf_parse_section_letters (beg
, strlen (beg
), &is_clone
);
1005 if (*input_line_pointer
== ',')
1008 char *save
= input_line_pointer
;
1010 ++input_line_pointer
;
1012 c
= *input_line_pointer
;
1015 beg
= demand_copy_C_string (&dummy
);
1018 ignore_rest_of_line ();
1021 type
= obj_elf_section_type (beg
, strlen (beg
), TRUE
);
1023 else if (c
== '@' || c
== '%')
1025 beg
= ++input_line_pointer
;
1026 c
= get_symbol_end ();
1027 *input_line_pointer
= c
;
1028 type
= obj_elf_section_type (beg
, input_line_pointer
- beg
, TRUE
);
1031 input_line_pointer
= save
;
1035 if ((attr
& SHF_MERGE
) != 0 && *input_line_pointer
== ',')
1037 ++input_line_pointer
;
1039 entsize
= get_absolute_expression ();
1043 as_warn (_("invalid merge entity size"));
1048 else if ((attr
& SHF_MERGE
) != 0)
1050 as_warn (_("entity size for SHF_MERGE not specified"));
1054 if ((attr
& SHF_GROUP
) != 0 && is_clone
)
1056 as_warn (_("? section flag ignored with G present"));
1059 if ((attr
& SHF_GROUP
) != 0 && *input_line_pointer
== ',')
1061 ++input_line_pointer
;
1062 group_name
= obj_elf_section_name ();
1063 if (group_name
== NULL
)
1065 else if (*input_line_pointer
== ',')
1067 ++input_line_pointer
;
1069 if (strncmp (input_line_pointer
, "comdat", 6) == 0)
1071 input_line_pointer
+= 6;
1075 else if (strncmp (name
, ".gnu.linkonce", 13) == 0)
1078 else if ((attr
& SHF_GROUP
) != 0)
1080 as_warn (_("group name for SHF_GROUP not specified"));
1086 const char *now_group
= elf_group_name (now_seg
);
1087 if (now_group
!= NULL
)
1089 group_name
= xstrdup (now_group
);
1090 linkonce
= (now_seg
->flags
& SEC_LINK_ONCE
) != 0;
1101 if (*input_line_pointer
!= '#')
1103 as_bad (_("character following name is not '#'"));
1104 ignore_rest_of_line ();
1107 beg
= ++input_line_pointer
;
1108 c
= get_symbol_end ();
1109 *input_line_pointer
= c
;
1111 attr
|= obj_elf_section_word (beg
, input_line_pointer
- beg
, & type
);
1115 while (*input_line_pointer
++ == ',');
1116 --input_line_pointer
;
1121 demand_empty_rest_of_line ();
1123 obj_elf_change_section (name
, type
, attr
, entsize
, group_name
, linkonce
, push
);
1125 if (push
&& new_subsection
!= -1)
1126 subseg_set (now_seg
, new_subsection
);
1129 /* Change to the .data section. */
1132 obj_elf_data (int i
)
1134 #ifdef md_flush_pending_output
1135 md_flush_pending_output ();
1138 previous_section
= now_seg
;
1139 previous_subsection
= now_subseg
;
1142 #ifdef md_elf_section_change_hook
1143 md_elf_section_change_hook ();
1147 /* Change to the .text section. */
1150 obj_elf_text (int i
)
1152 #ifdef md_flush_pending_output
1153 md_flush_pending_output ();
1156 previous_section
= now_seg
;
1157 previous_subsection
= now_subseg
;
1160 #ifdef md_elf_section_change_hook
1161 md_elf_section_change_hook ();
1165 /* Change to the *ABS* section. */
1168 obj_elf_struct (int i
)
1170 #ifdef md_flush_pending_output
1171 md_flush_pending_output ();
1174 previous_section
= now_seg
;
1175 previous_subsection
= now_subseg
;
1178 #ifdef md_elf_section_change_hook
1179 md_elf_section_change_hook ();
1184 obj_elf_subsection (int ignore ATTRIBUTE_UNUSED
)
1188 #ifdef md_flush_pending_output
1189 md_flush_pending_output ();
1192 previous_section
= now_seg
;
1193 previous_subsection
= now_subseg
;
1195 temp
= get_absolute_expression ();
1196 subseg_set (now_seg
, (subsegT
) temp
);
1197 demand_empty_rest_of_line ();
1199 #ifdef md_elf_section_change_hook
1200 md_elf_section_change_hook ();
1204 /* This can be called from the processor backends if they change
1208 obj_elf_section_change_hook (void)
1210 previous_section
= now_seg
;
1211 previous_subsection
= now_subseg
;
1215 obj_elf_previous (int ignore ATTRIBUTE_UNUSED
)
1220 if (previous_section
== 0)
1222 as_warn (_(".previous without corresponding .section; ignored"));
1226 #ifdef md_flush_pending_output
1227 md_flush_pending_output ();
1230 new_section
= previous_section
;
1231 new_subsection
= previous_subsection
;
1232 previous_section
= now_seg
;
1233 previous_subsection
= now_subseg
;
1234 subseg_set (new_section
, new_subsection
);
1236 #ifdef md_elf_section_change_hook
1237 md_elf_section_change_hook ();
1242 obj_elf_popsection (int xxx ATTRIBUTE_UNUSED
)
1244 struct section_stack
*top
= section_stack
;
1248 as_warn (_(".popsection without corresponding .pushsection; ignored"));
1252 #ifdef md_flush_pending_output
1253 md_flush_pending_output ();
1256 section_stack
= top
->next
;
1257 previous_section
= top
->prev_seg
;
1258 previous_subsection
= top
->prev_subseg
;
1259 subseg_set (top
->seg
, top
->subseg
);
1262 #ifdef md_elf_section_change_hook
1263 md_elf_section_change_hook ();
1268 obj_elf_line (int ignore ATTRIBUTE_UNUSED
)
1270 /* Assume delimiter is part of expression. BSD4.2 as fails with
1271 delightful bug, so we are not being incompatible here. */
1272 new_logical_line (NULL
, get_absolute_expression ());
1273 demand_empty_rest_of_line ();
1276 /* This handles the .symver pseudo-op, which is used to specify a
1277 symbol version. The syntax is ``.symver NAME,SYMVERNAME''.
1278 SYMVERNAME may contain ELF_VER_CHR ('@') characters. This
1279 pseudo-op causes the assembler to emit a symbol named SYMVERNAME
1280 with the same value as the symbol NAME. */
1283 obj_elf_symver (int ignore ATTRIBUTE_UNUSED
)
1290 sym
= get_sym_from_input_line_and_check ();
1292 if (*input_line_pointer
!= ',')
1294 as_bad (_("expected comma after name in .symver"));
1295 ignore_rest_of_line ();
1299 ++input_line_pointer
;
1301 name
= input_line_pointer
;
1303 /* Temporarily include '@' in symbol names. */
1304 old_lexat
= lex_type
[(unsigned char) '@'];
1305 lex_type
[(unsigned char) '@'] |= LEX_NAME
;
1306 c
= get_symbol_end ();
1307 lex_type
[(unsigned char) '@'] = old_lexat
;
1309 if (symbol_get_obj (sym
)->versioned_name
== NULL
)
1311 symbol_get_obj (sym
)->versioned_name
= xstrdup (name
);
1313 *input_line_pointer
= c
;
1315 if (strchr (symbol_get_obj (sym
)->versioned_name
,
1316 ELF_VER_CHR
) == NULL
)
1318 as_bad (_("missing version name in `%s' for symbol `%s'"),
1319 symbol_get_obj (sym
)->versioned_name
,
1321 ignore_rest_of_line ();
1327 if (strcmp (symbol_get_obj (sym
)->versioned_name
, name
))
1329 as_bad (_("multiple versions [`%s'|`%s'] for symbol `%s'"),
1330 name
, symbol_get_obj (sym
)->versioned_name
,
1332 ignore_rest_of_line ();
1336 *input_line_pointer
= c
;
1339 demand_empty_rest_of_line ();
1342 /* This handles the .vtable_inherit pseudo-op, which is used to indicate
1343 to the linker the hierarchy in which a particular table resides. The
1344 syntax is ".vtable_inherit CHILDNAME, PARENTNAME". */
1347 obj_elf_vtable_inherit (int ignore ATTRIBUTE_UNUSED
)
1349 char *cname
, *pname
;
1350 symbolS
*csym
, *psym
;
1353 if (*input_line_pointer
== '#')
1354 ++input_line_pointer
;
1356 cname
= input_line_pointer
;
1357 c
= get_symbol_end ();
1358 csym
= symbol_find (cname
);
1360 /* GCFIXME: should check that we don't have two .vtable_inherits for
1361 the same child symbol. Also, we can currently only do this if the
1362 child symbol is already exists and is placed in a fragment. */
1364 if (csym
== NULL
|| symbol_get_frag (csym
) == NULL
)
1366 as_bad (_("expected `%s' to have already been set for .vtable_inherit"),
1371 *input_line_pointer
= c
;
1374 if (*input_line_pointer
!= ',')
1376 as_bad (_("expected comma after name in .vtable_inherit"));
1377 ignore_rest_of_line ();
1381 ++input_line_pointer
;
1384 if (*input_line_pointer
== '#')
1385 ++input_line_pointer
;
1387 if (input_line_pointer
[0] == '0'
1388 && (input_line_pointer
[1] == '\0'
1389 || ISSPACE (input_line_pointer
[1])))
1391 psym
= section_symbol (absolute_section
);
1392 ++input_line_pointer
;
1396 pname
= input_line_pointer
;
1397 c
= get_symbol_end ();
1398 psym
= symbol_find_or_make (pname
);
1399 *input_line_pointer
= c
;
1402 demand_empty_rest_of_line ();
1407 gas_assert (symbol_get_value_expression (csym
)->X_op
== O_constant
);
1408 return fix_new (symbol_get_frag (csym
),
1409 symbol_get_value_expression (csym
)->X_add_number
,
1410 0, psym
, 0, 0, BFD_RELOC_VTABLE_INHERIT
);
1413 /* This handles the .vtable_entry pseudo-op, which is used to indicate
1414 to the linker that a vtable slot was used. The syntax is
1415 ".vtable_entry tablename, offset". */
1418 obj_elf_vtable_entry (int ignore ATTRIBUTE_UNUSED
)
1423 if (*input_line_pointer
== '#')
1424 ++input_line_pointer
;
1426 sym
= get_sym_from_input_line_and_check ();
1427 if (*input_line_pointer
!= ',')
1429 as_bad (_("expected comma after name in .vtable_entry"));
1430 ignore_rest_of_line ();
1434 ++input_line_pointer
;
1435 if (*input_line_pointer
== '#')
1436 ++input_line_pointer
;
1438 offset
= get_absolute_expression ();
1440 demand_empty_rest_of_line ();
1442 return fix_new (frag_now
, frag_now_fix (), 0, sym
, offset
, 0,
1443 BFD_RELOC_VTABLE_ENTRY
);
1446 #define skip_whitespace(str) do { if (*(str) == ' ') ++(str); } while (0)
1449 skip_past_char (char ** str
, char c
)
1459 #define skip_past_comma(str) skip_past_char (str, ',')
1461 /* A list of attributes that have been explicitly set by the assembly code.
1462 VENDOR is the vendor id, BASE is the tag shifted right by the number
1463 of bits in MASK, and bit N of MASK is set if tag BASE+N has been set. */
1464 struct recorded_attribute_info
{
1465 struct recorded_attribute_info
*next
;
1470 static struct recorded_attribute_info
*recorded_attributes
;
1472 /* Record that we have seen an explicit specification of attribute TAG
1473 for vendor VENDOR. */
1476 record_attribute (int vendor
, unsigned int tag
)
1480 struct recorded_attribute_info
*rai
;
1482 base
= tag
/ (8 * sizeof (rai
->mask
));
1483 mask
= 1UL << (tag
% (8 * sizeof (rai
->mask
)));
1484 for (rai
= recorded_attributes
; rai
; rai
= rai
->next
)
1485 if (rai
->vendor
== vendor
&& rai
->base
== base
)
1491 rai
= XNEW (struct recorded_attribute_info
);
1492 rai
->next
= recorded_attributes
;
1493 rai
->vendor
= vendor
;
1496 recorded_attributes
= rai
;
1499 /* Return true if we have seen an explicit specification of attribute TAG
1500 for vendor VENDOR. */
1503 obj_elf_seen_attribute (int vendor
, unsigned int tag
)
1507 struct recorded_attribute_info
*rai
;
1509 base
= tag
/ (8 * sizeof (rai
->mask
));
1510 mask
= 1UL << (tag
% (8 * sizeof (rai
->mask
)));
1511 for (rai
= recorded_attributes
; rai
; rai
= rai
->next
)
1512 if (rai
->vendor
== vendor
&& rai
->base
== base
)
1513 return (rai
->mask
& mask
) != 0;
1517 /* Parse an attribute directive for VENDOR.
1518 Returns the attribute number read, or zero on error. */
1521 obj_elf_vendor_attribute (int vendor
)
1529 /* Read the first number or name. */
1530 skip_whitespace (input_line_pointer
);
1531 s
= input_line_pointer
;
1532 if (ISDIGIT (*input_line_pointer
))
1535 if (exp
.X_op
!= O_constant
)
1537 tag
= exp
.X_add_number
;
1543 /* A name may contain '_', but no other punctuation. */
1544 for (; ISALNUM (*input_line_pointer
) || *input_line_pointer
== '_';
1545 ++input_line_pointer
)
1550 name
= (char *) alloca (i
+ 1);
1551 memcpy (name
, s
, i
);
1554 #ifndef CONVERT_SYMBOLIC_ATTRIBUTE
1555 #define CONVERT_SYMBOLIC_ATTRIBUTE(a) -1
1558 tag
= CONVERT_SYMBOLIC_ATTRIBUTE (name
);
1561 as_bad (_("Attribute name not recognised: %s"), name
);
1562 ignore_rest_of_line ();
1567 type
= _bfd_elf_obj_attrs_arg_type (stdoutput
, vendor
, tag
);
1569 if (skip_past_comma (&input_line_pointer
) == -1)
1574 if (exp
.X_op
!= O_constant
)
1576 as_bad (_("expected numeric constant"));
1577 ignore_rest_of_line ();
1580 i
= exp
.X_add_number
;
1583 && skip_past_comma (&input_line_pointer
) == -1)
1585 as_bad (_("expected comma"));
1586 ignore_rest_of_line ();
1593 skip_whitespace (input_line_pointer
);
1594 if (*input_line_pointer
!= '"')
1596 s
= demand_copy_C_string (&len
);
1599 record_attribute (vendor
, tag
);
1603 bfd_elf_add_obj_attr_int_string (stdoutput
, vendor
, tag
, i
, s
);
1606 bfd_elf_add_obj_attr_string (stdoutput
, vendor
, tag
, s
);
1609 bfd_elf_add_obj_attr_int (stdoutput
, vendor
, tag
, i
);
1615 demand_empty_rest_of_line ();
1618 as_bad (_("bad string constant"));
1619 ignore_rest_of_line ();
1622 as_bad (_("expected <tag> , <value>"));
1623 ignore_rest_of_line ();
1627 /* Parse a .gnu_attribute directive. */
1630 obj_elf_gnu_attribute (int ignored ATTRIBUTE_UNUSED
)
1632 obj_elf_vendor_attribute (OBJ_ATTR_GNU
);
1636 elf_obj_read_begin_hook (void)
1638 #ifdef NEED_ECOFF_DEBUG
1639 if (ECOFF_DEBUGGING
)
1640 ecoff_read_begin_hook ();
1645 elf_obj_symbol_new_hook (symbolS
*symbolP
)
1647 struct elf_obj_sy
*sy_obj
;
1649 sy_obj
= symbol_get_obj (symbolP
);
1650 sy_obj
->size
= NULL
;
1651 sy_obj
->versioned_name
= NULL
;
1653 #ifdef NEED_ECOFF_DEBUG
1654 if (ECOFF_DEBUGGING
)
1655 ecoff_symbol_new_hook (symbolP
);
1659 /* When setting one symbol equal to another, by default we probably
1660 want them to have the same "size", whatever it means in the current
1664 elf_copy_symbol_attributes (symbolS
*dest
, symbolS
*src
)
1666 struct elf_obj_sy
*srcelf
= symbol_get_obj (src
);
1667 struct elf_obj_sy
*destelf
= symbol_get_obj (dest
);
1670 if (destelf
->size
== NULL
)
1671 destelf
->size
= (expressionS
*) xmalloc (sizeof (expressionS
));
1672 *destelf
->size
= *srcelf
->size
;
1676 if (destelf
->size
!= NULL
)
1677 free (destelf
->size
);
1678 destelf
->size
= NULL
;
1680 S_SET_SIZE (dest
, S_GET_SIZE (src
));
1681 /* Don't copy visibility. */
1682 S_SET_OTHER (dest
, (ELF_ST_VISIBILITY (S_GET_OTHER (dest
))
1683 | (S_GET_OTHER (src
) & ~ELF_ST_VISIBILITY (-1))));
1687 obj_elf_version (int ignore ATTRIBUTE_UNUSED
)
1692 asection
*seg
= now_seg
;
1693 subsegT subseg
= now_subseg
;
1694 Elf_Internal_Note i_note
;
1695 Elf_External_Note e_note
;
1696 asection
*note_secp
= NULL
;
1699 if (*input_line_pointer
== '\"')
1703 ++input_line_pointer
; /* -> 1st char of string. */
1704 name
= input_line_pointer
;
1706 while (is_a_char (c
= next_char_of_string ()))
1708 c
= *input_line_pointer
;
1709 *input_line_pointer
= '\0';
1710 *(input_line_pointer
- 1) = '\0';
1711 *input_line_pointer
= c
;
1713 /* Create the .note section. */
1714 note_secp
= subseg_new (".note", 0);
1715 bfd_set_section_flags (stdoutput
,
1717 SEC_HAS_CONTENTS
| SEC_READONLY
);
1719 /* Process the version string. */
1720 len
= strlen (name
) + 1;
1722 /* PR 3456: Although the name field is padded out to an 4-byte
1723 boundary, the namesz field should not be adjusted. */
1724 i_note
.namesz
= len
;
1725 i_note
.descsz
= 0; /* No description. */
1726 i_note
.type
= NT_VERSION
;
1727 p
= frag_more (sizeof (e_note
.namesz
));
1728 md_number_to_chars (p
, i_note
.namesz
, sizeof (e_note
.namesz
));
1729 p
= frag_more (sizeof (e_note
.descsz
));
1730 md_number_to_chars (p
, i_note
.descsz
, sizeof (e_note
.descsz
));
1731 p
= frag_more (sizeof (e_note
.type
));
1732 md_number_to_chars (p
, i_note
.type
, sizeof (e_note
.type
));
1733 p
= frag_more (len
);
1734 memcpy (p
, name
, len
);
1736 frag_align (2, 0, 0);
1738 subseg_set (seg
, subseg
);
1741 as_bad (_("expected quoted string"));
1743 demand_empty_rest_of_line ();
1747 obj_elf_size (int ignore ATTRIBUTE_UNUSED
)
1749 char *name
= input_line_pointer
;
1750 char c
= get_symbol_end ();
1755 p
= input_line_pointer
;
1758 if (*input_line_pointer
!= ',')
1761 as_bad (_("expected comma after name `%s' in .size directive"), name
);
1763 ignore_rest_of_line ();
1766 input_line_pointer
++;
1768 if (exp
.X_op
== O_absent
)
1770 as_bad (_("missing expression in .size directive"));
1771 exp
.X_op
= O_constant
;
1772 exp
.X_add_number
= 0;
1775 sym
= symbol_find_or_make (name
);
1777 if (exp
.X_op
== O_constant
)
1779 S_SET_SIZE (sym
, exp
.X_add_number
);
1780 if (symbol_get_obj (sym
)->size
)
1782 xfree (symbol_get_obj (sym
)->size
);
1783 symbol_get_obj (sym
)->size
= NULL
;
1788 symbol_get_obj (sym
)->size
=
1789 (expressionS
*) xmalloc (sizeof (expressionS
));
1790 *symbol_get_obj (sym
)->size
= exp
;
1792 demand_empty_rest_of_line ();
1795 /* Handle the ELF .type pseudo-op. This sets the type of a symbol.
1796 There are six syntaxes:
1798 The first (used on Solaris) is
1800 The second (used on UnixWare) is
1802 The third (reportedly to be used on Irix 6.0) is
1804 The fourth (used on NetBSD/Arm and Linux/ARM) is
1806 The fifth (used on SVR4/860) is
1807 .type SYM,"function"
1808 The sixth (emitted by recent SunPRO under Solaris) is
1810 where the integer is the STT_* value.
1814 obj_elf_type_name (char *cp
)
1818 p
= input_line_pointer
;
1819 if (*input_line_pointer
>= '0'
1820 && *input_line_pointer
<= '9')
1822 while (*input_line_pointer
>= '0'
1823 && *input_line_pointer
<= '9')
1824 ++input_line_pointer
;
1825 *cp
= *input_line_pointer
;
1826 *input_line_pointer
= '\0';
1829 *cp
= get_symbol_end ();
1835 obj_elf_type (int ignore ATTRIBUTE_UNUSED
)
1839 const char *type_name
;
1841 elf_symbol_type
*elfsym
;
1843 sym
= get_sym_from_input_line_and_check ();
1844 c
= *input_line_pointer
;
1845 elfsym
= (elf_symbol_type
*) symbol_get_bfdsym (sym
);
1847 if (*input_line_pointer
== ',')
1848 ++input_line_pointer
;
1851 if ( *input_line_pointer
== '#'
1852 || *input_line_pointer
== '@'
1853 || *input_line_pointer
== '"'
1854 || *input_line_pointer
== '%')
1855 ++input_line_pointer
;
1857 type_name
= obj_elf_type_name (& c
);
1860 if (strcmp (type_name
, "function") == 0
1861 || strcmp (type_name
, "2") == 0
1862 || strcmp (type_name
, "STT_FUNC") == 0)
1863 type
= BSF_FUNCTION
;
1864 else if (strcmp (type_name
, "object") == 0
1865 || strcmp (type_name
, "1") == 0
1866 || strcmp (type_name
, "STT_OBJECT") == 0)
1868 else if (strcmp (type_name
, "tls_object") == 0
1869 || strcmp (type_name
, "6") == 0
1870 || strcmp (type_name
, "STT_TLS") == 0)
1871 type
= BSF_OBJECT
| BSF_THREAD_LOCAL
;
1872 else if (strcmp (type_name
, "notype") == 0
1873 || strcmp (type_name
, "0") == 0
1874 || strcmp (type_name
, "STT_NOTYPE") == 0)
1876 else if (strcmp (type_name
, "common") == 0
1877 || strcmp (type_name
, "5") == 0
1878 || strcmp (type_name
, "STT_COMMON") == 0)
1882 if (! S_IS_COMMON (sym
))
1884 if (S_IS_VOLATILE (sym
))
1886 sym
= symbol_clone (sym
, 1);
1887 S_SET_SEGMENT (sym
, bfd_com_section_ptr
);
1888 S_SET_VALUE (sym
, 0);
1889 S_SET_EXTERNAL (sym
);
1890 symbol_set_frag (sym
, &zero_address_frag
);
1891 S_CLEAR_VOLATILE (sym
);
1893 else if (S_IS_DEFINED (sym
) || symbol_equated_p (sym
))
1894 as_bad (_("symbol '%s' is already defined"), S_GET_NAME (sym
));
1897 /* FIXME: Is it safe to just change the section ? */
1898 S_SET_SEGMENT (sym
, bfd_com_section_ptr
);
1899 S_SET_VALUE (sym
, 0);
1900 S_SET_EXTERNAL (sym
);
1904 else if (strcmp (type_name
, "gnu_indirect_function") == 0
1905 || strcmp (type_name
, "10") == 0
1906 || strcmp (type_name
, "STT_GNU_IFUNC") == 0)
1908 const struct elf_backend_data
*bed
;
1910 bed
= get_elf_backend_data (stdoutput
);
1911 if (!(bed
->elf_osabi
== ELFOSABI_GNU
1912 || bed
->elf_osabi
== ELFOSABI_FREEBSD
1913 /* GNU is still using the default value 0. */
1914 || bed
->elf_osabi
== ELFOSABI_NONE
))
1915 as_bad (_("symbol type \"%s\" is supported only by GNU and FreeBSD targets"),
1917 type
= BSF_FUNCTION
| BSF_GNU_INDIRECT_FUNCTION
;
1919 else if (strcmp (type_name
, "gnu_unique_object") == 0)
1921 struct elf_backend_data
*bed
;
1923 bed
= (struct elf_backend_data
*) get_elf_backend_data (stdoutput
);
1924 if (!(bed
->elf_osabi
== ELFOSABI_GNU
1925 /* GNU is still using the default value 0. */
1926 || bed
->elf_osabi
== ELFOSABI_NONE
))
1927 as_bad (_("symbol type \"%s\" is supported only by GNU targets"),
1929 type
= BSF_OBJECT
| BSF_GNU_UNIQUE
;
1930 /* PR 10549: Always set OSABI field to GNU for objects containing unique symbols. */
1931 bed
->elf_osabi
= ELFOSABI_GNU
;
1933 #ifdef md_elf_symbol_type
1934 else if ((type
= md_elf_symbol_type (type_name
, sym
, elfsym
)) != -1)
1938 as_bad (_("unrecognized symbol type \"%s\""), type_name
);
1940 *input_line_pointer
= c
;
1942 if (*input_line_pointer
== '"')
1943 ++input_line_pointer
;
1945 elfsym
->symbol
.flags
|= type
;
1947 demand_empty_rest_of_line ();
1951 obj_elf_ident (int ignore ATTRIBUTE_UNUSED
)
1953 static segT comment_section
;
1954 segT old_section
= now_seg
;
1955 int old_subsection
= now_subseg
;
1957 #ifdef md_flush_pending_output
1958 md_flush_pending_output ();
1961 if (!comment_section
)
1964 comment_section
= subseg_new (".comment", 0);
1965 bfd_set_section_flags (stdoutput
, comment_section
,
1966 SEC_READONLY
| SEC_HAS_CONTENTS
1967 | SEC_MERGE
| SEC_STRINGS
);
1968 comment_section
->entsize
= 1;
1969 #ifdef md_elf_section_change_hook
1970 md_elf_section_change_hook ();
1976 subseg_set (comment_section
, 0);
1978 subseg_set (old_section
, old_subsection
);
1981 #ifdef INIT_STAB_SECTION
1983 /* The first entry in a .stabs section is special. */
1986 obj_elf_init_stab_section (segT seg
)
1991 unsigned int stroff
;
1993 /* Force the section to align to a longword boundary. Without this,
1994 UnixWare ar crashes. */
1995 bfd_set_section_alignment (stdoutput
, seg
, 2);
1997 /* Make space for this first symbol. */
2001 as_where (&file
, NULL
);
2002 stabstr_name
= (char *) xmalloc (strlen (segment_name (seg
)) + 4);
2003 strcpy (stabstr_name
, segment_name (seg
));
2004 strcat (stabstr_name
, "str");
2005 stroff
= get_stab_string_offset (file
, stabstr_name
);
2006 know (stroff
== 1 || (stroff
== 0 && file
[0] == '\0'));
2007 md_number_to_chars (p
, stroff
, 4);
2008 seg_info (seg
)->stabu
.p
= p
;
2013 /* Fill in the counts in the first entry in a .stabs section. */
2016 adjust_stab_sections (bfd
*abfd
, asection
*sec
, void *xxx ATTRIBUTE_UNUSED
)
2023 if (strncmp (".stab", sec
->name
, 5))
2025 if (!strcmp ("str", sec
->name
+ strlen (sec
->name
) - 3))
2028 name
= (char *) alloca (strlen (sec
->name
) + 4);
2029 strcpy (name
, sec
->name
);
2030 strcat (name
, "str");
2031 strsec
= bfd_get_section_by_name (abfd
, name
);
2033 strsz
= bfd_section_size (abfd
, strsec
);
2036 nsyms
= bfd_section_size (abfd
, sec
) / 12 - 1;
2038 p
= seg_info (sec
)->stabu
.p
;
2039 gas_assert (p
!= 0);
2041 bfd_h_put_16 (abfd
, nsyms
, p
+ 6);
2042 bfd_h_put_32 (abfd
, strsz
, p
+ 8);
2045 #ifdef NEED_ECOFF_DEBUG
2047 /* This function is called by the ECOFF code. It is supposed to
2048 record the external symbol information so that the backend can
2049 write it out correctly. The ELF backend doesn't actually handle
2050 this at the moment, so we do it ourselves. We save the information
2053 #ifdef OBJ_MAYBE_ELF
2057 elf_ecoff_set_ext (symbolS
*sym
, struct ecoff_extr
*ext
)
2059 symbol_get_bfdsym (sym
)->udata
.p
= ext
;
2062 /* This function is called by bfd_ecoff_debug_externals. It is
2063 supposed to *EXT to the external symbol information, and return
2064 whether the symbol should be used at all. */
2067 elf_get_extr (asymbol
*sym
, EXTR
*ext
)
2069 if (sym
->udata
.p
== NULL
)
2071 *ext
= *(EXTR
*) sym
->udata
.p
;
2075 /* This function is called by bfd_ecoff_debug_externals. It has
2076 nothing to do for ELF. */
2079 elf_set_index (asymbol
*sym ATTRIBUTE_UNUSED
,
2080 bfd_size_type indx ATTRIBUTE_UNUSED
)
2084 #endif /* NEED_ECOFF_DEBUG */
2087 elf_frob_symbol (symbolS
*symp
, int *puntp
)
2089 struct elf_obj_sy
*sy_obj
;
2092 #ifdef NEED_ECOFF_DEBUG
2093 if (ECOFF_DEBUGGING
)
2094 ecoff_frob_symbol (symp
);
2097 sy_obj
= symbol_get_obj (symp
);
2099 size
= sy_obj
->size
;
2102 if (resolve_expression (size
)
2103 && size
->X_op
== O_constant
)
2104 S_SET_SIZE (symp
, size
->X_add_number
);
2107 if (flag_size_check
== size_check_error
)
2108 as_bad (_(".size expression for %s "
2109 "does not evaluate to a constant"), S_GET_NAME (symp
));
2111 as_warn (_(".size expression for %s "
2112 "does not evaluate to a constant"), S_GET_NAME (symp
));
2114 free (sy_obj
->size
);
2115 sy_obj
->size
= NULL
;
2118 if (sy_obj
->versioned_name
!= NULL
)
2122 p
= strchr (sy_obj
->versioned_name
, ELF_VER_CHR
);
2125 /* This symbol was given a new name with the .symver directive.
2127 If this is an external reference, just rename the symbol to
2128 include the version string. This will make the relocs be
2129 against the correct versioned symbol.
2131 If this is a definition, add an alias. FIXME: Using an alias
2132 will permit the debugging information to refer to the right
2133 symbol. However, it's not clear whether it is the best
2136 if (! S_IS_DEFINED (symp
))
2138 /* Verify that the name isn't using the @@ syntax--this is
2139 reserved for definitions of the default version to link
2141 if (p
[1] == ELF_VER_CHR
)
2143 as_bad (_("invalid attempt to declare external version name as default in symbol `%s'"),
2144 sy_obj
->versioned_name
);
2147 S_SET_NAME (symp
, sy_obj
->versioned_name
);
2151 if (p
[1] == ELF_VER_CHR
&& p
[2] == ELF_VER_CHR
)
2155 /* The @@@ syntax is a special case. It renames the
2156 symbol name to versioned_name with one `@' removed. */
2157 l
= strlen (&p
[3]) + 1;
2158 memmove (&p
[2], &p
[3], l
);
2159 S_SET_NAME (symp
, sy_obj
->versioned_name
);
2165 /* FIXME: Creating a new symbol here is risky. We're
2166 in the final loop over the symbol table. We can
2167 get away with it only because the symbol goes to
2168 the end of the list, where the loop will still see
2169 it. It would probably be better to do this in
2170 obj_frob_file_before_adjust. */
2172 symp2
= symbol_find_or_make (sy_obj
->versioned_name
);
2174 /* Now we act as though we saw symp2 = sym. */
2176 S_SET_SEGMENT (symp2
, S_GET_SEGMENT (symp
));
2178 /* Subtracting out the frag address here is a hack
2179 because we are in the middle of the final loop. */
2182 - symbol_get_frag (symp
)->fr_address
));
2184 symbol_set_frag (symp2
, symbol_get_frag (symp
));
2186 /* This will copy over the size information. */
2187 copy_symbol_attributes (symp2
, symp
);
2189 S_SET_OTHER (symp2
, S_GET_OTHER (symp
));
2191 if (S_IS_WEAK (symp
))
2194 if (S_IS_EXTERNAL (symp
))
2195 S_SET_EXTERNAL (symp2
);
2200 /* Double check weak symbols. */
2201 if (S_IS_WEAK (symp
))
2203 if (S_IS_COMMON (symp
))
2204 as_bad (_("symbol `%s' can not be both weak and common"),
2209 /* The Irix 5 and 6 assemblers set the type of any common symbol and
2210 any undefined non-function symbol to STT_OBJECT. We try to be
2211 compatible, since newer Irix 5 and 6 linkers care. However, we
2212 only set undefined symbols to be STT_OBJECT if we are on Irix,
2213 because that is the only time gcc will generate the necessary
2214 .global directives to mark functions. */
2216 if (S_IS_COMMON (symp
))
2217 symbol_get_bfdsym (symp
)->flags
|= BSF_OBJECT
;
2219 if (strstr (TARGET_OS
, "irix") != NULL
2220 && ! S_IS_DEFINED (symp
)
2221 && (symbol_get_bfdsym (symp
)->flags
& BSF_FUNCTION
) == 0)
2222 symbol_get_bfdsym (symp
)->flags
|= BSF_OBJECT
;
2228 asection
**head
; /* Section lists. */
2229 unsigned int *elt_count
; /* Number of sections in each list. */
2230 unsigned int num_group
; /* Number of lists. */
2231 struct hash_control
*indexes
; /* Maps group name to index in head array. */
2234 /* Called via bfd_map_over_sections. If SEC is a member of a group,
2235 add it to a list of sections belonging to the group. INF is a
2236 pointer to a struct group_list, which is where we store the head of
2240 build_group_lists (bfd
*abfd ATTRIBUTE_UNUSED
, asection
*sec
, void *inf
)
2242 struct group_list
*list
= (struct group_list
*) inf
;
2243 const char *group_name
= elf_group_name (sec
);
2245 unsigned int *elem_idx
;
2246 unsigned int *idx_ptr
;
2248 if (group_name
== NULL
)
2251 /* If this group already has a list, add the section to the head of
2253 elem_idx
= (unsigned int *) hash_find (list
->indexes
, group_name
);
2254 if (elem_idx
!= NULL
)
2256 elf_next_in_group (sec
) = list
->head
[*elem_idx
];
2257 list
->head
[*elem_idx
] = sec
;
2258 list
->elt_count
[*elem_idx
] += 1;
2262 /* New group. Make the arrays bigger in chunks to minimize calls to
2264 i
= list
->num_group
;
2267 unsigned int newsize
= i
+ 128;
2268 list
->head
= (asection
**) xrealloc (list
->head
,
2269 newsize
* sizeof (*list
->head
));
2270 list
->elt_count
= (unsigned int *)
2271 xrealloc (list
->elt_count
, newsize
* sizeof (*list
->elt_count
));
2273 list
->head
[i
] = sec
;
2274 list
->elt_count
[i
] = 1;
2275 list
->num_group
+= 1;
2277 /* Add index to hash. */
2278 idx_ptr
= (unsigned int *) xmalloc (sizeof (unsigned int));
2280 hash_insert (list
->indexes
, group_name
, idx_ptr
);
2283 static void free_section_idx (const char *key ATTRIBUTE_UNUSED
, void *val
)
2285 free ((unsigned int *) val
);
2289 elf_adjust_symtab (void)
2291 struct group_list list
;
2294 /* Go find section groups. */
2297 list
.elt_count
= NULL
;
2298 list
.indexes
= hash_new ();
2299 bfd_map_over_sections (stdoutput
, build_group_lists
, &list
);
2301 /* Make the SHT_GROUP sections that describe each section group. We
2302 can't set up the section contents here yet, because elf section
2303 indices have yet to be calculated. elf.c:set_group_contents does
2304 the rest of the work. */
2305 for (i
= 0; i
< list
.num_group
; i
++)
2307 const char *group_name
= elf_group_name (list
.head
[i
]);
2308 const char *sec_name
;
2314 flags
= SEC_READONLY
| SEC_HAS_CONTENTS
| SEC_IN_MEMORY
| SEC_GROUP
;
2315 for (s
= list
.head
[i
]; s
!= NULL
; s
= elf_next_in_group (s
))
2316 if ((s
->flags
^ flags
) & SEC_LINK_ONCE
)
2318 flags
|= SEC_LINK_ONCE
| SEC_LINK_DUPLICATES_DISCARD
;
2319 if (s
!= list
.head
[i
])
2321 as_warn (_("assuming all members of group `%s' are COMDAT"),
2327 sec_name
= ".group";
2328 s
= subseg_force_new (sec_name
, 0);
2330 || !bfd_set_section_flags (stdoutput
, s
, flags
)
2331 || !bfd_set_section_alignment (stdoutput
, s
, 2))
2333 as_fatal (_("can't create group: %s"),
2334 bfd_errmsg (bfd_get_error ()));
2336 elf_section_type (s
) = SHT_GROUP
;
2338 /* Pass a pointer to the first section in this group. */
2339 elf_next_in_group (s
) = list
.head
[i
];
2340 /* Make sure that the signature symbol for the group has the
2341 name of the group. */
2342 sy
= symbol_find_exact (group_name
);
2344 || (sy
!= symbol_lastP
2345 && (sy
->sy_next
== NULL
2346 || sy
->sy_next
->sy_previous
!= sy
)))
2348 /* Create the symbol now. */
2349 sy
= symbol_new (group_name
, now_seg
, (valueT
) 0, frag_now
);
2351 /* Before Solaris 11 build 154, Sun ld rejects local group
2352 signature symbols, so make them weak hidden instead. */
2353 symbol_get_bfdsym (sy
)->flags
|= BSF_WEAK
;
2354 S_SET_OTHER (sy
, STV_HIDDEN
);
2356 symbol_get_obj (sy
)->local
= 1;
2358 symbol_table_insert (sy
);
2360 elf_group_id (s
) = symbol_get_bfdsym (sy
);
2362 size
= 4 * (list
.elt_count
[i
] + 1);
2363 bfd_set_section_size (stdoutput
, s
, size
);
2364 s
->contents
= (unsigned char *) frag_more (size
);
2365 frag_now
->fr_fix
= frag_now_fix_octets ();
2366 frag_wane (frag_now
);
2370 hash_traverse (list
.indexes
, free_section_idx
);
2371 hash_die (list
.indexes
);
2375 elf_frob_file (void)
2377 bfd_map_over_sections (stdoutput
, adjust_stab_sections
, NULL
);
2379 #ifdef elf_tc_final_processing
2380 elf_tc_final_processing ();
2384 /* It removes any unneeded versioned symbols from the symbol table. */
2387 elf_frob_file_before_adjust (void)
2393 for (symp
= symbol_rootP
; symp
; symp
= symbol_next (symp
))
2394 if (!S_IS_DEFINED (symp
))
2396 if (symbol_get_obj (symp
)->versioned_name
)
2400 /* The @@@ syntax is a special case. If the symbol is
2401 not defined, 2 `@'s will be removed from the
2404 p
= strchr (symbol_get_obj (symp
)->versioned_name
,
2407 if (p
[1] == ELF_VER_CHR
&& p
[2] == ELF_VER_CHR
)
2409 size_t l
= strlen (&p
[3]) + 1;
2410 memmove (&p
[1], &p
[3], l
);
2412 if (symbol_used_p (symp
) == 0
2413 && symbol_used_in_reloc_p (symp
) == 0)
2414 symbol_remove (symp
, &symbol_rootP
, &symbol_lastP
);
2417 /* If there was .weak foo, but foo was neither defined nor
2418 used anywhere, remove it. */
2420 else if (S_IS_WEAK (symp
)
2421 && symbol_used_p (symp
) == 0
2422 && symbol_used_in_reloc_p (symp
) == 0)
2423 symbol_remove (symp
, &symbol_rootP
, &symbol_lastP
);
2428 /* It is required that we let write_relocs have the opportunity to
2429 optimize away fixups before output has begun, since it is possible
2430 to eliminate all fixups for a section and thus we never should
2431 have generated the relocation section. */
2434 elf_frob_file_after_relocs (void)
2436 #ifdef NEED_ECOFF_DEBUG
2437 if (ECOFF_DEBUGGING
)
2438 /* Generate the ECOFF debugging information. */
2440 const struct ecoff_debug_swap
*debug_swap
;
2441 struct ecoff_debug_info debug
;
2446 = get_elf_backend_data (stdoutput
)->elf_backend_ecoff_debug_swap
;
2447 know (debug_swap
!= NULL
);
2448 ecoff_build_debug (&debug
.symbolic_header
, &buf
, debug_swap
);
2450 /* Set up the pointers in debug. */
2451 #define SET(ptr, offset, type) \
2452 debug.ptr = (type) (buf + debug.symbolic_header.offset)
2454 SET (line
, cbLineOffset
, unsigned char *);
2455 SET (external_dnr
, cbDnOffset
, void *);
2456 SET (external_pdr
, cbPdOffset
, void *);
2457 SET (external_sym
, cbSymOffset
, void *);
2458 SET (external_opt
, cbOptOffset
, void *);
2459 SET (external_aux
, cbAuxOffset
, union aux_ext
*);
2460 SET (ss
, cbSsOffset
, char *);
2461 SET (external_fdr
, cbFdOffset
, void *);
2462 SET (external_rfd
, cbRfdOffset
, void *);
2463 /* ssext and external_ext are set up just below. */
2467 /* Set up the external symbols. */
2468 debug
.ssext
= debug
.ssext_end
= NULL
;
2469 debug
.external_ext
= debug
.external_ext_end
= NULL
;
2470 if (! bfd_ecoff_debug_externals (stdoutput
, &debug
, debug_swap
, TRUE
,
2471 elf_get_extr
, elf_set_index
))
2472 as_fatal (_("failed to set up debugging information: %s"),
2473 bfd_errmsg (bfd_get_error ()));
2475 sec
= bfd_get_section_by_name (stdoutput
, ".mdebug");
2476 gas_assert (sec
!= NULL
);
2478 know (!stdoutput
->output_has_begun
);
2480 /* We set the size of the section, call bfd_set_section_contents
2481 to force the ELF backend to allocate a file position, and then
2482 write out the data. FIXME: Is this really the best way to do
2484 bfd_set_section_size
2485 (stdoutput
, sec
, bfd_ecoff_debug_size (stdoutput
, &debug
, debug_swap
));
2487 /* Pass BUF to bfd_set_section_contents because this will
2488 eventually become a call to fwrite, and ISO C prohibits
2489 passing a NULL pointer to a stdio function even if the
2490 pointer will not be used. */
2491 if (! bfd_set_section_contents (stdoutput
, sec
, buf
, 0, 0))
2492 as_fatal (_("can't start writing .mdebug section: %s"),
2493 bfd_errmsg (bfd_get_error ()));
2495 know (stdoutput
->output_has_begun
);
2496 know (sec
->filepos
!= 0);
2498 if (! bfd_ecoff_write_debug (stdoutput
, &debug
, debug_swap
,
2500 as_fatal (_("could not write .mdebug section: %s"),
2501 bfd_errmsg (bfd_get_error ()));
2503 #endif /* NEED_ECOFF_DEBUG */
2508 /* Heavily plagiarized from obj_elf_version. The idea is to emit the
2509 SCO specific identifier in the .notes section to satisfy the SCO
2512 This looks more complicated than it really is. As opposed to the
2513 "obvious" solution, this should handle the cross dev cases
2514 correctly. (i.e, hosting on a 64 bit big endian processor, but
2515 generating SCO Elf code) Efficiency isn't a concern, as there
2516 should be exactly one of these sections per object module.
2518 SCO OpenServer 5 identifies it's ELF modules with a standard ELF
2521 int_32 namesz = 4 ; Name size
2522 int_32 descsz = 12 ; Descriptive information
2524 char name[4] = "SCO" ; Originator name ALWAYS SCO + NULL
2525 int_32 version = (major ver # << 16) | version of tools ;
2526 int_32 source = (tool_id << 16 ) | 1 ;
2527 int_32 info = 0 ; These are set by the SCO tools, but we
2528 don't know enough about the source
2529 environment to set them. SCO ld currently
2530 ignores them, and recommends we set them
2533 #define SCO_MAJOR_VERSION 0x1
2534 #define SCO_MINOR_VERSION 0x1
2544 asection
*seg
= now_seg
;
2545 subsegT subseg
= now_subseg
;
2546 Elf_Internal_Note i_note
;
2547 Elf_External_Note e_note
;
2548 asection
*note_secp
= NULL
;
2551 /* create the .note section */
2553 note_secp
= subseg_new (".note", 0);
2554 bfd_set_section_flags (stdoutput
,
2556 SEC_HAS_CONTENTS
| SEC_READONLY
);
2558 /* process the version string */
2561 i_note
.descsz
= 12; /* 12 descriptive bytes */
2562 i_note
.type
= NT_VERSION
; /* Contains a version string */
2564 p
= frag_more (sizeof (i_note
.namesz
));
2565 md_number_to_chars (p
, i_note
.namesz
, 4);
2567 p
= frag_more (sizeof (i_note
.descsz
));
2568 md_number_to_chars (p
, i_note
.descsz
, 4);
2570 p
= frag_more (sizeof (i_note
.type
));
2571 md_number_to_chars (p
, i_note
.type
, 4);
2576 /* Note: this is the version number of the ELF we're representing */
2578 md_number_to_chars (p
, (SCO_MAJOR_VERSION
<< 16) | (SCO_MINOR_VERSION
), 4);
2580 /* Here, we pick a magic number for ourselves (yes, I "registered"
2581 it with SCO. The bottom bit shows that we are compat with the
2584 md_number_to_chars (p
, 0x4c520000 | 0x0001, 4);
2586 /* If we knew (or cared) what the source language options were, we'd
2587 fill them in here. SCO has given us permission to ignore these
2588 and just set them to zero. */
2590 md_number_to_chars (p
, 0x0000, 4);
2592 frag_align (2, 0, 0);
2594 /* We probably can't restore the current segment, for there likely
2597 subseg_set (seg
, subseg
);
2601 #endif /* SCO_ELF */
2604 elf_generate_asm_lineno (void)
2606 #ifdef NEED_ECOFF_DEBUG
2607 if (ECOFF_DEBUGGING
)
2608 ecoff_generate_asm_lineno ();
2613 elf_process_stab (segT sec ATTRIBUTE_UNUSED
,
2614 int what ATTRIBUTE_UNUSED
,
2615 const char *string ATTRIBUTE_UNUSED
,
2616 int type ATTRIBUTE_UNUSED
,
2617 int other ATTRIBUTE_UNUSED
,
2618 int desc ATTRIBUTE_UNUSED
)
2620 #ifdef NEED_ECOFF_DEBUG
2621 if (ECOFF_DEBUGGING
)
2622 ecoff_stab (sec
, what
, string
, type
, other
, desc
);
2627 elf_separate_stab_sections (void)
2629 #ifdef NEED_ECOFF_DEBUG
2630 return (!ECOFF_DEBUGGING
);
2637 elf_init_stab_section (segT seg
)
2639 #ifdef NEED_ECOFF_DEBUG
2640 if (!ECOFF_DEBUGGING
)
2642 obj_elf_init_stab_section (seg
);
2645 const struct format_ops elf_format_ops
=
2647 bfd_target_elf_flavour
,
2648 0, /* dfl_leading_underscore */
2649 1, /* emit_section_symbols */
2654 elf_frob_file_before_adjust
,
2655 0, /* obj_frob_file_before_fix */
2656 elf_frob_file_after_relocs
,
2657 elf_s_get_size
, elf_s_set_size
,
2658 elf_s_get_align
, elf_s_set_align
,
2665 elf_copy_symbol_attributes
,
2666 elf_generate_asm_lineno
,
2668 elf_separate_stab_sections
,
2669 elf_init_stab_section
,
2670 elf_sec_sym_ok_for_reloc
,
2672 #ifdef NEED_ECOFF_DEBUG
2675 0, /* ecoff_set_ext */
2677 elf_obj_read_begin_hook
,
2678 elf_obj_symbol_new_hook
,