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