Add option -mfence-as-lock-add=[no|yes].
[deliverable/binutils-gdb.git] / gas / config / obj-elf.c
1 /* ELF object file format
2 Copyright (C) 1992-2016 Free Software Foundation, Inc.
3
4 This file is part of GAS, the GNU Assembler.
5
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.
10
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.
15
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
19 02110-1301, USA. */
20
21 #define OBJ_HEADER "obj-elf.h"
22 #include "as.h"
23 #include "safe-ctype.h"
24 #include "subsegs.h"
25 #include "obstack.h"
26 #include "struc-symbol.h"
27 #include "dwarf2dbg.h"
28
29 #ifndef ECOFF_DEBUGGING
30 #define ECOFF_DEBUGGING 0
31 #else
32 #define NEED_ECOFF_DEBUG
33 #endif
34
35 #ifdef NEED_ECOFF_DEBUG
36 #include "ecoff.h"
37 #endif
38
39 #ifdef TC_ALPHA
40 #include "elf/alpha.h"
41 #endif
42
43 #ifdef TC_MIPS
44 #include "elf/mips.h"
45 #endif
46
47 #ifdef TC_PPC
48 #include "elf/ppc.h"
49 #endif
50
51 #ifdef TC_I370
52 #include "elf/i370.h"
53 #endif
54
55 #ifdef TC_I386
56 #include "elf/x86-64.h"
57 #endif
58
59 #ifdef TC_MEP
60 #include "elf/mep.h"
61 #endif
62
63 #ifdef TC_NIOS2
64 #include "elf/nios2.h"
65 #endif
66
67 #ifdef TC_ARM
68 #include "elf/arm.h"
69 #endif
70
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);
85
86 static const pseudo_typeS elf_pseudo_table[] =
87 {
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},
104
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},
109
110 /* These are used for stabs-in-elf configurations. */
111 {"line", obj_elf_line, 0},
112
113 /* This is a GNU extension to handle symbol versions. */
114 {"symver", obj_elf_symver, 0},
115
116 /* A GNU extension to change subsection only. */
117 {"subsection", obj_elf_subsection, 0},
118
119 /* These are GNU extensions to aid in garbage collecting C++ vtables. */
120 {"vtable_inherit", (void (*) (int)) &obj_elf_vtable_inherit, 0},
121 {"vtable_entry", (void (*) (int)) &obj_elf_vtable_entry, 0},
122
123 /* A GNU extension for object attributes. */
124 {"gnu_attribute", obj_elf_gnu_attribute, 0},
125
126 /* These are used for dwarf. */
127 {"2byte", cons, 2},
128 {"4byte", cons, 4},
129 {"8byte", cons, 8},
130 /* These are used for dwarf2. */
131 { "file", (void (*) (int)) dwarf2_directive_file, 0 },
132 { "loc", dwarf2_directive_loc, 0 },
133 { "loc_mark_labels", dwarf2_directive_loc_mark_labels, 0 },
134
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},
140
141 {"tls_common", obj_elf_tls_common, 0},
142
143 /* End sentinel. */
144 {NULL, NULL, 0},
145 };
146
147 static const pseudo_typeS ecoff_debug_pseudo_table[] =
148 {
149 #ifdef NEED_ECOFF_DEBUG
150 /* COFF style debugging information for ECOFF. .ln is not used; .loc
151 is used instead. */
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 },
159
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 },
165
166 /* ECOFF specific debugging information. */
167 { "begin", ecoff_directive_begin, 0 },
168 { "bend", ecoff_directive_bend, 0 },
169 { "end", ecoff_directive_end, 0 },
170 { "ent", ecoff_directive_ent, 0 },
171 { "fmask", ecoff_directive_fmask, 0 },
172 { "frame", ecoff_directive_frame, 0 },
173 { "loc", ecoff_directive_loc, 0 },
174 { "mask", ecoff_directive_mask, 0 },
175
176 /* Other ECOFF directives. */
177 { "extern", ecoff_directive_extern, 0 },
178
179 /* These are used on Irix. I don't know how to implement them. */
180 { "alias", s_ignore, 0 },
181 { "bgnb", s_ignore, 0 },
182 { "endb", s_ignore, 0 },
183 { "lab", s_ignore, 0 },
184 { "noalias", s_ignore, 0 },
185 { "verstamp", s_ignore, 0 },
186 { "vreg", s_ignore, 0 },
187 #endif
188
189 {NULL, NULL, 0} /* end sentinel */
190 };
191
192 #undef NO_RELOC
193 #include "aout/aout64.h"
194
195 /* This is called when the assembler starts. */
196
197 asection *elf_com_section_ptr;
198
199 void
200 elf_begin (void)
201 {
202 asection *s;
203
204 /* Add symbols for the known sections to the symbol table. */
205 s = bfd_get_section_by_name (stdoutput, TEXT_SECTION_NAME);
206 symbol_table_insert (section_symbol (s));
207 s = bfd_get_section_by_name (stdoutput, DATA_SECTION_NAME);
208 symbol_table_insert (section_symbol (s));
209 s = bfd_get_section_by_name (stdoutput, BSS_SECTION_NAME);
210 symbol_table_insert (section_symbol (s));
211 elf_com_section_ptr = bfd_com_section_ptr;
212 }
213
214 void
215 elf_pop_insert (void)
216 {
217 pop_insert (elf_pseudo_table);
218 if (ECOFF_DEBUGGING)
219 pop_insert (ecoff_debug_pseudo_table);
220 }
221
222 static bfd_vma
223 elf_s_get_size (symbolS *sym)
224 {
225 return S_GET_SIZE (sym);
226 }
227
228 static void
229 elf_s_set_size (symbolS *sym, bfd_vma sz)
230 {
231 S_SET_SIZE (sym, sz);
232 }
233
234 static bfd_vma
235 elf_s_get_align (symbolS *sym)
236 {
237 return S_GET_ALIGN (sym);
238 }
239
240 static void
241 elf_s_set_align (symbolS *sym, bfd_vma align)
242 {
243 S_SET_ALIGN (sym, align);
244 }
245
246 int
247 elf_s_get_other (symbolS *sym)
248 {
249 return elf_symbol (symbol_get_bfdsym (sym))->internal_elf_sym.st_other;
250 }
251
252 static void
253 elf_s_set_other (symbolS *sym, int other)
254 {
255 S_SET_OTHER (sym, other);
256 }
257
258 static int
259 elf_sec_sym_ok_for_reloc (asection *sec)
260 {
261 return obj_sec_sym_ok_for_reloc (sec);
262 }
263
264 void
265 elf_file_symbol (const char *s, int appfile)
266 {
267 if (!appfile
268 || symbol_rootP == NULL
269 || symbol_rootP->bsym == NULL
270 || (symbol_rootP->bsym->flags & BSF_FILE) == 0)
271 {
272 symbolS *sym;
273 size_t name_length;
274
275 sym = symbol_new (s, absolute_section, 0, NULL);
276 symbol_set_frag (sym, &zero_address_frag);
277
278 name_length = strlen (s);
279 if (name_length > strlen (S_GET_NAME (sym)))
280 {
281 obstack_grow (&notes, s, name_length + 1);
282 S_SET_NAME (sym, (const char *) obstack_finish (&notes));
283 }
284 else
285 strcpy ((char *) S_GET_NAME (sym), s);
286
287 symbol_get_bfdsym (sym)->flags |= BSF_FILE;
288
289 if (symbol_rootP != sym
290 && (symbol_rootP->bsym == NULL
291 || !(symbol_rootP->bsym->flags & BSF_FILE)))
292 {
293 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
294 symbol_insert (sym, symbol_rootP, &symbol_rootP, &symbol_lastP);
295 }
296
297 #ifdef DEBUG
298 verify_symbol_chain (symbol_rootP, symbol_lastP);
299 #endif
300 }
301
302 #ifdef NEED_ECOFF_DEBUG
303 ecoff_new_file (s, appfile);
304 #endif
305 }
306
307 /* Called from read.c:s_comm after we've parsed .comm symbol, size.
308 Parse a possible alignment value. */
309
310 symbolS *
311 elf_common_parse (int ignore ATTRIBUTE_UNUSED, symbolS *symbolP, addressT size)
312 {
313 addressT align = 0;
314 int is_local = symbol_get_obj (symbolP)->local;
315
316 if (*input_line_pointer == ',')
317 {
318 char *save = input_line_pointer;
319
320 input_line_pointer++;
321 SKIP_WHITESPACE ();
322
323 if (*input_line_pointer == '"')
324 {
325 /* For sparc. Accept .common symbol, length, "bss" */
326 input_line_pointer++;
327 /* Some use the dot, some don't. */
328 if (*input_line_pointer == '.')
329 input_line_pointer++;
330 /* Some say data, some say bss. */
331 if (strncmp (input_line_pointer, "bss\"", 4) == 0)
332 input_line_pointer += 4;
333 else if (strncmp (input_line_pointer, "data\"", 5) == 0)
334 input_line_pointer += 5;
335 else
336 {
337 char *p = input_line_pointer;
338 char c;
339
340 while (*--p != '"')
341 ;
342 while (!is_end_of_line[(unsigned char) *input_line_pointer])
343 if (*input_line_pointer++ == '"')
344 break;
345 c = *input_line_pointer;
346 *input_line_pointer = '\0';
347 as_bad (_("bad .common segment %s"), p);
348 *input_line_pointer = c;
349 ignore_rest_of_line ();
350 return NULL;
351 }
352 /* ??? Don't ask me why these are always global. */
353 is_local = 0;
354 }
355 else
356 {
357 input_line_pointer = save;
358 align = parse_align (is_local);
359 if (align == (addressT) -1)
360 return NULL;
361 }
362 }
363
364 if (is_local)
365 {
366 bss_alloc (symbolP, size, align);
367 S_CLEAR_EXTERNAL (symbolP);
368 }
369 else
370 {
371 S_SET_VALUE (symbolP, size);
372 S_SET_ALIGN (symbolP, align);
373 S_SET_EXTERNAL (symbolP);
374 S_SET_SEGMENT (symbolP, elf_com_section_ptr);
375 }
376
377 symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
378
379 return symbolP;
380 }
381
382 void
383 obj_elf_common (int is_common)
384 {
385 if (flag_mri && is_common)
386 s_mri_common (0);
387 else
388 s_comm_internal (0, elf_common_parse);
389 }
390
391 static void
392 obj_elf_tls_common (int ignore ATTRIBUTE_UNUSED)
393 {
394 symbolS *symbolP = s_comm_internal (0, elf_common_parse);
395
396 if (symbolP)
397 symbol_get_bfdsym (symbolP)->flags |= BSF_THREAD_LOCAL;
398 }
399
400 static void
401 obj_elf_lcomm (int ignore ATTRIBUTE_UNUSED)
402 {
403 symbolS *symbolP = s_comm_internal (0, s_lcomm_internal);
404
405 if (symbolP)
406 symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
407 }
408
409 static symbolS *
410 get_sym_from_input_line_and_check (void)
411 {
412 char *name;
413 char c;
414 symbolS *sym;
415
416 c = get_symbol_name (& name);
417 sym = symbol_find_or_make (name);
418 *input_line_pointer = c;
419 SKIP_WHITESPACE_AFTER_NAME ();
420
421 /* There is no symbol name if input_line_pointer has not moved. */
422 if (name == input_line_pointer)
423 as_bad (_("Missing symbol name in directive"));
424 return sym;
425 }
426
427 static void
428 obj_elf_local (int ignore ATTRIBUTE_UNUSED)
429 {
430 int c;
431 symbolS *symbolP;
432
433 do
434 {
435 symbolP = get_sym_from_input_line_and_check ();
436 c = *input_line_pointer;
437 S_CLEAR_EXTERNAL (symbolP);
438 symbol_get_obj (symbolP)->local = 1;
439 if (c == ',')
440 {
441 input_line_pointer++;
442 SKIP_WHITESPACE ();
443 if (*input_line_pointer == '\n')
444 c = '\n';
445 }
446 }
447 while (c == ',');
448 demand_empty_rest_of_line ();
449 }
450
451 static void
452 obj_elf_weak (int ignore ATTRIBUTE_UNUSED)
453 {
454 int c;
455 symbolS *symbolP;
456
457 do
458 {
459 symbolP = get_sym_from_input_line_and_check ();
460 c = *input_line_pointer;
461 S_SET_WEAK (symbolP);
462 if (c == ',')
463 {
464 input_line_pointer++;
465 SKIP_WHITESPACE ();
466 if (*input_line_pointer == '\n')
467 c = '\n';
468 }
469 }
470 while (c == ',');
471 demand_empty_rest_of_line ();
472 }
473
474 static void
475 obj_elf_visibility (int visibility)
476 {
477 int c;
478 symbolS *symbolP;
479 asymbol *bfdsym;
480 elf_symbol_type *elfsym;
481
482 do
483 {
484 symbolP = get_sym_from_input_line_and_check ();
485
486 bfdsym = symbol_get_bfdsym (symbolP);
487 elfsym = elf_symbol_from (bfd_asymbol_bfd (bfdsym), bfdsym);
488
489 gas_assert (elfsym);
490
491 elfsym->internal_elf_sym.st_other &= ~3;
492 elfsym->internal_elf_sym.st_other |= visibility;
493
494 c = *input_line_pointer;
495 if (c == ',')
496 {
497 input_line_pointer ++;
498
499 SKIP_WHITESPACE ();
500
501 if (*input_line_pointer == '\n')
502 c = '\n';
503 }
504 }
505 while (c == ',');
506
507 demand_empty_rest_of_line ();
508 }
509
510 static segT previous_section;
511 static int previous_subsection;
512
513 struct section_stack
514 {
515 struct section_stack *next;
516 segT seg, prev_seg;
517 int subseg, prev_subseg;
518 };
519
520 static struct section_stack *section_stack;
521
522 static bfd_boolean
523 get_section (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *inf)
524 {
525 const char *gname = (const char *) inf;
526 const char *group_name = elf_group_name (sec);
527
528 return (group_name == gname
529 || (group_name != NULL
530 && gname != NULL
531 && strcmp (group_name, gname) == 0));
532 }
533
534 /* Handle the .section pseudo-op. This code supports two different
535 syntaxes.
536
537 The first is found on Solaris, and looks like
538 .section ".sec1",#alloc,#execinstr,#write
539 Here the names after '#' are the SHF_* flags to turn on for the
540 section. I'm not sure how it determines the SHT_* type (BFD
541 doesn't really give us control over the type, anyhow).
542
543 The second format is found on UnixWare, and probably most SVR4
544 machines, and looks like
545 .section .sec1,"a",@progbits
546 The quoted string may contain any combination of a, w, x, and
547 represents the SHF_* flags to turn on for the section. The string
548 beginning with '@' can be progbits or nobits. There should be
549 other possibilities, but I don't know what they are. In any case,
550 BFD doesn't really let us set the section type. */
551
552 void
553 obj_elf_change_section (const char *name,
554 int type,
555 bfd_vma attr,
556 int entsize,
557 const char *group_name,
558 int linkonce,
559 int push)
560 {
561 asection *old_sec;
562 segT sec;
563 flagword flags;
564 const struct elf_backend_data *bed;
565 const struct bfd_elf_special_section *ssect;
566
567 #ifdef md_flush_pending_output
568 md_flush_pending_output ();
569 #endif
570
571 /* Switch to the section, creating it if necessary. */
572 if (push)
573 {
574 struct section_stack *elt;
575 elt = (struct section_stack *) xmalloc (sizeof (struct section_stack));
576 elt->next = section_stack;
577 elt->seg = now_seg;
578 elt->prev_seg = previous_section;
579 elt->subseg = now_subseg;
580 elt->prev_subseg = previous_subsection;
581 section_stack = elt;
582 }
583 previous_section = now_seg;
584 previous_subsection = now_subseg;
585
586 old_sec = bfd_get_section_by_name_if (stdoutput, name, get_section,
587 (void *) group_name);
588 if (old_sec)
589 {
590 sec = old_sec;
591 subseg_set (sec, 0);
592 }
593 else
594 sec = subseg_force_new (name, 0);
595
596 bed = get_elf_backend_data (stdoutput);
597 ssect = (*bed->get_sec_type_attr) (stdoutput, sec);
598
599 if (ssect != NULL)
600 {
601 bfd_boolean override = FALSE;
602
603 if (type == SHT_NULL)
604 type = ssect->type;
605 else if (type != ssect->type)
606 {
607 if (old_sec == NULL
608 /* Some older versions of gcc will emit
609
610 .section .init_array,"aw",@progbits
611
612 for __attribute__ ((section (".init_array"))).
613 "@progbits" is incorrect. Also for x86-64 large bss
614 sections, some older versions of gcc will emit
615
616 .section .lbss,"aw",@progbits
617
618 "@progbits" is incorrect. */
619 #ifdef TC_I386
620 && (bed->s->arch_size != 64
621 || !(ssect->attr & SHF_X86_64_LARGE))
622 #endif
623 && ssect->type != SHT_INIT_ARRAY
624 && ssect->type != SHT_FINI_ARRAY
625 && ssect->type != SHT_PREINIT_ARRAY)
626 {
627 /* We allow to specify any type for a .note section. */
628 if (ssect->type != SHT_NOTE)
629 as_warn (_("setting incorrect section type for %s"),
630 name);
631 }
632 else
633 {
634 as_warn (_("ignoring incorrect section type for %s"),
635 name);
636 type = ssect->type;
637 }
638 }
639
640 if (old_sec == NULL && (attr & ~ssect->attr) != 0)
641 {
642 /* As a GNU extension, we permit a .note section to be
643 allocatable. If the linker sees an allocatable .note
644 section, it will create a PT_NOTE segment in the output
645 file. We also allow "x" for .note.GNU-stack. */
646 if (ssect->type == SHT_NOTE
647 && (attr == SHF_ALLOC || attr == SHF_EXECINSTR))
648 ;
649 /* Allow different SHF_MERGE and SHF_STRINGS if we have
650 something like .rodata.str. */
651 else if (ssect->suffix_length == -2
652 && name[ssect->prefix_length] == '.'
653 && (attr
654 & ~ssect->attr
655 & ~SHF_MERGE
656 & ~SHF_STRINGS) == 0)
657 ;
658 /* .interp, .strtab and .symtab can have SHF_ALLOC. */
659 else if (attr == SHF_ALLOC
660 && (strcmp (name, ".interp") == 0
661 || strcmp (name, ".strtab") == 0
662 || strcmp (name, ".symtab") == 0))
663 override = TRUE;
664 /* .note.GNU-stack can have SHF_EXECINSTR. */
665 else if (attr == SHF_EXECINSTR
666 && strcmp (name, ".note.GNU-stack") == 0)
667 override = TRUE;
668 #ifdef TC_ALPHA
669 /* A section on Alpha may have SHF_ALPHA_GPREL. */
670 else if ((attr & ~ssect->attr) == SHF_ALPHA_GPREL)
671 override = TRUE;
672 #endif
673 #ifdef TC_RX
674 else if (attr == (SHF_EXECINSTR | SHF_WRITE | SHF_ALLOC)
675 && (ssect->type == SHT_INIT_ARRAY
676 || ssect->type == SHT_FINI_ARRAY
677 || ssect->type == SHT_PREINIT_ARRAY))
678 /* RX init/fini arrays can and should have the "awx" attributes set. */
679 ;
680 #endif
681 #ifdef TC_ARM
682 else if (attr == (SHF_EXECINSTR | SHF_ARM_NOREAD | SHF_ALLOC))
683 /* ARM can have code section with SHF_ARM_NOREAD attribute. */
684 ;
685 #endif
686 else
687 {
688 if (group_name == NULL)
689 as_warn (_("setting incorrect section attributes for %s"),
690 name);
691 override = TRUE;
692 }
693 }
694 if (!override && old_sec == NULL)
695 attr |= ssect->attr;
696 }
697
698 /* Convert ELF type and flags to BFD flags. */
699 flags = (SEC_RELOC
700 | ((attr & SHF_WRITE) ? 0 : SEC_READONLY)
701 | ((attr & SHF_ALLOC) ? SEC_ALLOC : 0)
702 | (((attr & SHF_ALLOC) && type != SHT_NOBITS) ? SEC_LOAD : 0)
703 | ((attr & SHF_EXECINSTR) ? SEC_CODE : 0)
704 | ((attr & SHF_MERGE) ? SEC_MERGE : 0)
705 | ((attr & SHF_STRINGS) ? SEC_STRINGS : 0)
706 | ((attr & SHF_EXCLUDE) ? SEC_EXCLUDE: 0)
707 | ((attr & SHF_TLS) ? SEC_THREAD_LOCAL : 0));
708 #ifdef md_elf_section_flags
709 flags = md_elf_section_flags (flags, attr, type);
710 #endif
711
712 if (linkonce)
713 flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD;
714
715 if (old_sec == NULL)
716 {
717 symbolS *secsym;
718
719 if (type == SHT_NULL)
720 type = bfd_elf_get_default_section_type (flags);
721 elf_section_type (sec) = type;
722 elf_section_flags (sec) = attr;
723
724 /* Prevent SEC_HAS_CONTENTS from being inadvertently set. */
725 if (type == SHT_NOBITS)
726 seg_info (sec)->bss = 1;
727
728 bfd_set_section_flags (stdoutput, sec, flags);
729 if (flags & SEC_MERGE)
730 sec->entsize = entsize;
731 elf_group_name (sec) = group_name;
732
733 /* Add a symbol for this section to the symbol table. */
734 secsym = symbol_find (name);
735 if (secsym != NULL)
736 symbol_set_bfdsym (secsym, sec->symbol);
737 else
738 symbol_table_insert (section_symbol (sec));
739 }
740 else
741 {
742 if (type != SHT_NULL
743 && (unsigned) type != elf_section_type (old_sec))
744 as_warn (_("ignoring changed section type for %s"), name);
745
746 if (attr != 0)
747 {
748 /* If section attributes are specified the second time we see a
749 particular section, then check that they are the same as we
750 saw the first time. */
751 if (((old_sec->flags ^ flags)
752 & (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE
753 | SEC_EXCLUDE | SEC_SORT_ENTRIES | SEC_MERGE | SEC_STRINGS
754 | SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD
755 | SEC_THREAD_LOCAL)))
756 as_warn (_("ignoring changed section attributes for %s"), name);
757 if ((flags & SEC_MERGE) && old_sec->entsize != (unsigned) entsize)
758 as_warn (_("ignoring changed section entity size for %s"), name);
759 }
760 }
761
762 #ifdef md_elf_section_change_hook
763 md_elf_section_change_hook ();
764 #endif
765 }
766
767 static bfd_vma
768 obj_elf_parse_section_letters (char *str, size_t len, bfd_boolean *is_clone)
769 {
770 bfd_vma attr = 0;
771 *is_clone = FALSE;
772
773 while (len > 0)
774 {
775 switch (*str)
776 {
777 case 'a':
778 attr |= SHF_ALLOC;
779 break;
780 case 'e':
781 attr |= SHF_EXCLUDE;
782 break;
783 case 'w':
784 attr |= SHF_WRITE;
785 break;
786 case 'x':
787 attr |= SHF_EXECINSTR;
788 break;
789 case 'M':
790 attr |= SHF_MERGE;
791 break;
792 case 'S':
793 attr |= SHF_STRINGS;
794 break;
795 case 'G':
796 attr |= SHF_GROUP;
797 break;
798 case 'T':
799 attr |= SHF_TLS;
800 break;
801 case '?':
802 *is_clone = TRUE;
803 break;
804 /* Compatibility. */
805 case 'm':
806 if (*(str - 1) == 'a')
807 {
808 attr |= SHF_MERGE;
809 if (len > 1 && str[1] == 's')
810 {
811 attr |= SHF_STRINGS;
812 str++, len--;
813 }
814 break;
815 }
816 default:
817 {
818 char *bad_msg = _("unrecognized .section attribute: want a,e,w,x,M,S,G,T");
819 #ifdef md_elf_section_letter
820 bfd_vma md_attr = md_elf_section_letter (*str, &bad_msg);
821 if (md_attr != (bfd_vma) -1)
822 attr |= md_attr;
823 else
824 #endif
825 as_fatal ("%s", bad_msg);
826 }
827 break;
828 }
829 str++, len--;
830 }
831
832 return attr;
833 }
834
835 static int
836 obj_elf_section_type (char *str, size_t len, bfd_boolean warn)
837 {
838 if (len == 8 && strncmp (str, "progbits", 8) == 0)
839 return SHT_PROGBITS;
840 if (len == 6 && strncmp (str, "nobits", 6) == 0)
841 return SHT_NOBITS;
842 if (len == 4 && strncmp (str, "note", 4) == 0)
843 return SHT_NOTE;
844 if (len == 10 && strncmp (str, "init_array", 10) == 0)
845 return SHT_INIT_ARRAY;
846 if (len == 10 && strncmp (str, "fini_array", 10) == 0)
847 return SHT_FINI_ARRAY;
848 if (len == 13 && strncmp (str, "preinit_array", 13) == 0)
849 return SHT_PREINIT_ARRAY;
850
851 #ifdef md_elf_section_type
852 {
853 int md_type = md_elf_section_type (str, len);
854 if (md_type >= 0)
855 return md_type;
856 }
857 #endif
858
859 if (warn)
860 as_warn (_("unrecognized section type"));
861 return 0;
862 }
863
864 static bfd_vma
865 obj_elf_section_word (char *str, size_t len, int *type)
866 {
867 int ret;
868
869 if (len == 5 && strncmp (str, "write", 5) == 0)
870 return SHF_WRITE;
871 if (len == 5 && strncmp (str, "alloc", 5) == 0)
872 return SHF_ALLOC;
873 if (len == 9 && strncmp (str, "execinstr", 9) == 0)
874 return SHF_EXECINSTR;
875 if (len == 7 && strncmp (str, "exclude", 7) == 0)
876 return SHF_EXCLUDE;
877 if (len == 3 && strncmp (str, "tls", 3) == 0)
878 return SHF_TLS;
879
880 #ifdef md_elf_section_word
881 {
882 bfd_vma md_attr = md_elf_section_word (str, len);
883 if (md_attr > 0)
884 return md_attr;
885 }
886 #endif
887
888 ret = obj_elf_section_type (str, len, FALSE);
889 if (ret != 0)
890 *type = ret;
891 else
892 as_warn (_("unrecognized section attribute"));
893
894 return 0;
895 }
896
897 /* Get name of section. */
898 char *
899 obj_elf_section_name (void)
900 {
901 char *name;
902
903 SKIP_WHITESPACE ();
904 if (*input_line_pointer == '"')
905 {
906 int dummy;
907
908 name = demand_copy_C_string (&dummy);
909 if (name == NULL)
910 {
911 ignore_rest_of_line ();
912 return NULL;
913 }
914 }
915 else
916 {
917 char *end = input_line_pointer;
918
919 while (0 == strchr ("\n\t,; ", *end))
920 end++;
921 if (end == input_line_pointer)
922 {
923 as_bad (_("missing name"));
924 ignore_rest_of_line ();
925 return NULL;
926 }
927
928 name = (char *) xmalloc (end - input_line_pointer + 1);
929 memcpy (name, input_line_pointer, end - input_line_pointer);
930 name[end - input_line_pointer] = '\0';
931
932 while (flag_sectname_subst)
933 {
934 char *subst = strchr (name, '%');
935 if (subst && subst[1] == 'S')
936 {
937 int oldlen = strlen (name);
938 int substlen = strlen (now_seg->name);
939 int newlen = oldlen - 2 + substlen;
940 char *newname = (char *) xmalloc (newlen + 1);
941 int headlen = subst - name;
942 memcpy (newname, name, headlen);
943 strcpy (newname + headlen, now_seg->name);
944 strcat (newname + headlen, subst + 2);
945 xfree (name);
946 name = newname;
947 }
948 else
949 break;
950 }
951
952 #ifdef tc_canonicalize_section_name
953 name = tc_canonicalize_section_name (name);
954 #endif
955 input_line_pointer = end;
956 }
957 SKIP_WHITESPACE ();
958 return name;
959 }
960
961 void
962 obj_elf_section (int push)
963 {
964 char *name, *group_name, *beg;
965 int type, dummy;
966 bfd_vma attr;
967 int entsize;
968 int linkonce;
969 subsegT new_subsection = -1;
970
971 #ifndef TC_I370
972 if (flag_mri)
973 {
974 char mri_type;
975
976 #ifdef md_flush_pending_output
977 md_flush_pending_output ();
978 #endif
979
980 previous_section = now_seg;
981 previous_subsection = now_subseg;
982
983 s_mri_sect (&mri_type);
984
985 #ifdef md_elf_section_change_hook
986 md_elf_section_change_hook ();
987 #endif
988
989 return;
990 }
991 #endif /* ! defined (TC_I370) */
992
993 name = obj_elf_section_name ();
994 if (name == NULL)
995 return;
996 type = SHT_NULL;
997 attr = 0;
998 group_name = NULL;
999 entsize = 0;
1000 linkonce = 0;
1001
1002 if (*input_line_pointer == ',')
1003 {
1004 /* Skip the comma. */
1005 ++input_line_pointer;
1006 SKIP_WHITESPACE ();
1007
1008 if (push && ISDIGIT (*input_line_pointer))
1009 {
1010 /* .pushsection has an optional subsection. */
1011 new_subsection = (subsegT) get_absolute_expression ();
1012
1013 SKIP_WHITESPACE ();
1014
1015 /* Stop if we don't see a comma. */
1016 if (*input_line_pointer != ',')
1017 goto done;
1018
1019 /* Skip the comma. */
1020 ++input_line_pointer;
1021 SKIP_WHITESPACE ();
1022 }
1023
1024 if (*input_line_pointer == '"')
1025 {
1026 bfd_boolean is_clone;
1027
1028 beg = demand_copy_C_string (&dummy);
1029 if (beg == NULL)
1030 {
1031 ignore_rest_of_line ();
1032 return;
1033 }
1034 attr |= obj_elf_parse_section_letters (beg, strlen (beg), &is_clone);
1035
1036 SKIP_WHITESPACE ();
1037 if (*input_line_pointer == ',')
1038 {
1039 char c;
1040 char *save = input_line_pointer;
1041
1042 ++input_line_pointer;
1043 SKIP_WHITESPACE ();
1044 c = *input_line_pointer;
1045 if (c == '"')
1046 {
1047 beg = demand_copy_C_string (&dummy);
1048 if (beg == NULL)
1049 {
1050 ignore_rest_of_line ();
1051 return;
1052 }
1053 type = obj_elf_section_type (beg, strlen (beg), TRUE);
1054 }
1055 else if (c == '@' || c == '%')
1056 {
1057 ++input_line_pointer;
1058 c = get_symbol_name (& beg);
1059 (void) restore_line_pointer (c);
1060 type = obj_elf_section_type (beg, input_line_pointer - beg, TRUE);
1061 }
1062 else
1063 input_line_pointer = save;
1064 }
1065
1066 SKIP_WHITESPACE ();
1067 if ((attr & SHF_MERGE) != 0 && *input_line_pointer == ',')
1068 {
1069 ++input_line_pointer;
1070 SKIP_WHITESPACE ();
1071 entsize = get_absolute_expression ();
1072 SKIP_WHITESPACE ();
1073 if (entsize < 0)
1074 {
1075 as_warn (_("invalid merge entity size"));
1076 attr &= ~SHF_MERGE;
1077 entsize = 0;
1078 }
1079 }
1080 else if ((attr & SHF_MERGE) != 0)
1081 {
1082 as_warn (_("entity size for SHF_MERGE not specified"));
1083 attr &= ~SHF_MERGE;
1084 }
1085
1086 if ((attr & SHF_GROUP) != 0 && is_clone)
1087 {
1088 as_warn (_("? section flag ignored with G present"));
1089 is_clone = FALSE;
1090 }
1091 if ((attr & SHF_GROUP) != 0 && *input_line_pointer == ',')
1092 {
1093 ++input_line_pointer;
1094 group_name = obj_elf_section_name ();
1095 if (group_name == NULL)
1096 attr &= ~SHF_GROUP;
1097 else if (*input_line_pointer == ',')
1098 {
1099 ++input_line_pointer;
1100 SKIP_WHITESPACE ();
1101 if (strncmp (input_line_pointer, "comdat", 6) == 0)
1102 {
1103 input_line_pointer += 6;
1104 linkonce = 1;
1105 }
1106 }
1107 else if (strncmp (name, ".gnu.linkonce", 13) == 0)
1108 linkonce = 1;
1109 }
1110 else if ((attr & SHF_GROUP) != 0)
1111 {
1112 as_warn (_("group name for SHF_GROUP not specified"));
1113 attr &= ~SHF_GROUP;
1114 }
1115
1116 if (is_clone)
1117 {
1118 const char *now_group = elf_group_name (now_seg);
1119 if (now_group != NULL)
1120 {
1121 group_name = xstrdup (now_group);
1122 linkonce = (now_seg->flags & SEC_LINK_ONCE) != 0;
1123 }
1124 }
1125 }
1126 else
1127 {
1128 do
1129 {
1130 char c;
1131
1132 SKIP_WHITESPACE ();
1133 if (*input_line_pointer != '#')
1134 {
1135 as_bad (_("character following name is not '#'"));
1136 ignore_rest_of_line ();
1137 return;
1138 }
1139 ++input_line_pointer;
1140 c = get_symbol_name (& beg);
1141 (void) restore_line_pointer (c);
1142
1143 attr |= obj_elf_section_word (beg, input_line_pointer - beg, & type);
1144
1145 SKIP_WHITESPACE ();
1146 }
1147 while (*input_line_pointer++ == ',');
1148 --input_line_pointer;
1149 }
1150 }
1151
1152 done:
1153 demand_empty_rest_of_line ();
1154
1155 obj_elf_change_section (name, type, attr, entsize, group_name, linkonce, push);
1156
1157 if (push && new_subsection != -1)
1158 subseg_set (now_seg, new_subsection);
1159 }
1160
1161 /* Change to the .data section. */
1162
1163 void
1164 obj_elf_data (int i)
1165 {
1166 #ifdef md_flush_pending_output
1167 md_flush_pending_output ();
1168 #endif
1169
1170 previous_section = now_seg;
1171 previous_subsection = now_subseg;
1172 s_data (i);
1173
1174 #ifdef md_elf_section_change_hook
1175 md_elf_section_change_hook ();
1176 #endif
1177 }
1178
1179 /* Change to the .text section. */
1180
1181 void
1182 obj_elf_text (int i)
1183 {
1184 #ifdef md_flush_pending_output
1185 md_flush_pending_output ();
1186 #endif
1187
1188 previous_section = now_seg;
1189 previous_subsection = now_subseg;
1190 s_text (i);
1191
1192 #ifdef md_elf_section_change_hook
1193 md_elf_section_change_hook ();
1194 #endif
1195 }
1196
1197 /* Change to the *ABS* section. */
1198
1199 void
1200 obj_elf_struct (int i)
1201 {
1202 #ifdef md_flush_pending_output
1203 md_flush_pending_output ();
1204 #endif
1205
1206 previous_section = now_seg;
1207 previous_subsection = now_subseg;
1208 s_struct (i);
1209
1210 #ifdef md_elf_section_change_hook
1211 md_elf_section_change_hook ();
1212 #endif
1213 }
1214
1215 static void
1216 obj_elf_subsection (int ignore ATTRIBUTE_UNUSED)
1217 {
1218 int temp;
1219
1220 #ifdef md_flush_pending_output
1221 md_flush_pending_output ();
1222 #endif
1223
1224 previous_section = now_seg;
1225 previous_subsection = now_subseg;
1226
1227 temp = get_absolute_expression ();
1228 subseg_set (now_seg, (subsegT) temp);
1229 demand_empty_rest_of_line ();
1230
1231 #ifdef md_elf_section_change_hook
1232 md_elf_section_change_hook ();
1233 #endif
1234 }
1235
1236 /* This can be called from the processor backends if they change
1237 sections. */
1238
1239 void
1240 obj_elf_section_change_hook (void)
1241 {
1242 previous_section = now_seg;
1243 previous_subsection = now_subseg;
1244 }
1245
1246 void
1247 obj_elf_previous (int ignore ATTRIBUTE_UNUSED)
1248 {
1249 segT new_section;
1250 int new_subsection;
1251
1252 if (previous_section == 0)
1253 {
1254 as_warn (_(".previous without corresponding .section; ignored"));
1255 return;
1256 }
1257
1258 #ifdef md_flush_pending_output
1259 md_flush_pending_output ();
1260 #endif
1261
1262 new_section = previous_section;
1263 new_subsection = previous_subsection;
1264 previous_section = now_seg;
1265 previous_subsection = now_subseg;
1266 subseg_set (new_section, new_subsection);
1267
1268 #ifdef md_elf_section_change_hook
1269 md_elf_section_change_hook ();
1270 #endif
1271 }
1272
1273 static void
1274 obj_elf_popsection (int xxx ATTRIBUTE_UNUSED)
1275 {
1276 struct section_stack *top = section_stack;
1277
1278 if (top == NULL)
1279 {
1280 as_warn (_(".popsection without corresponding .pushsection; ignored"));
1281 return;
1282 }
1283
1284 #ifdef md_flush_pending_output
1285 md_flush_pending_output ();
1286 #endif
1287
1288 section_stack = top->next;
1289 previous_section = top->prev_seg;
1290 previous_subsection = top->prev_subseg;
1291 subseg_set (top->seg, top->subseg);
1292 free (top);
1293
1294 #ifdef md_elf_section_change_hook
1295 md_elf_section_change_hook ();
1296 #endif
1297 }
1298
1299 static void
1300 obj_elf_line (int ignore ATTRIBUTE_UNUSED)
1301 {
1302 /* Assume delimiter is part of expression. BSD4.2 as fails with
1303 delightful bug, so we are not being incompatible here. */
1304 new_logical_line (NULL, get_absolute_expression ());
1305 demand_empty_rest_of_line ();
1306 }
1307
1308 /* This handles the .symver pseudo-op, which is used to specify a
1309 symbol version. The syntax is ``.symver NAME,SYMVERNAME''.
1310 SYMVERNAME may contain ELF_VER_CHR ('@') characters. This
1311 pseudo-op causes the assembler to emit a symbol named SYMVERNAME
1312 with the same value as the symbol NAME. */
1313
1314 static void
1315 obj_elf_symver (int ignore ATTRIBUTE_UNUSED)
1316 {
1317 char *name;
1318 char c;
1319 char old_lexat;
1320 symbolS *sym;
1321
1322 sym = get_sym_from_input_line_and_check ();
1323
1324 if (*input_line_pointer != ',')
1325 {
1326 as_bad (_("expected comma after name in .symver"));
1327 ignore_rest_of_line ();
1328 return;
1329 }
1330
1331 ++input_line_pointer;
1332 SKIP_WHITESPACE ();
1333
1334 /* Temporarily include '@' in symbol names. */
1335 old_lexat = lex_type[(unsigned char) '@'];
1336 lex_type[(unsigned char) '@'] |= LEX_NAME;
1337 c = get_symbol_name (& name);
1338 lex_type[(unsigned char) '@'] = old_lexat;
1339
1340 if (symbol_get_obj (sym)->versioned_name == NULL)
1341 {
1342 symbol_get_obj (sym)->versioned_name = xstrdup (name);
1343
1344 (void) restore_line_pointer (c);
1345
1346 if (strchr (symbol_get_obj (sym)->versioned_name,
1347 ELF_VER_CHR) == NULL)
1348 {
1349 as_bad (_("missing version name in `%s' for symbol `%s'"),
1350 symbol_get_obj (sym)->versioned_name,
1351 S_GET_NAME (sym));
1352 ignore_rest_of_line ();
1353 return;
1354 }
1355 }
1356 else
1357 {
1358 if (strcmp (symbol_get_obj (sym)->versioned_name, name))
1359 {
1360 as_bad (_("multiple versions [`%s'|`%s'] for symbol `%s'"),
1361 name, symbol_get_obj (sym)->versioned_name,
1362 S_GET_NAME (sym));
1363 ignore_rest_of_line ();
1364 return;
1365 }
1366
1367 (void) restore_line_pointer (c);
1368 }
1369
1370 demand_empty_rest_of_line ();
1371 }
1372
1373 /* This handles the .vtable_inherit pseudo-op, which is used to indicate
1374 to the linker the hierarchy in which a particular table resides. The
1375 syntax is ".vtable_inherit CHILDNAME, PARENTNAME". */
1376
1377 struct fix *
1378 obj_elf_vtable_inherit (int ignore ATTRIBUTE_UNUSED)
1379 {
1380 char *cname, *pname;
1381 symbolS *csym, *psym;
1382 char c, bad = 0;
1383
1384 if (*input_line_pointer == '#')
1385 ++input_line_pointer;
1386
1387 c = get_symbol_name (& cname);
1388 csym = symbol_find (cname);
1389
1390 /* GCFIXME: should check that we don't have two .vtable_inherits for
1391 the same child symbol. Also, we can currently only do this if the
1392 child symbol is already exists and is placed in a fragment. */
1393
1394 if (csym == NULL || symbol_get_frag (csym) == NULL)
1395 {
1396 as_bad (_("expected `%s' to have already been set for .vtable_inherit"),
1397 cname);
1398 bad = 1;
1399 }
1400
1401 *input_line_pointer = c;
1402
1403 SKIP_WHITESPACE_AFTER_NAME ();
1404 if (*input_line_pointer != ',')
1405 {
1406 as_bad (_("expected comma after name in .vtable_inherit"));
1407 ignore_rest_of_line ();
1408 return NULL;
1409 }
1410
1411 ++input_line_pointer;
1412 SKIP_WHITESPACE ();
1413
1414 if (*input_line_pointer == '#')
1415 ++input_line_pointer;
1416
1417 if (input_line_pointer[0] == '0'
1418 && (input_line_pointer[1] == '\0'
1419 || ISSPACE (input_line_pointer[1])))
1420 {
1421 psym = section_symbol (absolute_section);
1422 ++input_line_pointer;
1423 }
1424 else
1425 {
1426 c = get_symbol_name (& pname);
1427 psym = symbol_find_or_make (pname);
1428 restore_line_pointer (c);
1429 }
1430
1431 demand_empty_rest_of_line ();
1432
1433 if (bad)
1434 return NULL;
1435
1436 gas_assert (symbol_get_value_expression (csym)->X_op == O_constant);
1437 return fix_new (symbol_get_frag (csym),
1438 symbol_get_value_expression (csym)->X_add_number,
1439 0, psym, 0, 0, BFD_RELOC_VTABLE_INHERIT);
1440 }
1441
1442 /* This handles the .vtable_entry pseudo-op, which is used to indicate
1443 to the linker that a vtable slot was used. The syntax is
1444 ".vtable_entry tablename, offset". */
1445
1446 struct fix *
1447 obj_elf_vtable_entry (int ignore ATTRIBUTE_UNUSED)
1448 {
1449 symbolS *sym;
1450 offsetT offset;
1451
1452 if (*input_line_pointer == '#')
1453 ++input_line_pointer;
1454
1455 sym = get_sym_from_input_line_and_check ();
1456 if (*input_line_pointer != ',')
1457 {
1458 as_bad (_("expected comma after name in .vtable_entry"));
1459 ignore_rest_of_line ();
1460 return NULL;
1461 }
1462
1463 ++input_line_pointer;
1464 if (*input_line_pointer == '#')
1465 ++input_line_pointer;
1466
1467 offset = get_absolute_expression ();
1468
1469 demand_empty_rest_of_line ();
1470
1471 return fix_new (frag_now, frag_now_fix (), 0, sym, offset, 0,
1472 BFD_RELOC_VTABLE_ENTRY);
1473 }
1474
1475 #define skip_whitespace(str) do { if (*(str) == ' ') ++(str); } while (0)
1476
1477 static inline int
1478 skip_past_char (char ** str, char c)
1479 {
1480 if (**str == c)
1481 {
1482 (*str)++;
1483 return 0;
1484 }
1485 else
1486 return -1;
1487 }
1488 #define skip_past_comma(str) skip_past_char (str, ',')
1489
1490 /* A list of attributes that have been explicitly set by the assembly code.
1491 VENDOR is the vendor id, BASE is the tag shifted right by the number
1492 of bits in MASK, and bit N of MASK is set if tag BASE+N has been set. */
1493 struct recorded_attribute_info {
1494 struct recorded_attribute_info *next;
1495 int vendor;
1496 unsigned int base;
1497 unsigned long mask;
1498 };
1499 static struct recorded_attribute_info *recorded_attributes;
1500
1501 /* Record that we have seen an explicit specification of attribute TAG
1502 for vendor VENDOR. */
1503
1504 static void
1505 record_attribute (int vendor, unsigned int tag)
1506 {
1507 unsigned int base;
1508 unsigned long mask;
1509 struct recorded_attribute_info *rai;
1510
1511 base = tag / (8 * sizeof (rai->mask));
1512 mask = 1UL << (tag % (8 * sizeof (rai->mask)));
1513 for (rai = recorded_attributes; rai; rai = rai->next)
1514 if (rai->vendor == vendor && rai->base == base)
1515 {
1516 rai->mask |= mask;
1517 return;
1518 }
1519
1520 rai = XNEW (struct recorded_attribute_info);
1521 rai->next = recorded_attributes;
1522 rai->vendor = vendor;
1523 rai->base = base;
1524 rai->mask = mask;
1525 recorded_attributes = rai;
1526 }
1527
1528 /* Return true if we have seen an explicit specification of attribute TAG
1529 for vendor VENDOR. */
1530
1531 bfd_boolean
1532 obj_elf_seen_attribute (int vendor, unsigned int tag)
1533 {
1534 unsigned int base;
1535 unsigned long mask;
1536 struct recorded_attribute_info *rai;
1537
1538 base = tag / (8 * sizeof (rai->mask));
1539 mask = 1UL << (tag % (8 * sizeof (rai->mask)));
1540 for (rai = recorded_attributes; rai; rai = rai->next)
1541 if (rai->vendor == vendor && rai->base == base)
1542 return (rai->mask & mask) != 0;
1543 return FALSE;
1544 }
1545
1546 /* Parse an attribute directive for VENDOR.
1547 Returns the attribute number read, or zero on error. */
1548
1549 int
1550 obj_elf_vendor_attribute (int vendor)
1551 {
1552 expressionS exp;
1553 int type;
1554 int tag;
1555 unsigned int i = 0;
1556 char *s = NULL;
1557
1558 /* Read the first number or name. */
1559 skip_whitespace (input_line_pointer);
1560 s = input_line_pointer;
1561 if (ISDIGIT (*input_line_pointer))
1562 {
1563 expression (& exp);
1564 if (exp.X_op != O_constant)
1565 goto bad;
1566 tag = exp.X_add_number;
1567 }
1568 else
1569 {
1570 char *name;
1571
1572 /* A name may contain '_', but no other punctuation. */
1573 for (; ISALNUM (*input_line_pointer) || *input_line_pointer == '_';
1574 ++input_line_pointer)
1575 i++;
1576 if (i == 0)
1577 goto bad;
1578
1579 name = (char *) alloca (i + 1);
1580 memcpy (name, s, i);
1581 name[i] = '\0';
1582
1583 #ifndef CONVERT_SYMBOLIC_ATTRIBUTE
1584 #define CONVERT_SYMBOLIC_ATTRIBUTE(a) -1
1585 #endif
1586
1587 tag = CONVERT_SYMBOLIC_ATTRIBUTE (name);
1588 if (tag == -1)
1589 {
1590 as_bad (_("Attribute name not recognised: %s"), name);
1591 ignore_rest_of_line ();
1592 return 0;
1593 }
1594 }
1595
1596 type = _bfd_elf_obj_attrs_arg_type (stdoutput, vendor, tag);
1597
1598 if (skip_past_comma (&input_line_pointer) == -1)
1599 goto bad;
1600 if (type & 1)
1601 {
1602 expression (& exp);
1603 if (exp.X_op != O_constant)
1604 {
1605 as_bad (_("expected numeric constant"));
1606 ignore_rest_of_line ();
1607 return 0;
1608 }
1609 i = exp.X_add_number;
1610 }
1611 if ((type & 3) == 3
1612 && skip_past_comma (&input_line_pointer) == -1)
1613 {
1614 as_bad (_("expected comma"));
1615 ignore_rest_of_line ();
1616 return 0;
1617 }
1618 if (type & 2)
1619 {
1620 int len;
1621
1622 skip_whitespace (input_line_pointer);
1623 if (*input_line_pointer != '"')
1624 goto bad_string;
1625 s = demand_copy_C_string (&len);
1626 }
1627
1628 record_attribute (vendor, tag);
1629 switch (type & 3)
1630 {
1631 case 3:
1632 bfd_elf_add_obj_attr_int_string (stdoutput, vendor, tag, i, s);
1633 break;
1634 case 2:
1635 bfd_elf_add_obj_attr_string (stdoutput, vendor, tag, s);
1636 break;
1637 case 1:
1638 bfd_elf_add_obj_attr_int (stdoutput, vendor, tag, i);
1639 break;
1640 default:
1641 abort ();
1642 }
1643
1644 demand_empty_rest_of_line ();
1645 return tag;
1646 bad_string:
1647 as_bad (_("bad string constant"));
1648 ignore_rest_of_line ();
1649 return 0;
1650 bad:
1651 as_bad (_("expected <tag> , <value>"));
1652 ignore_rest_of_line ();
1653 return 0;
1654 }
1655
1656 /* Parse a .gnu_attribute directive. */
1657
1658 static void
1659 obj_elf_gnu_attribute (int ignored ATTRIBUTE_UNUSED)
1660 {
1661 obj_elf_vendor_attribute (OBJ_ATTR_GNU);
1662 }
1663
1664 void
1665 elf_obj_read_begin_hook (void)
1666 {
1667 #ifdef NEED_ECOFF_DEBUG
1668 if (ECOFF_DEBUGGING)
1669 ecoff_read_begin_hook ();
1670 #endif
1671 }
1672
1673 void
1674 elf_obj_symbol_new_hook (symbolS *symbolP)
1675 {
1676 struct elf_obj_sy *sy_obj;
1677
1678 sy_obj = symbol_get_obj (symbolP);
1679 sy_obj->size = NULL;
1680 sy_obj->versioned_name = NULL;
1681
1682 #ifdef NEED_ECOFF_DEBUG
1683 if (ECOFF_DEBUGGING)
1684 ecoff_symbol_new_hook (symbolP);
1685 #endif
1686 }
1687
1688 /* When setting one symbol equal to another, by default we probably
1689 want them to have the same "size", whatever it means in the current
1690 context. */
1691
1692 void
1693 elf_copy_symbol_attributes (symbolS *dest, symbolS *src)
1694 {
1695 struct elf_obj_sy *srcelf = symbol_get_obj (src);
1696 struct elf_obj_sy *destelf = symbol_get_obj (dest);
1697 if (srcelf->size)
1698 {
1699 if (destelf->size == NULL)
1700 destelf->size = (expressionS *) xmalloc (sizeof (expressionS));
1701 *destelf->size = *srcelf->size;
1702 }
1703 else
1704 {
1705 if (destelf->size != NULL)
1706 free (destelf->size);
1707 destelf->size = NULL;
1708 }
1709 S_SET_SIZE (dest, S_GET_SIZE (src));
1710 /* Don't copy visibility. */
1711 S_SET_OTHER (dest, (ELF_ST_VISIBILITY (S_GET_OTHER (dest))
1712 | (S_GET_OTHER (src) & ~ELF_ST_VISIBILITY (-1))));
1713 }
1714
1715 void
1716 obj_elf_version (int ignore ATTRIBUTE_UNUSED)
1717 {
1718 char *name;
1719 unsigned int c;
1720 char *p;
1721 asection *seg = now_seg;
1722 subsegT subseg = now_subseg;
1723 Elf_Internal_Note i_note;
1724 Elf_External_Note e_note;
1725 asection *note_secp = NULL;
1726
1727 SKIP_WHITESPACE ();
1728 if (*input_line_pointer == '\"')
1729 {
1730 unsigned int len;
1731
1732 ++input_line_pointer; /* -> 1st char of string. */
1733 name = input_line_pointer;
1734
1735 while (is_a_char (c = next_char_of_string ()))
1736 ;
1737 c = *input_line_pointer;
1738 *input_line_pointer = '\0';
1739 *(input_line_pointer - 1) = '\0';
1740 *input_line_pointer = c;
1741
1742 /* Create the .note section. */
1743 note_secp = subseg_new (".note", 0);
1744 bfd_set_section_flags (stdoutput,
1745 note_secp,
1746 SEC_HAS_CONTENTS | SEC_READONLY);
1747
1748 /* Process the version string. */
1749 len = strlen (name) + 1;
1750
1751 /* PR 3456: Although the name field is padded out to an 4-byte
1752 boundary, the namesz field should not be adjusted. */
1753 i_note.namesz = len;
1754 i_note.descsz = 0; /* No description. */
1755 i_note.type = NT_VERSION;
1756 p = frag_more (sizeof (e_note.namesz));
1757 md_number_to_chars (p, i_note.namesz, sizeof (e_note.namesz));
1758 p = frag_more (sizeof (e_note.descsz));
1759 md_number_to_chars (p, i_note.descsz, sizeof (e_note.descsz));
1760 p = frag_more (sizeof (e_note.type));
1761 md_number_to_chars (p, i_note.type, sizeof (e_note.type));
1762 p = frag_more (len);
1763 memcpy (p, name, len);
1764
1765 frag_align (2, 0, 0);
1766
1767 subseg_set (seg, subseg);
1768 }
1769 else
1770 as_bad (_("expected quoted string"));
1771
1772 demand_empty_rest_of_line ();
1773 }
1774
1775 static void
1776 obj_elf_size (int ignore ATTRIBUTE_UNUSED)
1777 {
1778 char *name;
1779 char c = get_symbol_name (&name);
1780 char *p;
1781 expressionS exp;
1782 symbolS *sym;
1783
1784 p = input_line_pointer;
1785 *p = c;
1786 SKIP_WHITESPACE_AFTER_NAME ();
1787 if (*input_line_pointer != ',')
1788 {
1789 *p = 0;
1790 as_bad (_("expected comma after name `%s' in .size directive"), name);
1791 *p = c;
1792 ignore_rest_of_line ();
1793 return;
1794 }
1795 input_line_pointer++;
1796 expression (&exp);
1797 if (exp.X_op == O_absent)
1798 {
1799 as_bad (_("missing expression in .size directive"));
1800 exp.X_op = O_constant;
1801 exp.X_add_number = 0;
1802 }
1803 *p = 0;
1804 sym = symbol_find_or_make (name);
1805 *p = c;
1806 if (exp.X_op == O_constant)
1807 {
1808 S_SET_SIZE (sym, exp.X_add_number);
1809 if (symbol_get_obj (sym)->size)
1810 {
1811 xfree (symbol_get_obj (sym)->size);
1812 symbol_get_obj (sym)->size = NULL;
1813 }
1814 }
1815 else
1816 {
1817 symbol_get_obj (sym)->size =
1818 (expressionS *) xmalloc (sizeof (expressionS));
1819 *symbol_get_obj (sym)->size = exp;
1820 }
1821 demand_empty_rest_of_line ();
1822 }
1823
1824 /* Handle the ELF .type pseudo-op. This sets the type of a symbol.
1825 There are six syntaxes:
1826
1827 The first (used on Solaris) is
1828 .type SYM,#function
1829 The second (used on UnixWare) is
1830 .type SYM,@function
1831 The third (reportedly to be used on Irix 6.0) is
1832 .type SYM STT_FUNC
1833 The fourth (used on NetBSD/Arm and Linux/ARM) is
1834 .type SYM,%function
1835 The fifth (used on SVR4/860) is
1836 .type SYM,"function"
1837 The sixth (emitted by recent SunPRO under Solaris) is
1838 .type SYM,[0-9]
1839 where the integer is the STT_* value.
1840 */
1841
1842 static char *
1843 obj_elf_type_name (char *cp)
1844 {
1845 char *p;
1846
1847 p = input_line_pointer;
1848 if (*input_line_pointer >= '0'
1849 && *input_line_pointer <= '9')
1850 {
1851 while (*input_line_pointer >= '0'
1852 && *input_line_pointer <= '9')
1853 ++input_line_pointer;
1854 *cp = *input_line_pointer;
1855 *input_line_pointer = '\0';
1856 }
1857 else
1858 *cp = get_symbol_name (&p);
1859
1860 return p;
1861 }
1862
1863 static void
1864 obj_elf_type (int ignore ATTRIBUTE_UNUSED)
1865 {
1866 char c;
1867 int type;
1868 const char *type_name;
1869 symbolS *sym;
1870 elf_symbol_type *elfsym;
1871
1872 sym = get_sym_from_input_line_and_check ();
1873 c = *input_line_pointer;
1874 elfsym = (elf_symbol_type *) symbol_get_bfdsym (sym);
1875
1876 if (*input_line_pointer == ',')
1877 ++input_line_pointer;
1878
1879 SKIP_WHITESPACE ();
1880 if ( *input_line_pointer == '#'
1881 || *input_line_pointer == '@'
1882 || *input_line_pointer == '"'
1883 || *input_line_pointer == '%')
1884 ++input_line_pointer;
1885
1886 type_name = obj_elf_type_name (& c);
1887
1888 type = 0;
1889 if (strcmp (type_name, "function") == 0
1890 || strcmp (type_name, "2") == 0
1891 || strcmp (type_name, "STT_FUNC") == 0)
1892 type = BSF_FUNCTION;
1893 else if (strcmp (type_name, "object") == 0
1894 || strcmp (type_name, "1") == 0
1895 || strcmp (type_name, "STT_OBJECT") == 0)
1896 type = BSF_OBJECT;
1897 else if (strcmp (type_name, "tls_object") == 0
1898 || strcmp (type_name, "6") == 0
1899 || strcmp (type_name, "STT_TLS") == 0)
1900 type = BSF_OBJECT | BSF_THREAD_LOCAL;
1901 else if (strcmp (type_name, "notype") == 0
1902 || strcmp (type_name, "0") == 0
1903 || strcmp (type_name, "STT_NOTYPE") == 0)
1904 ;
1905 else if (strcmp (type_name, "common") == 0
1906 || strcmp (type_name, "5") == 0
1907 || strcmp (type_name, "STT_COMMON") == 0)
1908 {
1909 type = BSF_OBJECT;
1910
1911 if (! S_IS_COMMON (sym))
1912 {
1913 if (S_IS_VOLATILE (sym))
1914 {
1915 sym = symbol_clone (sym, 1);
1916 S_SET_SEGMENT (sym, bfd_com_section_ptr);
1917 S_SET_VALUE (sym, 0);
1918 S_SET_EXTERNAL (sym);
1919 symbol_set_frag (sym, &zero_address_frag);
1920 S_CLEAR_VOLATILE (sym);
1921 }
1922 else if (S_IS_DEFINED (sym) || symbol_equated_p (sym))
1923 as_bad (_("symbol '%s' is already defined"), S_GET_NAME (sym));
1924 else
1925 {
1926 /* FIXME: Is it safe to just change the section ? */
1927 S_SET_SEGMENT (sym, bfd_com_section_ptr);
1928 S_SET_VALUE (sym, 0);
1929 S_SET_EXTERNAL (sym);
1930 }
1931 }
1932 }
1933 else if (strcmp (type_name, "gnu_indirect_function") == 0
1934 || strcmp (type_name, "10") == 0
1935 || strcmp (type_name, "STT_GNU_IFUNC") == 0)
1936 {
1937 const struct elf_backend_data *bed;
1938
1939 bed = get_elf_backend_data (stdoutput);
1940 if (!(bed->elf_osabi == ELFOSABI_GNU
1941 || bed->elf_osabi == ELFOSABI_FREEBSD
1942 /* GNU is still using the default value 0. */
1943 || bed->elf_osabi == ELFOSABI_NONE))
1944 as_bad (_("symbol type \"%s\" is supported only by GNU and FreeBSD targets"),
1945 type_name);
1946 type = BSF_FUNCTION | BSF_GNU_INDIRECT_FUNCTION;
1947 }
1948 else if (strcmp (type_name, "gnu_unique_object") == 0)
1949 {
1950 struct elf_backend_data *bed;
1951
1952 bed = (struct elf_backend_data *) get_elf_backend_data (stdoutput);
1953 if (!(bed->elf_osabi == ELFOSABI_GNU
1954 /* GNU is still using the default value 0. */
1955 || bed->elf_osabi == ELFOSABI_NONE))
1956 as_bad (_("symbol type \"%s\" is supported only by GNU targets"),
1957 type_name);
1958 type = BSF_OBJECT | BSF_GNU_UNIQUE;
1959 /* PR 10549: Always set OSABI field to GNU for objects containing unique symbols. */
1960 bed->elf_osabi = ELFOSABI_GNU;
1961 }
1962 #ifdef md_elf_symbol_type
1963 else if ((type = md_elf_symbol_type (type_name, sym, elfsym)) != -1)
1964 ;
1965 #endif
1966 else
1967 as_bad (_("unrecognized symbol type \"%s\""), type_name);
1968
1969 *input_line_pointer = c;
1970
1971 if (*input_line_pointer == '"')
1972 ++input_line_pointer;
1973
1974 elfsym->symbol.flags |= type;
1975
1976 demand_empty_rest_of_line ();
1977 }
1978
1979 static void
1980 obj_elf_ident (int ignore ATTRIBUTE_UNUSED)
1981 {
1982 static segT comment_section;
1983 segT old_section = now_seg;
1984 int old_subsection = now_subseg;
1985
1986 #ifdef md_flush_pending_output
1987 md_flush_pending_output ();
1988 #endif
1989
1990 if (!comment_section)
1991 {
1992 char *p;
1993 comment_section = subseg_new (".comment", 0);
1994 bfd_set_section_flags (stdoutput, comment_section,
1995 SEC_READONLY | SEC_HAS_CONTENTS
1996 | SEC_MERGE | SEC_STRINGS);
1997 comment_section->entsize = 1;
1998 #ifdef md_elf_section_change_hook
1999 md_elf_section_change_hook ();
2000 #endif
2001 p = frag_more (1);
2002 *p = 0;
2003 }
2004 else
2005 subseg_set (comment_section, 0);
2006 stringer (8 + 1);
2007 subseg_set (old_section, old_subsection);
2008 }
2009
2010 #ifdef INIT_STAB_SECTION
2011
2012 /* The first entry in a .stabs section is special. */
2013
2014 void
2015 obj_elf_init_stab_section (segT seg)
2016 {
2017 char *file;
2018 char *p;
2019 char *stabstr_name;
2020 unsigned int stroff;
2021
2022 /* Force the section to align to a longword boundary. Without this,
2023 UnixWare ar crashes. */
2024 bfd_set_section_alignment (stdoutput, seg, 2);
2025
2026 /* Make space for this first symbol. */
2027 p = frag_more (12);
2028 /* Zero it out. */
2029 memset (p, 0, 12);
2030 as_where (&file, NULL);
2031 stabstr_name = (char *) xmalloc (strlen (segment_name (seg)) + 4);
2032 strcpy (stabstr_name, segment_name (seg));
2033 strcat (stabstr_name, "str");
2034 stroff = get_stab_string_offset (file, stabstr_name);
2035 know (stroff == 1 || (stroff == 0 && file[0] == '\0'));
2036 md_number_to_chars (p, stroff, 4);
2037 seg_info (seg)->stabu.p = p;
2038 }
2039
2040 #endif
2041
2042 /* Fill in the counts in the first entry in a .stabs section. */
2043
2044 static void
2045 adjust_stab_sections (bfd *abfd, asection *sec, void *xxx ATTRIBUTE_UNUSED)
2046 {
2047 char *name;
2048 asection *strsec;
2049 char *p;
2050 int strsz, nsyms;
2051
2052 if (strncmp (".stab", sec->name, 5))
2053 return;
2054 if (!strcmp ("str", sec->name + strlen (sec->name) - 3))
2055 return;
2056
2057 name = (char *) alloca (strlen (sec->name) + 4);
2058 strcpy (name, sec->name);
2059 strcat (name, "str");
2060 strsec = bfd_get_section_by_name (abfd, name);
2061 if (strsec)
2062 strsz = bfd_section_size (abfd, strsec);
2063 else
2064 strsz = 0;
2065 nsyms = bfd_section_size (abfd, sec) / 12 - 1;
2066
2067 p = seg_info (sec)->stabu.p;
2068 gas_assert (p != 0);
2069
2070 bfd_h_put_16 (abfd, nsyms, p + 6);
2071 bfd_h_put_32 (abfd, strsz, p + 8);
2072 }
2073
2074 #ifdef NEED_ECOFF_DEBUG
2075
2076 /* This function is called by the ECOFF code. It is supposed to
2077 record the external symbol information so that the backend can
2078 write it out correctly. The ELF backend doesn't actually handle
2079 this at the moment, so we do it ourselves. We save the information
2080 in the symbol. */
2081
2082 #ifdef OBJ_MAYBE_ELF
2083 static
2084 #endif
2085 void
2086 elf_ecoff_set_ext (symbolS *sym, struct ecoff_extr *ext)
2087 {
2088 symbol_get_bfdsym (sym)->udata.p = ext;
2089 }
2090
2091 /* This function is called by bfd_ecoff_debug_externals. It is
2092 supposed to *EXT to the external symbol information, and return
2093 whether the symbol should be used at all. */
2094
2095 static bfd_boolean
2096 elf_get_extr (asymbol *sym, EXTR *ext)
2097 {
2098 if (sym->udata.p == NULL)
2099 return FALSE;
2100 *ext = *(EXTR *) sym->udata.p;
2101 return TRUE;
2102 }
2103
2104 /* This function is called by bfd_ecoff_debug_externals. It has
2105 nothing to do for ELF. */
2106
2107 static void
2108 elf_set_index (asymbol *sym ATTRIBUTE_UNUSED,
2109 bfd_size_type indx ATTRIBUTE_UNUSED)
2110 {
2111 }
2112
2113 #endif /* NEED_ECOFF_DEBUG */
2114
2115 void
2116 elf_frob_symbol (symbolS *symp, int *puntp)
2117 {
2118 struct elf_obj_sy *sy_obj;
2119 expressionS *size;
2120
2121 #ifdef NEED_ECOFF_DEBUG
2122 if (ECOFF_DEBUGGING)
2123 ecoff_frob_symbol (symp);
2124 #endif
2125
2126 sy_obj = symbol_get_obj (symp);
2127
2128 size = sy_obj->size;
2129 if (size != NULL)
2130 {
2131 if (resolve_expression (size)
2132 && size->X_op == O_constant)
2133 S_SET_SIZE (symp, size->X_add_number);
2134 else
2135 {
2136 if (flag_size_check == size_check_error)
2137 as_bad (_(".size expression for %s "
2138 "does not evaluate to a constant"), S_GET_NAME (symp));
2139 else
2140 as_warn (_(".size expression for %s "
2141 "does not evaluate to a constant"), S_GET_NAME (symp));
2142 }
2143 free (sy_obj->size);
2144 sy_obj->size = NULL;
2145 }
2146
2147 if (sy_obj->versioned_name != NULL)
2148 {
2149 char *p;
2150
2151 p = strchr (sy_obj->versioned_name, ELF_VER_CHR);
2152 if (p == NULL)
2153 /* We will have already reported an error about a missing version. */
2154 *puntp = TRUE;
2155
2156 /* This symbol was given a new name with the .symver directive.
2157
2158 If this is an external reference, just rename the symbol to
2159 include the version string. This will make the relocs be
2160 against the correct versioned symbol.
2161
2162 If this is a definition, add an alias. FIXME: Using an alias
2163 will permit the debugging information to refer to the right
2164 symbol. However, it's not clear whether it is the best
2165 approach. */
2166
2167 else if (! S_IS_DEFINED (symp))
2168 {
2169 /* Verify that the name isn't using the @@ syntax--this is
2170 reserved for definitions of the default version to link
2171 against. */
2172 if (p[1] == ELF_VER_CHR)
2173 {
2174 as_bad (_("invalid attempt to declare external version name"
2175 " as default in symbol `%s'"),
2176 sy_obj->versioned_name);
2177 *puntp = TRUE;
2178 }
2179 S_SET_NAME (symp, sy_obj->versioned_name);
2180 }
2181 else
2182 {
2183 if (p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR)
2184 {
2185 size_t l;
2186
2187 /* The @@@ syntax is a special case. It renames the
2188 symbol name to versioned_name with one `@' removed. */
2189 l = strlen (&p[3]) + 1;
2190 memmove (&p[2], &p[3], l);
2191 S_SET_NAME (symp, sy_obj->versioned_name);
2192 }
2193 else
2194 {
2195 symbolS *symp2;
2196
2197 /* FIXME: Creating a new symbol here is risky. We're
2198 in the final loop over the symbol table. We can
2199 get away with it only because the symbol goes to
2200 the end of the list, where the loop will still see
2201 it. It would probably be better to do this in
2202 obj_frob_file_before_adjust. */
2203
2204 symp2 = symbol_find_or_make (sy_obj->versioned_name);
2205
2206 /* Now we act as though we saw symp2 = sym. */
2207
2208 S_SET_SEGMENT (symp2, S_GET_SEGMENT (symp));
2209
2210 /* Subtracting out the frag address here is a hack
2211 because we are in the middle of the final loop. */
2212 S_SET_VALUE (symp2,
2213 (S_GET_VALUE (symp)
2214 - symbol_get_frag (symp)->fr_address));
2215
2216 symbol_set_frag (symp2, symbol_get_frag (symp));
2217
2218 /* This will copy over the size information. */
2219 copy_symbol_attributes (symp2, symp);
2220
2221 S_SET_OTHER (symp2, S_GET_OTHER (symp));
2222
2223 if (S_IS_WEAK (symp))
2224 S_SET_WEAK (symp2);
2225
2226 if (S_IS_EXTERNAL (symp))
2227 S_SET_EXTERNAL (symp2);
2228 }
2229 }
2230 }
2231
2232 /* Double check weak symbols. */
2233 if (S_IS_WEAK (symp))
2234 {
2235 if (S_IS_COMMON (symp))
2236 as_bad (_("symbol `%s' can not be both weak and common"),
2237 S_GET_NAME (symp));
2238 }
2239
2240 #ifdef TC_MIPS
2241 /* The Irix 5 and 6 assemblers set the type of any common symbol and
2242 any undefined non-function symbol to STT_OBJECT. We try to be
2243 compatible, since newer Irix 5 and 6 linkers care. However, we
2244 only set undefined symbols to be STT_OBJECT if we are on Irix,
2245 because that is the only time gcc will generate the necessary
2246 .global directives to mark functions. */
2247
2248 if (S_IS_COMMON (symp))
2249 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT;
2250
2251 if (strstr (TARGET_OS, "irix") != NULL
2252 && ! S_IS_DEFINED (symp)
2253 && (symbol_get_bfdsym (symp)->flags & BSF_FUNCTION) == 0)
2254 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT;
2255 #endif
2256 }
2257
2258 struct group_list
2259 {
2260 asection **head; /* Section lists. */
2261 unsigned int *elt_count; /* Number of sections in each list. */
2262 unsigned int num_group; /* Number of lists. */
2263 struct hash_control *indexes; /* Maps group name to index in head array. */
2264 };
2265
2266 /* Called via bfd_map_over_sections. If SEC is a member of a group,
2267 add it to a list of sections belonging to the group. INF is a
2268 pointer to a struct group_list, which is where we store the head of
2269 each list. */
2270
2271 static void
2272 build_group_lists (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *inf)
2273 {
2274 struct group_list *list = (struct group_list *) inf;
2275 const char *group_name = elf_group_name (sec);
2276 unsigned int i;
2277 unsigned int *elem_idx;
2278 unsigned int *idx_ptr;
2279
2280 if (group_name == NULL)
2281 return;
2282
2283 /* If this group already has a list, add the section to the head of
2284 the list. */
2285 elem_idx = (unsigned int *) hash_find (list->indexes, group_name);
2286 if (elem_idx != NULL)
2287 {
2288 elf_next_in_group (sec) = list->head[*elem_idx];
2289 list->head[*elem_idx] = sec;
2290 list->elt_count[*elem_idx] += 1;
2291 return;
2292 }
2293
2294 /* New group. Make the arrays bigger in chunks to minimize calls to
2295 realloc. */
2296 i = list->num_group;
2297 if ((i & 127) == 0)
2298 {
2299 unsigned int newsize = i + 128;
2300 list->head = (asection **) xrealloc (list->head,
2301 newsize * sizeof (*list->head));
2302 list->elt_count = (unsigned int *)
2303 xrealloc (list->elt_count, newsize * sizeof (*list->elt_count));
2304 }
2305 list->head[i] = sec;
2306 list->elt_count[i] = 1;
2307 list->num_group += 1;
2308
2309 /* Add index to hash. */
2310 idx_ptr = (unsigned int *) xmalloc (sizeof (unsigned int));
2311 *idx_ptr = i;
2312 hash_insert (list->indexes, group_name, idx_ptr);
2313 }
2314
2315 static void free_section_idx (const char *key ATTRIBUTE_UNUSED, void *val)
2316 {
2317 free ((unsigned int *) val);
2318 }
2319
2320 void
2321 elf_adjust_symtab (void)
2322 {
2323 struct group_list list;
2324 unsigned int i;
2325
2326 /* Go find section groups. */
2327 list.num_group = 0;
2328 list.head = NULL;
2329 list.elt_count = NULL;
2330 list.indexes = hash_new ();
2331 bfd_map_over_sections (stdoutput, build_group_lists, &list);
2332
2333 /* Make the SHT_GROUP sections that describe each section group. We
2334 can't set up the section contents here yet, because elf section
2335 indices have yet to be calculated. elf.c:set_group_contents does
2336 the rest of the work. */
2337 for (i = 0; i < list.num_group; i++)
2338 {
2339 const char *group_name = elf_group_name (list.head[i]);
2340 const char *sec_name;
2341 asection *s;
2342 flagword flags;
2343 struct symbol *sy;
2344 bfd_size_type size;
2345
2346 flags = SEC_READONLY | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_GROUP;
2347 for (s = list.head[i]; s != NULL; s = elf_next_in_group (s))
2348 if ((s->flags ^ flags) & SEC_LINK_ONCE)
2349 {
2350 flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD;
2351 if (s != list.head[i])
2352 {
2353 as_warn (_("assuming all members of group `%s' are COMDAT"),
2354 group_name);
2355 break;
2356 }
2357 }
2358
2359 sec_name = ".group";
2360 s = subseg_force_new (sec_name, 0);
2361 if (s == NULL
2362 || !bfd_set_section_flags (stdoutput, s, flags)
2363 || !bfd_set_section_alignment (stdoutput, s, 2))
2364 {
2365 as_fatal (_("can't create group: %s"),
2366 bfd_errmsg (bfd_get_error ()));
2367 }
2368 elf_section_type (s) = SHT_GROUP;
2369
2370 /* Pass a pointer to the first section in this group. */
2371 elf_next_in_group (s) = list.head[i];
2372 /* Make sure that the signature symbol for the group has the
2373 name of the group. */
2374 sy = symbol_find_exact (group_name);
2375 if (!sy
2376 || (sy != symbol_lastP
2377 && (sy->sy_next == NULL
2378 || sy->sy_next->sy_previous != sy)))
2379 {
2380 /* Create the symbol now. */
2381 sy = symbol_new (group_name, now_seg, (valueT) 0, frag_now);
2382 #ifdef TE_SOLARIS
2383 /* Before Solaris 11 build 154, Sun ld rejects local group
2384 signature symbols, so make them weak hidden instead. */
2385 symbol_get_bfdsym (sy)->flags |= BSF_WEAK;
2386 S_SET_OTHER (sy, STV_HIDDEN);
2387 #else
2388 symbol_get_obj (sy)->local = 1;
2389 #endif
2390 symbol_table_insert (sy);
2391 }
2392 elf_group_id (s) = symbol_get_bfdsym (sy);
2393
2394 size = 4 * (list.elt_count[i] + 1);
2395 bfd_set_section_size (stdoutput, s, size);
2396 s->contents = (unsigned char *) frag_more (size);
2397 frag_now->fr_fix = frag_now_fix_octets ();
2398 frag_wane (frag_now);
2399 }
2400
2401 /* Cleanup hash. */
2402 hash_traverse (list.indexes, free_section_idx);
2403 hash_die (list.indexes);
2404 }
2405
2406 void
2407 elf_frob_file (void)
2408 {
2409 bfd_map_over_sections (stdoutput, adjust_stab_sections, NULL);
2410
2411 #ifdef elf_tc_final_processing
2412 elf_tc_final_processing ();
2413 #endif
2414 }
2415
2416 /* It removes any unneeded versioned symbols from the symbol table. */
2417
2418 void
2419 elf_frob_file_before_adjust (void)
2420 {
2421 if (symbol_rootP)
2422 {
2423 symbolS *symp;
2424
2425 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
2426 if (!S_IS_DEFINED (symp))
2427 {
2428 if (symbol_get_obj (symp)->versioned_name)
2429 {
2430 char *p;
2431
2432 /* The @@@ syntax is a special case. If the symbol is
2433 not defined, 2 `@'s will be removed from the
2434 versioned_name. */
2435
2436 p = strchr (symbol_get_obj (symp)->versioned_name,
2437 ELF_VER_CHR);
2438 if (p != NULL && p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR)
2439 {
2440 size_t l = strlen (&p[3]) + 1;
2441 memmove (&p[1], &p[3], l);
2442 }
2443 if (symbol_used_p (symp) == 0
2444 && symbol_used_in_reloc_p (symp) == 0)
2445 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2446 }
2447
2448 /* If there was .weak foo, but foo was neither defined nor
2449 used anywhere, remove it. */
2450
2451 else if (S_IS_WEAK (symp)
2452 && symbol_used_p (symp) == 0
2453 && symbol_used_in_reloc_p (symp) == 0)
2454 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2455 }
2456 }
2457 }
2458
2459 /* It is required that we let write_relocs have the opportunity to
2460 optimize away fixups before output has begun, since it is possible
2461 to eliminate all fixups for a section and thus we never should
2462 have generated the relocation section. */
2463
2464 void
2465 elf_frob_file_after_relocs (void)
2466 {
2467 #ifdef NEED_ECOFF_DEBUG
2468 if (ECOFF_DEBUGGING)
2469 /* Generate the ECOFF debugging information. */
2470 {
2471 const struct ecoff_debug_swap *debug_swap;
2472 struct ecoff_debug_info debug;
2473 char *buf;
2474 asection *sec;
2475
2476 debug_swap
2477 = get_elf_backend_data (stdoutput)->elf_backend_ecoff_debug_swap;
2478 know (debug_swap != NULL);
2479 ecoff_build_debug (&debug.symbolic_header, &buf, debug_swap);
2480
2481 /* Set up the pointers in debug. */
2482 #define SET(ptr, offset, type) \
2483 debug.ptr = (type) (buf + debug.symbolic_header.offset)
2484
2485 SET (line, cbLineOffset, unsigned char *);
2486 SET (external_dnr, cbDnOffset, void *);
2487 SET (external_pdr, cbPdOffset, void *);
2488 SET (external_sym, cbSymOffset, void *);
2489 SET (external_opt, cbOptOffset, void *);
2490 SET (external_aux, cbAuxOffset, union aux_ext *);
2491 SET (ss, cbSsOffset, char *);
2492 SET (external_fdr, cbFdOffset, void *);
2493 SET (external_rfd, cbRfdOffset, void *);
2494 /* ssext and external_ext are set up just below. */
2495
2496 #undef SET
2497
2498 /* Set up the external symbols. */
2499 debug.ssext = debug.ssext_end = NULL;
2500 debug.external_ext = debug.external_ext_end = NULL;
2501 if (! bfd_ecoff_debug_externals (stdoutput, &debug, debug_swap, TRUE,
2502 elf_get_extr, elf_set_index))
2503 as_fatal (_("failed to set up debugging information: %s"),
2504 bfd_errmsg (bfd_get_error ()));
2505
2506 sec = bfd_get_section_by_name (stdoutput, ".mdebug");
2507 gas_assert (sec != NULL);
2508
2509 know (!stdoutput->output_has_begun);
2510
2511 /* We set the size of the section, call bfd_set_section_contents
2512 to force the ELF backend to allocate a file position, and then
2513 write out the data. FIXME: Is this really the best way to do
2514 this? */
2515 bfd_set_section_size
2516 (stdoutput, sec, bfd_ecoff_debug_size (stdoutput, &debug, debug_swap));
2517
2518 /* Pass BUF to bfd_set_section_contents because this will
2519 eventually become a call to fwrite, and ISO C prohibits
2520 passing a NULL pointer to a stdio function even if the
2521 pointer will not be used. */
2522 if (! bfd_set_section_contents (stdoutput, sec, buf, 0, 0))
2523 as_fatal (_("can't start writing .mdebug section: %s"),
2524 bfd_errmsg (bfd_get_error ()));
2525
2526 know (stdoutput->output_has_begun);
2527 know (sec->filepos != 0);
2528
2529 if (! bfd_ecoff_write_debug (stdoutput, &debug, debug_swap,
2530 sec->filepos))
2531 as_fatal (_("could not write .mdebug section: %s"),
2532 bfd_errmsg (bfd_get_error ()));
2533 }
2534 #endif /* NEED_ECOFF_DEBUG */
2535 }
2536
2537 #ifdef SCO_ELF
2538
2539 /* Heavily plagiarized from obj_elf_version. The idea is to emit the
2540 SCO specific identifier in the .notes section to satisfy the SCO
2541 linker.
2542
2543 This looks more complicated than it really is. As opposed to the
2544 "obvious" solution, this should handle the cross dev cases
2545 correctly. (i.e, hosting on a 64 bit big endian processor, but
2546 generating SCO Elf code) Efficiency isn't a concern, as there
2547 should be exactly one of these sections per object module.
2548
2549 SCO OpenServer 5 identifies it's ELF modules with a standard ELF
2550 .note section.
2551
2552 int_32 namesz = 4 ; Name size
2553 int_32 descsz = 12 ; Descriptive information
2554 int_32 type = 1 ;
2555 char name[4] = "SCO" ; Originator name ALWAYS SCO + NULL
2556 int_32 version = (major ver # << 16) | version of tools ;
2557 int_32 source = (tool_id << 16 ) | 1 ;
2558 int_32 info = 0 ; These are set by the SCO tools, but we
2559 don't know enough about the source
2560 environment to set them. SCO ld currently
2561 ignores them, and recommends we set them
2562 to zero. */
2563
2564 #define SCO_MAJOR_VERSION 0x1
2565 #define SCO_MINOR_VERSION 0x1
2566
2567 void
2568 sco_id (void)
2569 {
2570
2571 char *name;
2572 unsigned int c;
2573 char ch;
2574 char *p;
2575 asection *seg = now_seg;
2576 subsegT subseg = now_subseg;
2577 Elf_Internal_Note i_note;
2578 Elf_External_Note e_note;
2579 asection *note_secp = NULL;
2580 int i, len;
2581
2582 /* create the .note section */
2583
2584 note_secp = subseg_new (".note", 0);
2585 bfd_set_section_flags (stdoutput,
2586 note_secp,
2587 SEC_HAS_CONTENTS | SEC_READONLY);
2588
2589 /* process the version string */
2590
2591 i_note.namesz = 4;
2592 i_note.descsz = 12; /* 12 descriptive bytes */
2593 i_note.type = NT_VERSION; /* Contains a version string */
2594
2595 p = frag_more (sizeof (i_note.namesz));
2596 md_number_to_chars (p, i_note.namesz, 4);
2597
2598 p = frag_more (sizeof (i_note.descsz));
2599 md_number_to_chars (p, i_note.descsz, 4);
2600
2601 p = frag_more (sizeof (i_note.type));
2602 md_number_to_chars (p, i_note.type, 4);
2603
2604 p = frag_more (4);
2605 strcpy (p, "SCO");
2606
2607 /* Note: this is the version number of the ELF we're representing */
2608 p = frag_more (4);
2609 md_number_to_chars (p, (SCO_MAJOR_VERSION << 16) | (SCO_MINOR_VERSION), 4);
2610
2611 /* Here, we pick a magic number for ourselves (yes, I "registered"
2612 it with SCO. The bottom bit shows that we are compat with the
2613 SCO ABI. */
2614 p = frag_more (4);
2615 md_number_to_chars (p, 0x4c520000 | 0x0001, 4);
2616
2617 /* If we knew (or cared) what the source language options were, we'd
2618 fill them in here. SCO has given us permission to ignore these
2619 and just set them to zero. */
2620 p = frag_more (4);
2621 md_number_to_chars (p, 0x0000, 4);
2622
2623 frag_align (2, 0, 0);
2624
2625 /* We probably can't restore the current segment, for there likely
2626 isn't one yet... */
2627 if (seg && subseg)
2628 subseg_set (seg, subseg);
2629
2630 }
2631
2632 #endif /* SCO_ELF */
2633
2634 static void
2635 elf_generate_asm_lineno (void)
2636 {
2637 #ifdef NEED_ECOFF_DEBUG
2638 if (ECOFF_DEBUGGING)
2639 ecoff_generate_asm_lineno ();
2640 #endif
2641 }
2642
2643 static void
2644 elf_process_stab (segT sec ATTRIBUTE_UNUSED,
2645 int what ATTRIBUTE_UNUSED,
2646 const char *string ATTRIBUTE_UNUSED,
2647 int type ATTRIBUTE_UNUSED,
2648 int other ATTRIBUTE_UNUSED,
2649 int desc ATTRIBUTE_UNUSED)
2650 {
2651 #ifdef NEED_ECOFF_DEBUG
2652 if (ECOFF_DEBUGGING)
2653 ecoff_stab (sec, what, string, type, other, desc);
2654 #endif
2655 }
2656
2657 static int
2658 elf_separate_stab_sections (void)
2659 {
2660 #ifdef NEED_ECOFF_DEBUG
2661 return (!ECOFF_DEBUGGING);
2662 #else
2663 return 1;
2664 #endif
2665 }
2666
2667 static void
2668 elf_init_stab_section (segT seg)
2669 {
2670 #ifdef NEED_ECOFF_DEBUG
2671 if (!ECOFF_DEBUGGING)
2672 #endif
2673 obj_elf_init_stab_section (seg);
2674 }
2675
2676 const struct format_ops elf_format_ops =
2677 {
2678 bfd_target_elf_flavour,
2679 0, /* dfl_leading_underscore */
2680 1, /* emit_section_symbols */
2681 elf_begin,
2682 elf_file_symbol,
2683 elf_frob_symbol,
2684 elf_frob_file,
2685 elf_frob_file_before_adjust,
2686 0, /* obj_frob_file_before_fix */
2687 elf_frob_file_after_relocs,
2688 elf_s_get_size, elf_s_set_size,
2689 elf_s_get_align, elf_s_set_align,
2690 elf_s_get_other,
2691 elf_s_set_other,
2692 0, /* s_get_desc */
2693 0, /* s_set_desc */
2694 0, /* s_get_type */
2695 0, /* s_set_type */
2696 elf_copy_symbol_attributes,
2697 elf_generate_asm_lineno,
2698 elf_process_stab,
2699 elf_separate_stab_sections,
2700 elf_init_stab_section,
2701 elf_sec_sym_ok_for_reloc,
2702 elf_pop_insert,
2703 #ifdef NEED_ECOFF_DEBUG
2704 elf_ecoff_set_ext,
2705 #else
2706 0, /* ecoff_set_ext */
2707 #endif
2708 elf_obj_read_begin_hook,
2709 elf_obj_symbol_new_hook,
2710 0,
2711 elf_adjust_symtab
2712 };
This page took 0.086142 seconds and 4 git commands to generate.