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