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