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