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