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