use XNEW and related macros 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 = XNEW (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 = xstrndup (s, i);
1613
1614 #ifndef CONVERT_SYMBOLIC_ATTRIBUTE
1615 #define CONVERT_SYMBOLIC_ATTRIBUTE(a) -1
1616 #endif
1617
1618 tag = CONVERT_SYMBOLIC_ATTRIBUTE (name);
1619 if (tag == -1)
1620 {
1621 as_bad (_("Attribute name not recognised: %s"), name);
1622 ignore_rest_of_line ();
1623 free (name);
1624 return 0;
1625 }
1626 free (name);
1627 }
1628
1629 type = _bfd_elf_obj_attrs_arg_type (stdoutput, vendor, tag);
1630
1631 if (skip_past_comma (&input_line_pointer) == -1)
1632 goto bad;
1633 if (type & 1)
1634 {
1635 expression (& exp);
1636 if (exp.X_op != O_constant)
1637 {
1638 as_bad (_("expected numeric constant"));
1639 ignore_rest_of_line ();
1640 return 0;
1641 }
1642 i = exp.X_add_number;
1643 }
1644 if ((type & 3) == 3
1645 && skip_past_comma (&input_line_pointer) == -1)
1646 {
1647 as_bad (_("expected comma"));
1648 ignore_rest_of_line ();
1649 return 0;
1650 }
1651 if (type & 2)
1652 {
1653 int len;
1654
1655 skip_whitespace (input_line_pointer);
1656 if (*input_line_pointer != '"')
1657 goto bad_string;
1658 s = demand_copy_C_string (&len);
1659 }
1660
1661 record_attribute (vendor, tag);
1662 switch (type & 3)
1663 {
1664 case 3:
1665 bfd_elf_add_obj_attr_int_string (stdoutput, vendor, tag, i, s);
1666 break;
1667 case 2:
1668 bfd_elf_add_obj_attr_string (stdoutput, vendor, tag, s);
1669 break;
1670 case 1:
1671 bfd_elf_add_obj_attr_int (stdoutput, vendor, tag, i);
1672 break;
1673 default:
1674 abort ();
1675 }
1676
1677 demand_empty_rest_of_line ();
1678 return tag;
1679 bad_string:
1680 as_bad (_("bad string constant"));
1681 ignore_rest_of_line ();
1682 return 0;
1683 bad:
1684 as_bad (_("expected <tag> , <value>"));
1685 ignore_rest_of_line ();
1686 return 0;
1687 }
1688
1689 /* Parse a .gnu_attribute directive. */
1690
1691 static void
1692 obj_elf_gnu_attribute (int ignored ATTRIBUTE_UNUSED)
1693 {
1694 obj_elf_vendor_attribute (OBJ_ATTR_GNU);
1695 }
1696
1697 void
1698 elf_obj_read_begin_hook (void)
1699 {
1700 #ifdef NEED_ECOFF_DEBUG
1701 if (ECOFF_DEBUGGING)
1702 ecoff_read_begin_hook ();
1703 #endif
1704 }
1705
1706 void
1707 elf_obj_symbol_new_hook (symbolS *symbolP)
1708 {
1709 struct elf_obj_sy *sy_obj;
1710
1711 sy_obj = symbol_get_obj (symbolP);
1712 sy_obj->size = NULL;
1713 sy_obj->versioned_name = NULL;
1714
1715 #ifdef NEED_ECOFF_DEBUG
1716 if (ECOFF_DEBUGGING)
1717 ecoff_symbol_new_hook (symbolP);
1718 #endif
1719 }
1720
1721 /* When setting one symbol equal to another, by default we probably
1722 want them to have the same "size", whatever it means in the current
1723 context. */
1724
1725 void
1726 elf_copy_symbol_attributes (symbolS *dest, symbolS *src)
1727 {
1728 struct elf_obj_sy *srcelf = symbol_get_obj (src);
1729 struct elf_obj_sy *destelf = symbol_get_obj (dest);
1730 if (srcelf->size)
1731 {
1732 if (destelf->size == NULL)
1733 destelf->size = XNEW (expressionS);
1734 *destelf->size = *srcelf->size;
1735 }
1736 else
1737 {
1738 if (destelf->size != NULL)
1739 free (destelf->size);
1740 destelf->size = NULL;
1741 }
1742 S_SET_SIZE (dest, S_GET_SIZE (src));
1743 /* Don't copy visibility. */
1744 S_SET_OTHER (dest, (ELF_ST_VISIBILITY (S_GET_OTHER (dest))
1745 | (S_GET_OTHER (src) & ~ELF_ST_VISIBILITY (-1))));
1746 }
1747
1748 void
1749 obj_elf_version (int ignore ATTRIBUTE_UNUSED)
1750 {
1751 char *name;
1752 unsigned int c;
1753 char *p;
1754 asection *seg = now_seg;
1755 subsegT subseg = now_subseg;
1756 Elf_Internal_Note i_note;
1757 Elf_External_Note e_note;
1758 asection *note_secp = NULL;
1759
1760 SKIP_WHITESPACE ();
1761 if (*input_line_pointer == '\"')
1762 {
1763 unsigned int len;
1764
1765 ++input_line_pointer; /* -> 1st char of string. */
1766 name = input_line_pointer;
1767
1768 while (is_a_char (c = next_char_of_string ()))
1769 ;
1770 c = *input_line_pointer;
1771 *input_line_pointer = '\0';
1772 *(input_line_pointer - 1) = '\0';
1773 *input_line_pointer = c;
1774
1775 /* Create the .note section. */
1776 note_secp = subseg_new (".note", 0);
1777 bfd_set_section_flags (stdoutput,
1778 note_secp,
1779 SEC_HAS_CONTENTS | SEC_READONLY);
1780
1781 /* Process the version string. */
1782 len = strlen (name) + 1;
1783
1784 /* PR 3456: Although the name field is padded out to an 4-byte
1785 boundary, the namesz field should not be adjusted. */
1786 i_note.namesz = len;
1787 i_note.descsz = 0; /* No description. */
1788 i_note.type = NT_VERSION;
1789 p = frag_more (sizeof (e_note.namesz));
1790 md_number_to_chars (p, i_note.namesz, sizeof (e_note.namesz));
1791 p = frag_more (sizeof (e_note.descsz));
1792 md_number_to_chars (p, i_note.descsz, sizeof (e_note.descsz));
1793 p = frag_more (sizeof (e_note.type));
1794 md_number_to_chars (p, i_note.type, sizeof (e_note.type));
1795 p = frag_more (len);
1796 memcpy (p, name, len);
1797
1798 frag_align (2, 0, 0);
1799
1800 subseg_set (seg, subseg);
1801 }
1802 else
1803 as_bad (_("expected quoted string"));
1804
1805 demand_empty_rest_of_line ();
1806 }
1807
1808 static void
1809 obj_elf_size (int ignore ATTRIBUTE_UNUSED)
1810 {
1811 char *name;
1812 char c = get_symbol_name (&name);
1813 char *p;
1814 expressionS exp;
1815 symbolS *sym;
1816
1817 p = input_line_pointer;
1818 *p = c;
1819 SKIP_WHITESPACE_AFTER_NAME ();
1820 if (*input_line_pointer != ',')
1821 {
1822 *p = 0;
1823 as_bad (_("expected comma after name `%s' in .size directive"), name);
1824 *p = c;
1825 ignore_rest_of_line ();
1826 return;
1827 }
1828 input_line_pointer++;
1829 expression (&exp);
1830 if (exp.X_op == O_absent)
1831 {
1832 as_bad (_("missing expression in .size directive"));
1833 exp.X_op = O_constant;
1834 exp.X_add_number = 0;
1835 }
1836 *p = 0;
1837 sym = symbol_find_or_make (name);
1838 *p = c;
1839 if (exp.X_op == O_constant)
1840 {
1841 S_SET_SIZE (sym, exp.X_add_number);
1842 if (symbol_get_obj (sym)->size)
1843 {
1844 xfree (symbol_get_obj (sym)->size);
1845 symbol_get_obj (sym)->size = NULL;
1846 }
1847 }
1848 else
1849 {
1850 symbol_get_obj (sym)->size = XNEW (expressionS);
1851 *symbol_get_obj (sym)->size = exp;
1852 }
1853 demand_empty_rest_of_line ();
1854 }
1855
1856 /* Handle the ELF .type pseudo-op. This sets the type of a symbol.
1857 There are six syntaxes:
1858
1859 The first (used on Solaris) is
1860 .type SYM,#function
1861 The second (used on UnixWare) is
1862 .type SYM,@function
1863 The third (reportedly to be used on Irix 6.0) is
1864 .type SYM STT_FUNC
1865 The fourth (used on NetBSD/Arm and Linux/ARM) is
1866 .type SYM,%function
1867 The fifth (used on SVR4/860) is
1868 .type SYM,"function"
1869 The sixth (emitted by recent SunPRO under Solaris) is
1870 .type SYM,[0-9]
1871 where the integer is the STT_* value.
1872 */
1873
1874 static char *
1875 obj_elf_type_name (char *cp)
1876 {
1877 char *p;
1878
1879 p = input_line_pointer;
1880 if (*input_line_pointer >= '0'
1881 && *input_line_pointer <= '9')
1882 {
1883 while (*input_line_pointer >= '0'
1884 && *input_line_pointer <= '9')
1885 ++input_line_pointer;
1886 *cp = *input_line_pointer;
1887 *input_line_pointer = '\0';
1888 }
1889 else
1890 *cp = get_symbol_name (&p);
1891
1892 return p;
1893 }
1894
1895 static void
1896 obj_elf_type (int ignore ATTRIBUTE_UNUSED)
1897 {
1898 char c;
1899 int type;
1900 const char *type_name;
1901 symbolS *sym;
1902 elf_symbol_type *elfsym;
1903
1904 sym = get_sym_from_input_line_and_check ();
1905 c = *input_line_pointer;
1906 elfsym = (elf_symbol_type *) symbol_get_bfdsym (sym);
1907
1908 if (*input_line_pointer == ',')
1909 ++input_line_pointer;
1910
1911 SKIP_WHITESPACE ();
1912 if ( *input_line_pointer == '#'
1913 || *input_line_pointer == '@'
1914 || *input_line_pointer == '"'
1915 || *input_line_pointer == '%')
1916 ++input_line_pointer;
1917
1918 type_name = obj_elf_type_name (& c);
1919
1920 type = 0;
1921 if (strcmp (type_name, "function") == 0
1922 || strcmp (type_name, "2") == 0
1923 || strcmp (type_name, "STT_FUNC") == 0)
1924 type = BSF_FUNCTION;
1925 else if (strcmp (type_name, "object") == 0
1926 || strcmp (type_name, "1") == 0
1927 || strcmp (type_name, "STT_OBJECT") == 0)
1928 type = BSF_OBJECT;
1929 else if (strcmp (type_name, "tls_object") == 0
1930 || strcmp (type_name, "6") == 0
1931 || strcmp (type_name, "STT_TLS") == 0)
1932 type = BSF_OBJECT | BSF_THREAD_LOCAL;
1933 else if (strcmp (type_name, "notype") == 0
1934 || strcmp (type_name, "0") == 0
1935 || strcmp (type_name, "STT_NOTYPE") == 0)
1936 ;
1937 else if (strcmp (type_name, "common") == 0
1938 || strcmp (type_name, "5") == 0
1939 || strcmp (type_name, "STT_COMMON") == 0)
1940 {
1941 type = BSF_OBJECT;
1942
1943 if (! S_IS_COMMON (sym))
1944 {
1945 if (S_IS_VOLATILE (sym))
1946 {
1947 sym = symbol_clone (sym, 1);
1948 S_SET_SEGMENT (sym, bfd_com_section_ptr);
1949 S_SET_VALUE (sym, 0);
1950 S_SET_EXTERNAL (sym);
1951 symbol_set_frag (sym, &zero_address_frag);
1952 S_CLEAR_VOLATILE (sym);
1953 }
1954 else if (S_IS_DEFINED (sym) || symbol_equated_p (sym))
1955 as_bad (_("symbol '%s' is already defined"), S_GET_NAME (sym));
1956 else
1957 {
1958 /* FIXME: Is it safe to just change the section ? */
1959 S_SET_SEGMENT (sym, bfd_com_section_ptr);
1960 S_SET_VALUE (sym, 0);
1961 S_SET_EXTERNAL (sym);
1962 }
1963 }
1964 }
1965 else if (strcmp (type_name, "gnu_indirect_function") == 0
1966 || strcmp (type_name, "10") == 0
1967 || strcmp (type_name, "STT_GNU_IFUNC") == 0)
1968 {
1969 const struct elf_backend_data *bed;
1970
1971 bed = get_elf_backend_data (stdoutput);
1972 if (!(bed->elf_osabi == ELFOSABI_GNU
1973 || bed->elf_osabi == ELFOSABI_FREEBSD
1974 /* GNU is still using the default value 0. */
1975 || bed->elf_osabi == ELFOSABI_NONE))
1976 as_bad (_("symbol type \"%s\" is supported only by GNU and FreeBSD targets"),
1977 type_name);
1978 type = BSF_FUNCTION | BSF_GNU_INDIRECT_FUNCTION;
1979 }
1980 else if (strcmp (type_name, "gnu_unique_object") == 0)
1981 {
1982 struct elf_backend_data *bed;
1983
1984 bed = (struct elf_backend_data *) get_elf_backend_data (stdoutput);
1985 if (!(bed->elf_osabi == ELFOSABI_GNU
1986 /* GNU is still using the default value 0. */
1987 || bed->elf_osabi == ELFOSABI_NONE))
1988 as_bad (_("symbol type \"%s\" is supported only by GNU targets"),
1989 type_name);
1990 type = BSF_OBJECT | BSF_GNU_UNIQUE;
1991 /* PR 10549: Always set OSABI field to GNU for objects containing unique symbols. */
1992 bed->elf_osabi = ELFOSABI_GNU;
1993 }
1994 #ifdef md_elf_symbol_type
1995 else if ((type = md_elf_symbol_type (type_name, sym, elfsym)) != -1)
1996 ;
1997 #endif
1998 else
1999 as_bad (_("unrecognized symbol type \"%s\""), type_name);
2000
2001 *input_line_pointer = c;
2002
2003 if (*input_line_pointer == '"')
2004 ++input_line_pointer;
2005
2006 elfsym->symbol.flags |= type;
2007
2008 demand_empty_rest_of_line ();
2009 }
2010
2011 static void
2012 obj_elf_ident (int ignore ATTRIBUTE_UNUSED)
2013 {
2014 static segT comment_section;
2015 segT old_section = now_seg;
2016 int old_subsection = now_subseg;
2017
2018 #ifdef md_flush_pending_output
2019 md_flush_pending_output ();
2020 #endif
2021
2022 if (!comment_section)
2023 {
2024 char *p;
2025 comment_section = subseg_new (".comment", 0);
2026 bfd_set_section_flags (stdoutput, comment_section,
2027 SEC_READONLY | SEC_HAS_CONTENTS
2028 | SEC_MERGE | SEC_STRINGS);
2029 comment_section->entsize = 1;
2030 #ifdef md_elf_section_change_hook
2031 md_elf_section_change_hook ();
2032 #endif
2033 p = frag_more (1);
2034 *p = 0;
2035 }
2036 else
2037 subseg_set (comment_section, 0);
2038 stringer (8 + 1);
2039 subseg_set (old_section, old_subsection);
2040 }
2041
2042 #ifdef INIT_STAB_SECTION
2043
2044 /* The first entry in a .stabs section is special. */
2045
2046 void
2047 obj_elf_init_stab_section (segT seg)
2048 {
2049 const char *file;
2050 char *p;
2051 char *stabstr_name;
2052 unsigned int stroff;
2053
2054 /* Force the section to align to a longword boundary. Without this,
2055 UnixWare ar crashes. */
2056 bfd_set_section_alignment (stdoutput, seg, 2);
2057
2058 /* Make space for this first symbol. */
2059 p = frag_more (12);
2060 /* Zero it out. */
2061 memset (p, 0, 12);
2062 file = as_where (NULL);
2063 stabstr_name = (char *) xmalloc (strlen (segment_name (seg)) + 4);
2064 strcpy (stabstr_name, segment_name (seg));
2065 strcat (stabstr_name, "str");
2066 stroff = get_stab_string_offset (file, stabstr_name);
2067 know (stroff == 1 || (stroff == 0 && file[0] == '\0'));
2068 md_number_to_chars (p, stroff, 4);
2069 seg_info (seg)->stabu.p = p;
2070 }
2071
2072 #endif
2073
2074 /* Fill in the counts in the first entry in a .stabs section. */
2075
2076 static void
2077 adjust_stab_sections (bfd *abfd, asection *sec, void *xxx ATTRIBUTE_UNUSED)
2078 {
2079 char *name;
2080 asection *strsec;
2081 char *p;
2082 int strsz, nsyms;
2083
2084 if (strncmp (".stab", sec->name, 5))
2085 return;
2086 if (!strcmp ("str", sec->name + strlen (sec->name) - 3))
2087 return;
2088
2089 name = concat (sec->name, "str", NULL);
2090 strsec = bfd_get_section_by_name (abfd, name);
2091 if (strsec)
2092 strsz = bfd_section_size (abfd, strsec);
2093 else
2094 strsz = 0;
2095 nsyms = bfd_section_size (abfd, sec) / 12 - 1;
2096
2097 p = seg_info (sec)->stabu.p;
2098 gas_assert (p != 0);
2099
2100 bfd_h_put_16 (abfd, nsyms, p + 6);
2101 bfd_h_put_32 (abfd, strsz, p + 8);
2102 free (name);
2103 }
2104
2105 #ifdef NEED_ECOFF_DEBUG
2106
2107 /* This function is called by the ECOFF code. It is supposed to
2108 record the external symbol information so that the backend can
2109 write it out correctly. The ELF backend doesn't actually handle
2110 this at the moment, so we do it ourselves. We save the information
2111 in the symbol. */
2112
2113 #ifdef OBJ_MAYBE_ELF
2114 static
2115 #endif
2116 void
2117 elf_ecoff_set_ext (symbolS *sym, struct ecoff_extr *ext)
2118 {
2119 symbol_get_bfdsym (sym)->udata.p = ext;
2120 }
2121
2122 /* This function is called by bfd_ecoff_debug_externals. It is
2123 supposed to *EXT to the external symbol information, and return
2124 whether the symbol should be used at all. */
2125
2126 static bfd_boolean
2127 elf_get_extr (asymbol *sym, EXTR *ext)
2128 {
2129 if (sym->udata.p == NULL)
2130 return FALSE;
2131 *ext = *(EXTR *) sym->udata.p;
2132 return TRUE;
2133 }
2134
2135 /* This function is called by bfd_ecoff_debug_externals. It has
2136 nothing to do for ELF. */
2137
2138 static void
2139 elf_set_index (asymbol *sym ATTRIBUTE_UNUSED,
2140 bfd_size_type indx ATTRIBUTE_UNUSED)
2141 {
2142 }
2143
2144 #endif /* NEED_ECOFF_DEBUG */
2145
2146 void
2147 elf_frob_symbol (symbolS *symp, int *puntp)
2148 {
2149 struct elf_obj_sy *sy_obj;
2150 expressionS *size;
2151
2152 #ifdef NEED_ECOFF_DEBUG
2153 if (ECOFF_DEBUGGING)
2154 ecoff_frob_symbol (symp);
2155 #endif
2156
2157 sy_obj = symbol_get_obj (symp);
2158
2159 size = sy_obj->size;
2160 if (size != NULL)
2161 {
2162 if (resolve_expression (size)
2163 && size->X_op == O_constant)
2164 S_SET_SIZE (symp, size->X_add_number);
2165 else
2166 {
2167 if (!flag_allow_nonconst_size)
2168 as_bad (_(".size expression for %s "
2169 "does not evaluate to a constant"), S_GET_NAME (symp));
2170 else
2171 as_warn (_(".size expression for %s "
2172 "does not evaluate to a constant"), S_GET_NAME (symp));
2173 }
2174 free (sy_obj->size);
2175 sy_obj->size = NULL;
2176 }
2177
2178 if (sy_obj->versioned_name != NULL)
2179 {
2180 char *p;
2181
2182 p = strchr (sy_obj->versioned_name, ELF_VER_CHR);
2183 if (p == NULL)
2184 /* We will have already reported an error about a missing version. */
2185 *puntp = TRUE;
2186
2187 /* This symbol was given a new name with the .symver directive.
2188
2189 If this is an external reference, just rename the symbol to
2190 include the version string. This will make the relocs be
2191 against the correct versioned symbol.
2192
2193 If this is a definition, add an alias. FIXME: Using an alias
2194 will permit the debugging information to refer to the right
2195 symbol. However, it's not clear whether it is the best
2196 approach. */
2197
2198 else if (! S_IS_DEFINED (symp))
2199 {
2200 /* Verify that the name isn't using the @@ syntax--this is
2201 reserved for definitions of the default version to link
2202 against. */
2203 if (p[1] == ELF_VER_CHR)
2204 {
2205 as_bad (_("invalid attempt to declare external version name"
2206 " as default in symbol `%s'"),
2207 sy_obj->versioned_name);
2208 *puntp = TRUE;
2209 }
2210 S_SET_NAME (symp, sy_obj->versioned_name);
2211 }
2212 else
2213 {
2214 if (p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR)
2215 {
2216 size_t l;
2217
2218 /* The @@@ syntax is a special case. It renames the
2219 symbol name to versioned_name with one `@' removed. */
2220 l = strlen (&p[3]) + 1;
2221 memmove (&p[2], &p[3], l);
2222 S_SET_NAME (symp, sy_obj->versioned_name);
2223 }
2224 else
2225 {
2226 symbolS *symp2;
2227
2228 /* FIXME: Creating a new symbol here is risky. We're
2229 in the final loop over the symbol table. We can
2230 get away with it only because the symbol goes to
2231 the end of the list, where the loop will still see
2232 it. It would probably be better to do this in
2233 obj_frob_file_before_adjust. */
2234
2235 symp2 = symbol_find_or_make (sy_obj->versioned_name);
2236
2237 /* Now we act as though we saw symp2 = sym. */
2238
2239 S_SET_SEGMENT (symp2, S_GET_SEGMENT (symp));
2240
2241 /* Subtracting out the frag address here is a hack
2242 because we are in the middle of the final loop. */
2243 S_SET_VALUE (symp2,
2244 (S_GET_VALUE (symp)
2245 - symbol_get_frag (symp)->fr_address));
2246
2247 symbol_set_frag (symp2, symbol_get_frag (symp));
2248
2249 /* This will copy over the size information. */
2250 copy_symbol_attributes (symp2, symp);
2251
2252 S_SET_OTHER (symp2, S_GET_OTHER (symp));
2253
2254 if (S_IS_WEAK (symp))
2255 S_SET_WEAK (symp2);
2256
2257 if (S_IS_EXTERNAL (symp))
2258 S_SET_EXTERNAL (symp2);
2259 }
2260 }
2261 }
2262
2263 /* Double check weak symbols. */
2264 if (S_IS_WEAK (symp))
2265 {
2266 if (S_IS_COMMON (symp))
2267 as_bad (_("symbol `%s' can not be both weak and common"),
2268 S_GET_NAME (symp));
2269 }
2270
2271 #ifdef TC_MIPS
2272 /* The Irix 5 and 6 assemblers set the type of any common symbol and
2273 any undefined non-function symbol to STT_OBJECT. We try to be
2274 compatible, since newer Irix 5 and 6 linkers care. However, we
2275 only set undefined symbols to be STT_OBJECT if we are on Irix,
2276 because that is the only time gcc will generate the necessary
2277 .global directives to mark functions. */
2278
2279 if (S_IS_COMMON (symp))
2280 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT;
2281
2282 if (strstr (TARGET_OS, "irix") != NULL
2283 && ! S_IS_DEFINED (symp)
2284 && (symbol_get_bfdsym (symp)->flags & BSF_FUNCTION) == 0)
2285 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT;
2286 #endif
2287 }
2288
2289 struct group_list
2290 {
2291 asection **head; /* Section lists. */
2292 unsigned int *elt_count; /* Number of sections in each list. */
2293 unsigned int num_group; /* Number of lists. */
2294 struct hash_control *indexes; /* Maps group name to index in head array. */
2295 };
2296
2297 /* Called via bfd_map_over_sections. If SEC is a member of a group,
2298 add it to a list of sections belonging to the group. INF is a
2299 pointer to a struct group_list, which is where we store the head of
2300 each list. */
2301
2302 static void
2303 build_group_lists (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *inf)
2304 {
2305 struct group_list *list = (struct group_list *) inf;
2306 const char *group_name = elf_group_name (sec);
2307 unsigned int i;
2308 unsigned int *elem_idx;
2309 unsigned int *idx_ptr;
2310
2311 if (group_name == NULL)
2312 return;
2313
2314 /* If this group already has a list, add the section to the head of
2315 the list. */
2316 elem_idx = (unsigned int *) hash_find (list->indexes, group_name);
2317 if (elem_idx != NULL)
2318 {
2319 elf_next_in_group (sec) = list->head[*elem_idx];
2320 list->head[*elem_idx] = sec;
2321 list->elt_count[*elem_idx] += 1;
2322 return;
2323 }
2324
2325 /* New group. Make the arrays bigger in chunks to minimize calls to
2326 realloc. */
2327 i = list->num_group;
2328 if ((i & 127) == 0)
2329 {
2330 unsigned int newsize = i + 128;
2331 list->head = (asection **) xrealloc (list->head,
2332 newsize * sizeof (*list->head));
2333 list->elt_count = (unsigned int *)
2334 xrealloc (list->elt_count, newsize * sizeof (*list->elt_count));
2335 }
2336 list->head[i] = sec;
2337 list->elt_count[i] = 1;
2338 list->num_group += 1;
2339
2340 /* Add index to hash. */
2341 idx_ptr = XNEW (unsigned int);
2342 *idx_ptr = i;
2343 hash_insert (list->indexes, group_name, idx_ptr);
2344 }
2345
2346 static void free_section_idx (const char *key ATTRIBUTE_UNUSED, void *val)
2347 {
2348 free ((unsigned int *) val);
2349 }
2350
2351 void
2352 elf_adjust_symtab (void)
2353 {
2354 struct group_list list;
2355 unsigned int i;
2356
2357 /* Go find section groups. */
2358 list.num_group = 0;
2359 list.head = NULL;
2360 list.elt_count = NULL;
2361 list.indexes = hash_new ();
2362 bfd_map_over_sections (stdoutput, build_group_lists, &list);
2363
2364 /* Make the SHT_GROUP sections that describe each section group. We
2365 can't set up the section contents here yet, because elf section
2366 indices have yet to be calculated. elf.c:set_group_contents does
2367 the rest of the work. */
2368 for (i = 0; i < list.num_group; i++)
2369 {
2370 const char *group_name = elf_group_name (list.head[i]);
2371 const char *sec_name;
2372 asection *s;
2373 flagword flags;
2374 struct symbol *sy;
2375 bfd_size_type size;
2376
2377 flags = SEC_READONLY | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_GROUP;
2378 for (s = list.head[i]; s != NULL; s = elf_next_in_group (s))
2379 if ((s->flags ^ flags) & SEC_LINK_ONCE)
2380 {
2381 flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD;
2382 if (s != list.head[i])
2383 {
2384 as_warn (_("assuming all members of group `%s' are COMDAT"),
2385 group_name);
2386 break;
2387 }
2388 }
2389
2390 sec_name = ".group";
2391 s = subseg_force_new (sec_name, 0);
2392 if (s == NULL
2393 || !bfd_set_section_flags (stdoutput, s, flags)
2394 || !bfd_set_section_alignment (stdoutput, s, 2))
2395 {
2396 as_fatal (_("can't create group: %s"),
2397 bfd_errmsg (bfd_get_error ()));
2398 }
2399 elf_section_type (s) = SHT_GROUP;
2400
2401 /* Pass a pointer to the first section in this group. */
2402 elf_next_in_group (s) = list.head[i];
2403 /* Make sure that the signature symbol for the group has the
2404 name of the group. */
2405 sy = symbol_find_exact (group_name);
2406 if (!sy
2407 || (sy != symbol_lastP
2408 && (sy->sy_next == NULL
2409 || sy->sy_next->sy_previous != sy)))
2410 {
2411 /* Create the symbol now. */
2412 sy = symbol_new (group_name, now_seg, (valueT) 0, frag_now);
2413 #ifdef TE_SOLARIS
2414 /* Before Solaris 11 build 154, Sun ld rejects local group
2415 signature symbols, so make them weak hidden instead. */
2416 symbol_get_bfdsym (sy)->flags |= BSF_WEAK;
2417 S_SET_OTHER (sy, STV_HIDDEN);
2418 #else
2419 symbol_get_obj (sy)->local = 1;
2420 #endif
2421 symbol_table_insert (sy);
2422 }
2423 elf_group_id (s) = symbol_get_bfdsym (sy);
2424
2425 size = 4 * (list.elt_count[i] + 1);
2426 bfd_set_section_size (stdoutput, s, size);
2427 s->contents = (unsigned char *) frag_more (size);
2428 frag_now->fr_fix = frag_now_fix_octets ();
2429 frag_wane (frag_now);
2430 }
2431
2432 /* Cleanup hash. */
2433 hash_traverse (list.indexes, free_section_idx);
2434 hash_die (list.indexes);
2435 }
2436
2437 void
2438 elf_frob_file (void)
2439 {
2440 bfd_map_over_sections (stdoutput, adjust_stab_sections, NULL);
2441
2442 #ifdef elf_tc_final_processing
2443 elf_tc_final_processing ();
2444 #endif
2445 }
2446
2447 /* It removes any unneeded versioned symbols from the symbol table. */
2448
2449 void
2450 elf_frob_file_before_adjust (void)
2451 {
2452 if (symbol_rootP)
2453 {
2454 symbolS *symp;
2455
2456 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
2457 if (!S_IS_DEFINED (symp))
2458 {
2459 if (symbol_get_obj (symp)->versioned_name)
2460 {
2461 char *p;
2462
2463 /* The @@@ syntax is a special case. If the symbol is
2464 not defined, 2 `@'s will be removed from the
2465 versioned_name. */
2466
2467 p = strchr (symbol_get_obj (symp)->versioned_name,
2468 ELF_VER_CHR);
2469 if (p != NULL && p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR)
2470 {
2471 size_t l = strlen (&p[3]) + 1;
2472 memmove (&p[1], &p[3], l);
2473 }
2474 if (symbol_used_p (symp) == 0
2475 && symbol_used_in_reloc_p (symp) == 0)
2476 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2477 }
2478
2479 /* If there was .weak foo, but foo was neither defined nor
2480 used anywhere, remove it. */
2481
2482 else if (S_IS_WEAK (symp)
2483 && symbol_used_p (symp) == 0
2484 && symbol_used_in_reloc_p (symp) == 0)
2485 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2486 }
2487 }
2488 }
2489
2490 /* It is required that we let write_relocs have the opportunity to
2491 optimize away fixups before output has begun, since it is possible
2492 to eliminate all fixups for a section and thus we never should
2493 have generated the relocation section. */
2494
2495 void
2496 elf_frob_file_after_relocs (void)
2497 {
2498 #ifdef NEED_ECOFF_DEBUG
2499 if (ECOFF_DEBUGGING)
2500 /* Generate the ECOFF debugging information. */
2501 {
2502 const struct ecoff_debug_swap *debug_swap;
2503 struct ecoff_debug_info debug;
2504 char *buf;
2505 asection *sec;
2506
2507 debug_swap
2508 = get_elf_backend_data (stdoutput)->elf_backend_ecoff_debug_swap;
2509 know (debug_swap != NULL);
2510 ecoff_build_debug (&debug.symbolic_header, &buf, debug_swap);
2511
2512 /* Set up the pointers in debug. */
2513 #define SET(ptr, offset, type) \
2514 debug.ptr = (type) (buf + debug.symbolic_header.offset)
2515
2516 SET (line, cbLineOffset, unsigned char *);
2517 SET (external_dnr, cbDnOffset, void *);
2518 SET (external_pdr, cbPdOffset, void *);
2519 SET (external_sym, cbSymOffset, void *);
2520 SET (external_opt, cbOptOffset, void *);
2521 SET (external_aux, cbAuxOffset, union aux_ext *);
2522 SET (ss, cbSsOffset, char *);
2523 SET (external_fdr, cbFdOffset, void *);
2524 SET (external_rfd, cbRfdOffset, void *);
2525 /* ssext and external_ext are set up just below. */
2526
2527 #undef SET
2528
2529 /* Set up the external symbols. */
2530 debug.ssext = debug.ssext_end = NULL;
2531 debug.external_ext = debug.external_ext_end = NULL;
2532 if (! bfd_ecoff_debug_externals (stdoutput, &debug, debug_swap, TRUE,
2533 elf_get_extr, elf_set_index))
2534 as_fatal (_("failed to set up debugging information: %s"),
2535 bfd_errmsg (bfd_get_error ()));
2536
2537 sec = bfd_get_section_by_name (stdoutput, ".mdebug");
2538 gas_assert (sec != NULL);
2539
2540 know (!stdoutput->output_has_begun);
2541
2542 /* We set the size of the section, call bfd_set_section_contents
2543 to force the ELF backend to allocate a file position, and then
2544 write out the data. FIXME: Is this really the best way to do
2545 this? */
2546 bfd_set_section_size
2547 (stdoutput, sec, bfd_ecoff_debug_size (stdoutput, &debug, debug_swap));
2548
2549 /* Pass BUF to bfd_set_section_contents because this will
2550 eventually become a call to fwrite, and ISO C prohibits
2551 passing a NULL pointer to a stdio function even if the
2552 pointer will not be used. */
2553 if (! bfd_set_section_contents (stdoutput, sec, buf, 0, 0))
2554 as_fatal (_("can't start writing .mdebug section: %s"),
2555 bfd_errmsg (bfd_get_error ()));
2556
2557 know (stdoutput->output_has_begun);
2558 know (sec->filepos != 0);
2559
2560 if (! bfd_ecoff_write_debug (stdoutput, &debug, debug_swap,
2561 sec->filepos))
2562 as_fatal (_("could not write .mdebug section: %s"),
2563 bfd_errmsg (bfd_get_error ()));
2564 }
2565 #endif /* NEED_ECOFF_DEBUG */
2566 }
2567
2568 #ifdef SCO_ELF
2569
2570 /* Heavily plagiarized from obj_elf_version. The idea is to emit the
2571 SCO specific identifier in the .notes section to satisfy the SCO
2572 linker.
2573
2574 This looks more complicated than it really is. As opposed to the
2575 "obvious" solution, this should handle the cross dev cases
2576 correctly. (i.e, hosting on a 64 bit big endian processor, but
2577 generating SCO Elf code) Efficiency isn't a concern, as there
2578 should be exactly one of these sections per object module.
2579
2580 SCO OpenServer 5 identifies it's ELF modules with a standard ELF
2581 .note section.
2582
2583 int_32 namesz = 4 ; Name size
2584 int_32 descsz = 12 ; Descriptive information
2585 int_32 type = 1 ;
2586 char name[4] = "SCO" ; Originator name ALWAYS SCO + NULL
2587 int_32 version = (major ver # << 16) | version of tools ;
2588 int_32 source = (tool_id << 16 ) | 1 ;
2589 int_32 info = 0 ; These are set by the SCO tools, but we
2590 don't know enough about the source
2591 environment to set them. SCO ld currently
2592 ignores them, and recommends we set them
2593 to zero. */
2594
2595 #define SCO_MAJOR_VERSION 0x1
2596 #define SCO_MINOR_VERSION 0x1
2597
2598 void
2599 sco_id (void)
2600 {
2601
2602 char *name;
2603 unsigned int c;
2604 char ch;
2605 char *p;
2606 asection *seg = now_seg;
2607 subsegT subseg = now_subseg;
2608 Elf_Internal_Note i_note;
2609 Elf_External_Note e_note;
2610 asection *note_secp = NULL;
2611 int i, len;
2612
2613 /* create the .note section */
2614
2615 note_secp = subseg_new (".note", 0);
2616 bfd_set_section_flags (stdoutput,
2617 note_secp,
2618 SEC_HAS_CONTENTS | SEC_READONLY);
2619
2620 /* process the version string */
2621
2622 i_note.namesz = 4;
2623 i_note.descsz = 12; /* 12 descriptive bytes */
2624 i_note.type = NT_VERSION; /* Contains a version string */
2625
2626 p = frag_more (sizeof (i_note.namesz));
2627 md_number_to_chars (p, i_note.namesz, 4);
2628
2629 p = frag_more (sizeof (i_note.descsz));
2630 md_number_to_chars (p, i_note.descsz, 4);
2631
2632 p = frag_more (sizeof (i_note.type));
2633 md_number_to_chars (p, i_note.type, 4);
2634
2635 p = frag_more (4);
2636 strcpy (p, "SCO");
2637
2638 /* Note: this is the version number of the ELF we're representing */
2639 p = frag_more (4);
2640 md_number_to_chars (p, (SCO_MAJOR_VERSION << 16) | (SCO_MINOR_VERSION), 4);
2641
2642 /* Here, we pick a magic number for ourselves (yes, I "registered"
2643 it with SCO. The bottom bit shows that we are compat with the
2644 SCO ABI. */
2645 p = frag_more (4);
2646 md_number_to_chars (p, 0x4c520000 | 0x0001, 4);
2647
2648 /* If we knew (or cared) what the source language options were, we'd
2649 fill them in here. SCO has given us permission to ignore these
2650 and just set them to zero. */
2651 p = frag_more (4);
2652 md_number_to_chars (p, 0x0000, 4);
2653
2654 frag_align (2, 0, 0);
2655
2656 /* We probably can't restore the current segment, for there likely
2657 isn't one yet... */
2658 if (seg && subseg)
2659 subseg_set (seg, subseg);
2660
2661 }
2662
2663 #endif /* SCO_ELF */
2664
2665 static void
2666 elf_generate_asm_lineno (void)
2667 {
2668 #ifdef NEED_ECOFF_DEBUG
2669 if (ECOFF_DEBUGGING)
2670 ecoff_generate_asm_lineno ();
2671 #endif
2672 }
2673
2674 static void
2675 elf_process_stab (segT sec ATTRIBUTE_UNUSED,
2676 int what ATTRIBUTE_UNUSED,
2677 const char *string ATTRIBUTE_UNUSED,
2678 int type ATTRIBUTE_UNUSED,
2679 int other ATTRIBUTE_UNUSED,
2680 int desc ATTRIBUTE_UNUSED)
2681 {
2682 #ifdef NEED_ECOFF_DEBUG
2683 if (ECOFF_DEBUGGING)
2684 ecoff_stab (sec, what, string, type, other, desc);
2685 #endif
2686 }
2687
2688 static int
2689 elf_separate_stab_sections (void)
2690 {
2691 #ifdef NEED_ECOFF_DEBUG
2692 return (!ECOFF_DEBUGGING);
2693 #else
2694 return 1;
2695 #endif
2696 }
2697
2698 static void
2699 elf_init_stab_section (segT seg)
2700 {
2701 #ifdef NEED_ECOFF_DEBUG
2702 if (!ECOFF_DEBUGGING)
2703 #endif
2704 obj_elf_init_stab_section (seg);
2705 }
2706
2707 const struct format_ops elf_format_ops =
2708 {
2709 bfd_target_elf_flavour,
2710 0, /* dfl_leading_underscore */
2711 1, /* emit_section_symbols */
2712 elf_begin,
2713 elf_file_symbol,
2714 elf_frob_symbol,
2715 elf_frob_file,
2716 elf_frob_file_before_adjust,
2717 0, /* obj_frob_file_before_fix */
2718 elf_frob_file_after_relocs,
2719 elf_s_get_size, elf_s_set_size,
2720 elf_s_get_align, elf_s_set_align,
2721 elf_s_get_other,
2722 elf_s_set_other,
2723 0, /* s_get_desc */
2724 0, /* s_set_desc */
2725 0, /* s_get_type */
2726 0, /* s_set_type */
2727 elf_copy_symbol_attributes,
2728 elf_generate_asm_lineno,
2729 elf_process_stab,
2730 elf_separate_stab_sections,
2731 elf_init_stab_section,
2732 elf_sec_sym_ok_for_reloc,
2733 elf_pop_insert,
2734 #ifdef NEED_ECOFF_DEBUG
2735 elf_ecoff_set_ext,
2736 #else
2737 0, /* ecoff_set_ext */
2738 #endif
2739 elf_obj_read_begin_hook,
2740 elf_obj_symbol_new_hook,
2741 0,
2742 elf_adjust_symtab
2743 };
This page took 0.090559 seconds and 5 git commands to generate.