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