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