* ld-i386/tlsbin.dd: Adjust for changed sib printing.
[binutils.git] / ld / ldlang.c
blob108ad584320c5cd336678d25174d16c69de0921c
1 /* Linker command language support.
2 Copyright 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
3 2001, 2002, 2003, 2004
4 Free Software Foundation, Inc.
6 This file is part of GLD, the Gnu Linker.
8 GLD is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
11 any later version.
13 GLD is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GLD; see the file COPYING. If not, write to the Free
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
21 02111-1307, USA. */
23 #include "bfd.h"
24 #include "sysdep.h"
25 #include "libiberty.h"
26 #include "safe-ctype.h"
27 #include "obstack.h"
28 #include "bfdlink.h"
30 #include "ld.h"
31 #include "ldmain.h"
32 #include "ldexp.h"
33 #include "ldlang.h"
34 #include <ldgram.h>
35 #include "ldlex.h"
36 #include "ldmisc.h"
37 #include "ldctor.h"
38 #include "ldfile.h"
39 #include "ldemul.h"
40 #include "fnmatch.h"
41 #include "demangle.h"
42 #include "hashtab.h"
44 #ifndef offsetof
45 #define offsetof(TYPE, MEMBER) ((size_t) & (((TYPE*) 0)->MEMBER))
46 #endif
48 /* Locals variables. */
49 static struct obstack stat_obstack;
51 #define obstack_chunk_alloc xmalloc
52 #define obstack_chunk_free free
53 static const char *startup_file;
54 static lang_statement_list_type input_file_chain;
55 static bfd_boolean placed_commons = FALSE;
56 static lang_output_section_statement_type *default_common_section;
57 static bfd_boolean map_option_f;
58 static bfd_vma print_dot;
59 static lang_input_statement_type *first_file;
60 static const char *current_target;
61 static const char *output_target;
62 static lang_statement_list_type statement_list;
63 static struct lang_phdr *lang_phdr_list;
64 static struct bfd_hash_table lang_definedness_table;
66 /* Forward declarations. */
67 static void exp_init_os (etree_type *);
68 static bfd_boolean wildcardp (const char *);
69 static lang_input_statement_type *lookup_name (const char *);
70 static bfd_boolean load_symbols (lang_input_statement_type *,
71 lang_statement_list_type *);
72 static struct bfd_hash_entry *lang_definedness_newfunc
73 (struct bfd_hash_entry *, struct bfd_hash_table *, const char *);
74 static void insert_undefined (const char *);
75 static void print_statement (lang_statement_union_type *,
76 lang_output_section_statement_type *);
77 static void print_statement_list (lang_statement_union_type *,
78 lang_output_section_statement_type *);
79 static void print_statements (void);
80 static bfd_boolean lang_one_common (struct bfd_link_hash_entry *, void *);
81 static void lang_record_phdrs (void);
82 static void lang_do_version_exports_section (void);
84 typedef void (*callback_t) (lang_wild_statement_type *, struct wildcard_list *,
85 asection *, lang_input_statement_type *, void *);
87 /* Exported variables. */
88 lang_output_section_statement_type *abs_output_section;
89 lang_statement_list_type lang_output_section_statement;
90 lang_statement_list_type *stat_ptr = &statement_list;
91 lang_statement_list_type file_chain = { NULL, NULL };
92 struct bfd_sym_chain entry_symbol = { NULL, NULL };
93 const char *entry_section = ".text";
94 bfd_boolean entry_from_cmdline;
95 bfd_boolean lang_has_input_file = FALSE;
96 bfd_boolean had_output_filename = FALSE;
97 bfd_boolean lang_float_flag = FALSE;
98 bfd_boolean delete_output_file_on_failure = FALSE;
99 struct lang_nocrossrefs *nocrossref_list;
100 struct unique_sections *unique_section_list;
101 static bfd_boolean ldlang_sysrooted_script = FALSE;
102 int lang_statement_iteration = 0;
104 etree_type *base; /* Relocation base - or null */
106 #define new_stat(x, y) \
107 (x##_type *) new_statement (x##_enum, sizeof (x##_type), y)
109 #define outside_section_address(q) \
110 ((q)->output_offset + (q)->output_section->vma)
112 #define outside_symbol_address(q) \
113 ((q)->value + outside_section_address (q->section))
115 #define SECTION_NAME_MAP_LENGTH (16)
117 void *
118 stat_alloc (size_t size)
120 return obstack_alloc (&stat_obstack, size);
123 bfd_boolean
124 unique_section_p (const char *secnam)
126 struct unique_sections *unam;
128 for (unam = unique_section_list; unam; unam = unam->next)
129 if (wildcardp (unam->name)
130 ? fnmatch (unam->name, secnam, 0) == 0
131 : strcmp (unam->name, secnam) == 0)
133 return TRUE;
136 return FALSE;
139 /* Generic traversal routines for finding matching sections. */
141 static void
142 walk_wild_section (lang_wild_statement_type *ptr,
143 lang_input_statement_type *file,
144 callback_t callback,
145 void *data)
147 asection *s;
149 if (file->just_syms_flag)
150 return;
152 for (s = file->the_bfd->sections; s != NULL; s = s->next)
154 struct wildcard_list *sec;
156 sec = ptr->section_list;
157 if (sec == NULL)
158 (*callback) (ptr, sec, s, file, data);
160 while (sec != NULL)
162 bfd_boolean skip = FALSE;
163 struct name_list *list_tmp;
165 /* Don't process sections from files which were
166 excluded. */
167 for (list_tmp = sec->spec.exclude_name_list;
168 list_tmp;
169 list_tmp = list_tmp->next)
171 if (wildcardp (list_tmp->name))
172 skip = fnmatch (list_tmp->name, file->filename, 0) == 0;
173 else
174 skip = strcmp (list_tmp->name, file->filename) == 0;
176 /* If this file is part of an archive, and the archive is
177 excluded, exclude this file. */
178 if (! skip && file->the_bfd != NULL
179 && file->the_bfd->my_archive != NULL
180 && file->the_bfd->my_archive->filename != NULL)
182 if (wildcardp (list_tmp->name))
183 skip = fnmatch (list_tmp->name,
184 file->the_bfd->my_archive->filename,
185 0) == 0;
186 else
187 skip = strcmp (list_tmp->name,
188 file->the_bfd->my_archive->filename) == 0;
191 if (skip)
192 break;
195 if (!skip && sec->spec.name != NULL)
197 const char *sname = bfd_get_section_name (file->the_bfd, s);
199 if (wildcardp (sec->spec.name))
200 skip = fnmatch (sec->spec.name, sname, 0) != 0;
201 else
202 skip = strcmp (sec->spec.name, sname) != 0;
205 if (!skip)
206 (*callback) (ptr, sec, s, file, data);
208 sec = sec->next;
213 /* Handle a wild statement for a single file F. */
215 static void
216 walk_wild_file (lang_wild_statement_type *s,
217 lang_input_statement_type *f,
218 callback_t callback,
219 void *data)
221 if (f->the_bfd == NULL
222 || ! bfd_check_format (f->the_bfd, bfd_archive))
223 walk_wild_section (s, f, callback, data);
224 else
226 bfd *member;
228 /* This is an archive file. We must map each member of the
229 archive separately. */
230 member = bfd_openr_next_archived_file (f->the_bfd, NULL);
231 while (member != NULL)
233 /* When lookup_name is called, it will call the add_symbols
234 entry point for the archive. For each element of the
235 archive which is included, BFD will call ldlang_add_file,
236 which will set the usrdata field of the member to the
237 lang_input_statement. */
238 if (member->usrdata != NULL)
240 walk_wild_section (s, member->usrdata, callback, data);
243 member = bfd_openr_next_archived_file (f->the_bfd, member);
248 static void
249 walk_wild (lang_wild_statement_type *s, callback_t callback, void *data)
251 const char *file_spec = s->filename;
253 if (file_spec == NULL)
255 /* Perform the iteration over all files in the list. */
256 LANG_FOR_EACH_INPUT_STATEMENT (f)
258 walk_wild_file (s, f, callback, data);
261 else if (wildcardp (file_spec))
263 LANG_FOR_EACH_INPUT_STATEMENT (f)
265 if (fnmatch (file_spec, f->filename, FNM_FILE_NAME) == 0)
266 walk_wild_file (s, f, callback, data);
269 else
271 lang_input_statement_type *f;
273 /* Perform the iteration over a single file. */
274 f = lookup_name (file_spec);
275 if (f)
276 walk_wild_file (s, f, callback, data);
280 /* lang_for_each_statement walks the parse tree and calls the provided
281 function for each node. */
283 static void
284 lang_for_each_statement_worker (void (*func) (lang_statement_union_type *),
285 lang_statement_union_type *s)
287 for (; s != NULL; s = s->header.next)
289 func (s);
291 switch (s->header.type)
293 case lang_constructors_statement_enum:
294 lang_for_each_statement_worker (func, constructor_list.head);
295 break;
296 case lang_output_section_statement_enum:
297 lang_for_each_statement_worker
298 (func,
299 s->output_section_statement.children.head);
300 break;
301 case lang_wild_statement_enum:
302 lang_for_each_statement_worker
303 (func,
304 s->wild_statement.children.head);
305 break;
306 case lang_group_statement_enum:
307 lang_for_each_statement_worker (func,
308 s->group_statement.children.head);
309 break;
310 case lang_data_statement_enum:
311 case lang_reloc_statement_enum:
312 case lang_object_symbols_statement_enum:
313 case lang_output_statement_enum:
314 case lang_target_statement_enum:
315 case lang_input_section_enum:
316 case lang_input_statement_enum:
317 case lang_assignment_statement_enum:
318 case lang_padding_statement_enum:
319 case lang_address_statement_enum:
320 case lang_fill_statement_enum:
321 break;
322 default:
323 FAIL ();
324 break;
329 void
330 lang_for_each_statement (void (*func) (lang_statement_union_type *))
332 lang_for_each_statement_worker (func, statement_list.head);
335 /*----------------------------------------------------------------------*/
337 void
338 lang_list_init (lang_statement_list_type *list)
340 list->head = NULL;
341 list->tail = &list->head;
344 /* Build a new statement node for the parse tree. */
346 static lang_statement_union_type *
347 new_statement (enum statement_enum type,
348 size_t size,
349 lang_statement_list_type *list)
351 lang_statement_union_type *new;
353 new = stat_alloc (size);
354 new->header.type = type;
355 new->header.next = NULL;
356 lang_statement_append (list, new, &new->header.next);
357 return new;
360 /* Build a new input file node for the language. There are several
361 ways in which we treat an input file, eg, we only look at symbols,
362 or prefix it with a -l etc.
364 We can be supplied with requests for input files more than once;
365 they may, for example be split over several lines like foo.o(.text)
366 foo.o(.data) etc, so when asked for a file we check that we haven't
367 got it already so we don't duplicate the bfd. */
369 static lang_input_statement_type *
370 new_afile (const char *name,
371 lang_input_file_enum_type file_type,
372 const char *target,
373 bfd_boolean add_to_list)
375 lang_input_statement_type *p;
377 if (add_to_list)
378 p = new_stat (lang_input_statement, stat_ptr);
379 else
381 p = stat_alloc (sizeof (lang_input_statement_type));
382 p->header.next = NULL;
385 lang_has_input_file = TRUE;
386 p->target = target;
387 p->sysrooted = FALSE;
388 switch (file_type)
390 case lang_input_file_is_symbols_only_enum:
391 p->filename = name;
392 p->is_archive = FALSE;
393 p->real = TRUE;
394 p->local_sym_name = name;
395 p->just_syms_flag = TRUE;
396 p->search_dirs_flag = FALSE;
397 break;
398 case lang_input_file_is_fake_enum:
399 p->filename = name;
400 p->is_archive = FALSE;
401 p->real = FALSE;
402 p->local_sym_name = name;
403 p->just_syms_flag = FALSE;
404 p->search_dirs_flag = FALSE;
405 break;
406 case lang_input_file_is_l_enum:
407 p->is_archive = TRUE;
408 p->filename = name;
409 p->real = TRUE;
410 p->local_sym_name = concat ("-l", name, NULL);
411 p->just_syms_flag = FALSE;
412 p->search_dirs_flag = TRUE;
413 break;
414 case lang_input_file_is_marker_enum:
415 p->filename = name;
416 p->is_archive = FALSE;
417 p->real = FALSE;
418 p->local_sym_name = name;
419 p->just_syms_flag = FALSE;
420 p->search_dirs_flag = TRUE;
421 break;
422 case lang_input_file_is_search_file_enum:
423 p->sysrooted = ldlang_sysrooted_script;
424 p->filename = name;
425 p->is_archive = FALSE;
426 p->real = TRUE;
427 p->local_sym_name = name;
428 p->just_syms_flag = FALSE;
429 p->search_dirs_flag = TRUE;
430 break;
431 case lang_input_file_is_file_enum:
432 p->filename = name;
433 p->is_archive = FALSE;
434 p->real = TRUE;
435 p->local_sym_name = name;
436 p->just_syms_flag = FALSE;
437 p->search_dirs_flag = FALSE;
438 break;
439 default:
440 FAIL ();
442 p->the_bfd = NULL;
443 p->asymbols = NULL;
444 p->next_real_file = NULL;
445 p->next = NULL;
446 p->symbol_count = 0;
447 p->dynamic = config.dynamic_link;
448 p->whole_archive = whole_archive;
449 p->loaded = FALSE;
450 lang_statement_append (&input_file_chain,
451 (lang_statement_union_type *) p,
452 &p->next_real_file);
453 return p;
456 lang_input_statement_type *
457 lang_add_input_file (const char *name,
458 lang_input_file_enum_type file_type,
459 const char *target)
461 lang_has_input_file = TRUE;
462 return new_afile (name, file_type, target, TRUE);
465 /* Build enough state so that the parser can build its tree. */
467 void
468 lang_init (void)
470 obstack_begin (&stat_obstack, 1000);
472 stat_ptr = &statement_list;
474 lang_list_init (stat_ptr);
476 lang_list_init (&input_file_chain);
477 lang_list_init (&lang_output_section_statement);
478 lang_list_init (&file_chain);
479 first_file = lang_add_input_file (NULL, lang_input_file_is_marker_enum,
480 NULL);
481 abs_output_section =
482 lang_output_section_statement_lookup (BFD_ABS_SECTION_NAME);
484 abs_output_section->bfd_section = bfd_abs_section_ptr;
486 /* The value "3" is ad-hoc, somewhat related to the expected number of
487 DEFINED expressions in a linker script. For most default linker
488 scripts, there are none. Why a hash table then? Well, it's somewhat
489 simpler to re-use working machinery than using a linked list in terms
490 of code-complexity here in ld, besides the initialization which just
491 looks like other code here. */
492 if (bfd_hash_table_init_n (&lang_definedness_table,
493 lang_definedness_newfunc, 3) != TRUE)
494 einfo (_("%P%F: out of memory during initialization"));
496 /* Callers of exp_fold_tree need to increment this. */
497 lang_statement_iteration = 0;
500 /*----------------------------------------------------------------------
501 A region is an area of memory declared with the
502 MEMORY { name:org=exp, len=exp ... }
503 syntax.
505 We maintain a list of all the regions here.
507 If no regions are specified in the script, then the default is used
508 which is created when looked up to be the entire data space.
510 If create is true we are creating a region inside a MEMORY block.
511 In this case it is probably an error to create a region that has
512 already been created. If we are not inside a MEMORY block it is
513 dubious to use an undeclared region name (except DEFAULT_MEMORY_REGION)
514 and so we issue a warning. */
516 static lang_memory_region_type *lang_memory_region_list;
517 static lang_memory_region_type **lang_memory_region_list_tail = &lang_memory_region_list;
519 lang_memory_region_type *
520 lang_memory_region_lookup (const char *const name, bfd_boolean create)
522 lang_memory_region_type *p;
523 lang_memory_region_type *new;
525 /* NAME is NULL for LMA memspecs if no region was specified. */
526 if (name == NULL)
527 return NULL;
529 for (p = lang_memory_region_list; p != NULL; p = p->next)
530 if (strcmp (p->name, name) == 0)
532 if (create)
533 einfo (_("%P:%S: warning: redeclaration of memory region '%s'\n"), name);
534 return p;
537 #if 0
538 /* This code used to always use the first region in the list as the
539 default region. I changed it to instead use a region
540 encompassing all of memory as the default region. This permits
541 NOLOAD sections to work reasonably without requiring a region.
542 People should specify what region they mean, if they really want
543 a region. */
544 if (strcmp (name, DEFAULT_MEMORY_REGION) == 0)
546 if (lang_memory_region_list != NULL)
547 return lang_memory_region_list;
549 #endif
551 if (!create && strcmp (name, DEFAULT_MEMORY_REGION))
552 einfo (_("%P:%S: warning: memory region %s not declared\n"), name);
554 new = stat_alloc (sizeof (lang_memory_region_type));
556 new->name = xstrdup (name);
557 new->next = NULL;
559 *lang_memory_region_list_tail = new;
560 lang_memory_region_list_tail = &new->next;
561 new->origin = 0;
562 new->flags = 0;
563 new->not_flags = 0;
564 new->length = ~(bfd_size_type) 0;
565 new->current = 0;
566 new->had_full_message = FALSE;
568 return new;
571 static lang_memory_region_type *
572 lang_memory_default (asection *section)
574 lang_memory_region_type *p;
576 flagword sec_flags = section->flags;
578 /* Override SEC_DATA to mean a writable section. */
579 if ((sec_flags & (SEC_ALLOC | SEC_READONLY | SEC_CODE)) == SEC_ALLOC)
580 sec_flags |= SEC_DATA;
582 for (p = lang_memory_region_list; p != NULL; p = p->next)
584 if ((p->flags & sec_flags) != 0
585 && (p->not_flags & sec_flags) == 0)
587 return p;
590 return lang_memory_region_lookup (DEFAULT_MEMORY_REGION, FALSE);
593 lang_output_section_statement_type *
594 lang_output_section_find (const char *const name)
596 lang_statement_union_type *u;
597 lang_output_section_statement_type *lookup;
599 for (u = lang_output_section_statement.head; u != NULL; u = lookup->next)
601 lookup = &u->output_section_statement;
602 if (strcmp (name, lookup->name) == 0)
603 return lookup;
605 return NULL;
608 lang_output_section_statement_type *
609 lang_output_section_statement_lookup (const char *const name)
611 lang_output_section_statement_type *lookup;
613 lookup = lang_output_section_find (name);
614 if (lookup == NULL)
616 lookup = new_stat (lang_output_section_statement, stat_ptr);
617 lookup->region = NULL;
618 lookup->lma_region = NULL;
619 lookup->fill = 0;
620 lookup->block_value = 1;
621 lookup->name = name;
623 lookup->next = NULL;
624 lookup->bfd_section = NULL;
625 lookup->processed = FALSE;
626 lookup->sectype = normal_section;
627 lookup->addr_tree = NULL;
628 lang_list_init (&lookup->children);
630 lookup->memspec = NULL;
631 lookup->flags = 0;
632 lookup->subsection_alignment = -1;
633 lookup->section_alignment = -1;
634 lookup->load_base = NULL;
635 lookup->update_dot_tree = NULL;
636 lookup->phdrs = NULL;
638 lang_statement_append (&lang_output_section_statement,
639 (lang_statement_union_type *) lookup,
640 &lookup->next);
642 return lookup;
645 static void
646 lang_map_flags (flagword flag)
648 if (flag & SEC_ALLOC)
649 minfo ("a");
651 if (flag & SEC_CODE)
652 minfo ("x");
654 if (flag & SEC_READONLY)
655 minfo ("r");
657 if (flag & SEC_DATA)
658 minfo ("w");
660 if (flag & SEC_LOAD)
661 minfo ("l");
664 void
665 lang_map (void)
667 lang_memory_region_type *m;
669 minfo (_("\nMemory Configuration\n\n"));
670 fprintf (config.map_file, "%-16s %-18s %-18s %s\n",
671 _("Name"), _("Origin"), _("Length"), _("Attributes"));
673 for (m = lang_memory_region_list; m != NULL; m = m->next)
675 char buf[100];
676 int len;
678 fprintf (config.map_file, "%-16s ", m->name);
680 sprintf_vma (buf, m->origin);
681 minfo ("0x%s ", buf);
682 len = strlen (buf);
683 while (len < 16)
685 print_space ();
686 ++len;
689 minfo ("0x%V", m->length);
690 if (m->flags || m->not_flags)
692 #ifndef BFD64
693 minfo (" ");
694 #endif
695 if (m->flags)
697 print_space ();
698 lang_map_flags (m->flags);
701 if (m->not_flags)
703 minfo (" !");
704 lang_map_flags (m->not_flags);
708 print_nl ();
711 fprintf (config.map_file, _("\nLinker script and memory map\n\n"));
713 print_statements ();
716 /* Initialize an output section. */
718 static void
719 init_os (lang_output_section_statement_type *s)
721 section_userdata_type *new;
723 if (s->bfd_section != NULL)
724 return;
726 if (strcmp (s->name, DISCARD_SECTION_NAME) == 0)
727 einfo (_("%P%F: Illegal use of `%s' section\n"), DISCARD_SECTION_NAME);
729 new = stat_alloc (sizeof (section_userdata_type));
731 s->bfd_section = bfd_get_section_by_name (output_bfd, s->name);
732 if (s->bfd_section == NULL)
733 s->bfd_section = bfd_make_section (output_bfd, s->name);
734 if (s->bfd_section == NULL)
736 einfo (_("%P%F: output format %s cannot represent section called %s\n"),
737 output_bfd->xvec->name, s->name);
739 s->bfd_section->output_section = s->bfd_section;
741 /* We initialize an output sections output offset to minus its own
742 vma to allow us to output a section through itself. */
743 s->bfd_section->output_offset = 0;
744 get_userdata (s->bfd_section) = new;
746 /* If there is a base address, make sure that any sections it might
747 mention are initialized. */
748 if (s->addr_tree != NULL)
749 exp_init_os (s->addr_tree);
751 if (s->load_base != NULL)
752 exp_init_os (s->load_base);
755 /* Make sure that all output sections mentioned in an expression are
756 initialized. */
758 static void
759 exp_init_os (etree_type *exp)
761 switch (exp->type.node_class)
763 case etree_assign:
764 exp_init_os (exp->assign.src);
765 break;
767 case etree_binary:
768 exp_init_os (exp->binary.lhs);
769 exp_init_os (exp->binary.rhs);
770 break;
772 case etree_trinary:
773 exp_init_os (exp->trinary.cond);
774 exp_init_os (exp->trinary.lhs);
775 exp_init_os (exp->trinary.rhs);
776 break;
778 case etree_unary:
779 exp_init_os (exp->unary.child);
780 break;
782 case etree_name:
783 switch (exp->type.node_code)
785 case ADDR:
786 case LOADADDR:
787 case SIZEOF:
789 lang_output_section_statement_type *os;
791 os = lang_output_section_find (exp->name.name);
792 if (os != NULL && os->bfd_section == NULL)
793 init_os (os);
796 break;
798 default:
799 break;
803 /* Sections marked with the SEC_LINK_ONCE flag should only be linked
804 once into the output. This routine checks each section, and
805 arrange to discard it if a section of the same name has already
806 been linked. If the section has COMDAT information, then it uses
807 that to decide whether the section should be included. This code
808 assumes that all relevant sections have the SEC_LINK_ONCE flag set;
809 that is, it does not depend solely upon the section name.
810 section_already_linked is called via bfd_map_over_sections. */
812 /* This is the shape of the elements inside the already_linked hash
813 table. It maps a name onto a list of already_linked elements with
814 the same name. It's possible to get more than one element in a
815 list if the COMDAT sections have different names. */
817 struct already_linked_hash_entry
819 struct bfd_hash_entry root;
820 struct already_linked *entry;
823 struct already_linked
825 struct already_linked *next;
826 asection *sec;
829 /* The hash table. */
831 static struct bfd_hash_table already_linked_table;
833 static void
834 section_already_linked (bfd *abfd, asection *sec, void *data)
836 lang_input_statement_type *entry = data;
837 flagword flags;
838 const char *name;
839 struct already_linked *l;
840 struct already_linked_hash_entry *already_linked_list;
842 /* If we are only reading symbols from this object, then we want to
843 discard all sections. */
844 if (entry->just_syms_flag)
846 bfd_link_just_syms (sec, &link_info);
847 return;
850 flags = bfd_get_section_flags (abfd, sec);
852 if ((flags & SEC_LINK_ONCE) == 0)
853 return;
855 /* FIXME: When doing a relocatable link, we may have trouble
856 copying relocations in other sections that refer to local symbols
857 in the section being discarded. Those relocations will have to
858 be converted somehow; as of this writing I'm not sure that any of
859 the backends handle that correctly.
861 It is tempting to instead not discard link once sections when
862 doing a relocatable link (technically, they should be discarded
863 whenever we are building constructors). However, that fails,
864 because the linker winds up combining all the link once sections
865 into a single large link once section, which defeats the purpose
866 of having link once sections in the first place.
868 Also, not merging link once sections in a relocatable link
869 causes trouble for MIPS ELF, which relies on link once semantics
870 to handle the .reginfo section correctly. */
872 name = bfd_get_section_name (abfd, sec);
874 already_linked_list =
875 ((struct already_linked_hash_entry *)
876 bfd_hash_lookup (&already_linked_table, name, TRUE, FALSE));
878 for (l = already_linked_list->entry; l != NULL; l = l->next)
880 if (sec->comdat == NULL
881 || l->sec->comdat == NULL
882 || strcmp (sec->comdat->name, l->sec->comdat->name) == 0)
884 /* The section has already been linked. See if we should
885 issue a warning. */
886 switch (flags & SEC_LINK_DUPLICATES)
888 default:
889 abort ();
891 case SEC_LINK_DUPLICATES_DISCARD:
892 break;
894 case SEC_LINK_DUPLICATES_ONE_ONLY:
895 if (sec->comdat == NULL)
896 einfo (_("%P: %B: warning: ignoring duplicate section `%s'\n"),
897 abfd, name);
898 else
899 einfo (_("%P: %B: warning: ignoring duplicate `%s' section symbol `%s'\n"),
900 abfd, name, sec->comdat->name);
901 break;
903 case SEC_LINK_DUPLICATES_SAME_CONTENTS:
904 /* FIXME: We should really dig out the contents of both
905 sections and memcmp them. The COFF/PE spec says that
906 the Microsoft linker does not implement this
907 correctly, so I'm not going to bother doing it
908 either. */
909 /* Fall through. */
910 case SEC_LINK_DUPLICATES_SAME_SIZE:
911 if (bfd_section_size (abfd, sec)
912 != bfd_section_size (l->sec->owner, l->sec))
913 einfo (_("%P: %B: warning: duplicate section `%s' has different size\n"),
914 abfd, name);
915 break;
918 /* Set the output_section field so that lang_add_section
919 does not create a lang_input_section structure for this
920 section. Since there might be a symbol in the section
921 being discarded, we must retain a pointer to the section
922 which we are really going to use. */
923 sec->output_section = bfd_abs_section_ptr;
924 sec->kept_section = l->sec;
926 if (flags & SEC_GROUP)
927 bfd_discard_group (abfd, sec);
929 return;
933 /* This is the first section with this name. Record it. Allocate
934 the memory from the same obstack as the hash table is kept in. */
936 l = bfd_hash_allocate (&already_linked_table, sizeof *l);
938 l->sec = sec;
939 l->next = already_linked_list->entry;
940 already_linked_list->entry = l;
943 /* Support routines for the hash table used by section_already_linked,
944 initialize the table, fill in an entry and remove the table. */
946 static struct bfd_hash_entry *
947 already_linked_newfunc (struct bfd_hash_entry *entry ATTRIBUTE_UNUSED,
948 struct bfd_hash_table *table,
949 const char *string ATTRIBUTE_UNUSED)
951 struct already_linked_hash_entry *ret =
952 bfd_hash_allocate (table, sizeof (struct already_linked_hash_entry));
954 ret->entry = NULL;
956 return &ret->root;
959 static void
960 already_linked_table_init (void)
962 if (! bfd_hash_table_init_n (&already_linked_table,
963 already_linked_newfunc,
964 42))
965 einfo (_("%P%F: Failed to create hash table\n"));
968 static void
969 already_linked_table_free (void)
971 bfd_hash_table_free (&already_linked_table);
974 /* The wild routines.
976 These expand statements like *(.text) and foo.o to a list of
977 explicit actions, like foo.o(.text), bar.o(.text) and
978 foo.o(.text, .data). */
980 /* Return TRUE if the PATTERN argument is a wildcard pattern.
981 Although backslashes are treated specially if a pattern contains
982 wildcards, we do not consider the mere presence of a backslash to
983 be enough to cause the pattern to be treated as a wildcard.
984 That lets us handle DOS filenames more naturally. */
986 static bfd_boolean
987 wildcardp (const char *pattern)
989 const char *s;
991 for (s = pattern; *s != '\0'; ++s)
992 if (*s == '?'
993 || *s == '*'
994 || *s == '[')
995 return TRUE;
996 return FALSE;
999 /* Add SECTION to the output section OUTPUT. Do this by creating a
1000 lang_input_section statement which is placed at PTR. FILE is the
1001 input file which holds SECTION. */
1003 void
1004 lang_add_section (lang_statement_list_type *ptr,
1005 asection *section,
1006 lang_output_section_statement_type *output,
1007 lang_input_statement_type *file)
1009 flagword flags;
1010 bfd_boolean discard;
1012 flags = bfd_get_section_flags (section->owner, section);
1014 discard = FALSE;
1016 /* Discard sections marked with SEC_EXCLUDE if we are doing a final
1017 link. Discard debugging sections marked with SEC_EXCLUDE on a
1018 relocatable link too. */
1019 if ((flags & SEC_EXCLUDE) != 0
1020 && ((flags & SEC_DEBUGGING) != 0 || !link_info.relocatable))
1021 discard = TRUE;
1023 /* Discard input sections which are assigned to a section named
1024 DISCARD_SECTION_NAME. */
1025 if (strcmp (output->name, DISCARD_SECTION_NAME) == 0)
1026 discard = TRUE;
1028 /* Discard debugging sections if we are stripping debugging
1029 information. */
1030 if ((link_info.strip == strip_debugger || link_info.strip == strip_all)
1031 && (flags & SEC_DEBUGGING) != 0)
1032 discard = TRUE;
1034 if (discard)
1036 if (section->output_section == NULL)
1038 /* This prevents future calls from assigning this section. */
1039 section->output_section = bfd_abs_section_ptr;
1041 return;
1044 if (section->output_section == NULL)
1046 bfd_boolean first;
1047 lang_input_section_type *new;
1048 flagword flags;
1050 if (output->bfd_section == NULL)
1051 init_os (output);
1053 first = ! output->bfd_section->linker_has_input;
1054 output->bfd_section->linker_has_input = 1;
1056 /* Add a section reference to the list. */
1057 new = new_stat (lang_input_section, ptr);
1059 new->section = section;
1060 new->ifile = file;
1061 section->output_section = output->bfd_section;
1063 flags = section->flags;
1065 /* We don't copy the SEC_NEVER_LOAD flag from an input section
1066 to an output section, because we want to be able to include a
1067 SEC_NEVER_LOAD section in the middle of an otherwise loaded
1068 section (I don't know why we want to do this, but we do).
1069 build_link_order in ldwrite.c handles this case by turning
1070 the embedded SEC_NEVER_LOAD section into a fill. */
1072 flags &= ~ SEC_NEVER_LOAD;
1074 /* If final link, don't copy the SEC_LINK_ONCE flags, they've
1075 already been processed. One reason to do this is that on pe
1076 format targets, .text$foo sections go into .text and it's odd
1077 to see .text with SEC_LINK_ONCE set. */
1079 if (! link_info.relocatable)
1080 flags &= ~ (SEC_LINK_ONCE | SEC_LINK_DUPLICATES);
1082 /* If this is not the first input section, and the SEC_READONLY
1083 flag is not currently set, then don't set it just because the
1084 input section has it set. */
1086 if (! first && (section->output_section->flags & SEC_READONLY) == 0)
1087 flags &= ~ SEC_READONLY;
1089 /* Keep SEC_MERGE and SEC_STRINGS only if they are the same. */
1090 if (! first
1091 && ((section->output_section->flags & (SEC_MERGE | SEC_STRINGS))
1092 != (flags & (SEC_MERGE | SEC_STRINGS))
1093 || ((flags & SEC_MERGE)
1094 && section->output_section->entsize != section->entsize)))
1096 section->output_section->flags &= ~ (SEC_MERGE | SEC_STRINGS);
1097 flags &= ~ (SEC_MERGE | SEC_STRINGS);
1100 /* For now make .tbss normal section. */
1101 if ((flags & SEC_THREAD_LOCAL) && ! link_info.relocatable)
1102 flags |= SEC_LOAD;
1104 section->output_section->flags |= flags;
1106 if (flags & SEC_MERGE)
1107 section->output_section->entsize = section->entsize;
1109 /* If SEC_READONLY is not set in the input section, then clear
1110 it from the output section. */
1111 if ((section->flags & SEC_READONLY) == 0)
1112 section->output_section->flags &= ~SEC_READONLY;
1114 switch (output->sectype)
1116 case normal_section:
1117 break;
1118 case dsect_section:
1119 case copy_section:
1120 case info_section:
1121 case overlay_section:
1122 output->bfd_section->flags &= ~SEC_ALLOC;
1123 break;
1124 case noload_section:
1125 output->bfd_section->flags &= ~SEC_LOAD;
1126 output->bfd_section->flags |= SEC_NEVER_LOAD;
1127 break;
1130 /* Copy over SEC_SMALL_DATA. */
1131 if (section->flags & SEC_SMALL_DATA)
1132 section->output_section->flags |= SEC_SMALL_DATA;
1134 if (section->alignment_power > output->bfd_section->alignment_power)
1135 output->bfd_section->alignment_power = section->alignment_power;
1137 /* If supplied an alignment, then force it. */
1138 if (output->section_alignment != -1)
1139 output->bfd_section->alignment_power = output->section_alignment;
1141 if (section->flags & SEC_BLOCK)
1143 section->output_section->flags |= SEC_BLOCK;
1144 /* FIXME: This value should really be obtained from the bfd... */
1145 output->block_value = 128;
1150 /* Handle wildcard sorting. This returns the lang_input_section which
1151 should follow the one we are going to create for SECTION and FILE,
1152 based on the sorting requirements of WILD. It returns NULL if the
1153 new section should just go at the end of the current list. */
1155 static lang_statement_union_type *
1156 wild_sort (lang_wild_statement_type *wild,
1157 struct wildcard_list *sec,
1158 lang_input_statement_type *file,
1159 asection *section)
1161 const char *section_name;
1162 lang_statement_union_type *l;
1164 if (!wild->filenames_sorted && (sec == NULL || !sec->spec.sorted))
1165 return NULL;
1167 section_name = bfd_get_section_name (file->the_bfd, section);
1168 for (l = wild->children.head; l != NULL; l = l->header.next)
1170 lang_input_section_type *ls;
1172 if (l->header.type != lang_input_section_enum)
1173 continue;
1174 ls = &l->input_section;
1176 /* Sorting by filename takes precedence over sorting by section
1177 name. */
1179 if (wild->filenames_sorted)
1181 const char *fn, *ln;
1182 bfd_boolean fa, la;
1183 int i;
1185 /* The PE support for the .idata section as generated by
1186 dlltool assumes that files will be sorted by the name of
1187 the archive and then the name of the file within the
1188 archive. */
1190 if (file->the_bfd != NULL
1191 && bfd_my_archive (file->the_bfd) != NULL)
1193 fn = bfd_get_filename (bfd_my_archive (file->the_bfd));
1194 fa = TRUE;
1196 else
1198 fn = file->filename;
1199 fa = FALSE;
1202 if (ls->ifile->the_bfd != NULL
1203 && bfd_my_archive (ls->ifile->the_bfd) != NULL)
1205 ln = bfd_get_filename (bfd_my_archive (ls->ifile->the_bfd));
1206 la = TRUE;
1208 else
1210 ln = ls->ifile->filename;
1211 la = FALSE;
1214 i = strcmp (fn, ln);
1215 if (i > 0)
1216 continue;
1217 else if (i < 0)
1218 break;
1220 if (fa || la)
1222 if (fa)
1223 fn = file->filename;
1224 if (la)
1225 ln = ls->ifile->filename;
1227 i = strcmp (fn, ln);
1228 if (i > 0)
1229 continue;
1230 else if (i < 0)
1231 break;
1235 /* Here either the files are not sorted by name, or we are
1236 looking at the sections for this file. */
1238 if (sec != NULL && sec->spec.sorted)
1240 if (strcmp (section_name,
1241 bfd_get_section_name (ls->ifile->the_bfd,
1242 ls->section))
1243 < 0)
1244 break;
1248 return l;
1251 /* Expand a wild statement for a particular FILE. SECTION may be
1252 NULL, in which case it is a wild card. */
1254 static void
1255 output_section_callback (lang_wild_statement_type *ptr,
1256 struct wildcard_list *sec,
1257 asection *section,
1258 lang_input_statement_type *file,
1259 void *output)
1261 lang_statement_union_type *before;
1263 /* Exclude sections that match UNIQUE_SECTION_LIST. */
1264 if (unique_section_p (bfd_get_section_name (file->the_bfd, section)))
1265 return;
1267 /* If the wild pattern was marked KEEP, the member sections
1268 should be as well. */
1269 if (ptr->keep_sections)
1270 section->flags |= SEC_KEEP;
1272 before = wild_sort (ptr, sec, file, section);
1274 /* Here BEFORE points to the lang_input_section which
1275 should follow the one we are about to add. If BEFORE
1276 is NULL, then the section should just go at the end
1277 of the current list. */
1279 if (before == NULL)
1280 lang_add_section (&ptr->children, section,
1281 (lang_output_section_statement_type *) output,
1282 file);
1283 else
1285 lang_statement_list_type list;
1286 lang_statement_union_type **pp;
1288 lang_list_init (&list);
1289 lang_add_section (&list, section,
1290 (lang_output_section_statement_type *) output,
1291 file);
1293 /* If we are discarding the section, LIST.HEAD will
1294 be NULL. */
1295 if (list.head != NULL)
1297 ASSERT (list.head->header.next == NULL);
1299 for (pp = &ptr->children.head;
1300 *pp != before;
1301 pp = &(*pp)->header.next)
1302 ASSERT (*pp != NULL);
1304 list.head->header.next = *pp;
1305 *pp = list.head;
1310 /* This is passed a file name which must have been seen already and
1311 added to the statement tree. We will see if it has been opened
1312 already and had its symbols read. If not then we'll read it. */
1314 static lang_input_statement_type *
1315 lookup_name (const char *name)
1317 lang_input_statement_type *search;
1319 for (search = (lang_input_statement_type *) input_file_chain.head;
1320 search != NULL;
1321 search = (lang_input_statement_type *) search->next_real_file)
1323 /* Use the local_sym_name as the name of the file that has
1324 already been loaded as filename might have been transformed
1325 via the search directory lookup mechanism. */
1326 const char * filename = search->local_sym_name;
1328 if (filename == NULL && name == NULL)
1329 return search;
1330 if (filename != NULL
1331 && name != NULL
1332 && strcmp (filename, name) == 0)
1333 break;
1336 if (search == NULL)
1337 search = new_afile (name, lang_input_file_is_search_file_enum, default_target,
1338 FALSE);
1340 /* If we have already added this file, or this file is not real
1341 (FIXME: can that ever actually happen?) or the name is NULL
1342 (FIXME: can that ever actually happen?) don't add this file. */
1343 if (search->loaded
1344 || ! search->real
1345 || search->filename == NULL)
1346 return search;
1348 if (! load_symbols (search, NULL))
1349 return NULL;
1351 return search;
1354 /* Get the symbols for an input file. */
1356 static bfd_boolean
1357 load_symbols (lang_input_statement_type *entry,
1358 lang_statement_list_type *place)
1360 char **matching;
1362 if (entry->loaded)
1363 return TRUE;
1365 ldfile_open_file (entry);
1367 if (! bfd_check_format (entry->the_bfd, bfd_archive)
1368 && ! bfd_check_format_matches (entry->the_bfd, bfd_object, &matching))
1370 bfd_error_type err;
1371 lang_statement_list_type *hold;
1372 bfd_boolean bad_load = TRUE;
1373 bfd_boolean save_ldlang_sysrooted_script;
1375 err = bfd_get_error ();
1377 /* See if the emulation has some special knowledge. */
1378 if (ldemul_unrecognized_file (entry))
1379 return TRUE;
1381 if (err == bfd_error_file_ambiguously_recognized)
1383 char **p;
1385 einfo (_("%B: file not recognized: %E\n"), entry->the_bfd);
1386 einfo (_("%B: matching formats:"), entry->the_bfd);
1387 for (p = matching; *p != NULL; p++)
1388 einfo (" %s", *p);
1389 einfo ("%F\n");
1391 else if (err != bfd_error_file_not_recognized
1392 || place == NULL)
1393 einfo (_("%F%B: file not recognized: %E\n"), entry->the_bfd);
1394 else
1395 bad_load = FALSE;
1397 bfd_close (entry->the_bfd);
1398 entry->the_bfd = NULL;
1400 /* Try to interpret the file as a linker script. */
1401 ldfile_open_command_file (entry->filename);
1403 hold = stat_ptr;
1404 stat_ptr = place;
1405 save_ldlang_sysrooted_script = ldlang_sysrooted_script;
1406 ldlang_sysrooted_script = entry->sysrooted;
1408 ldfile_assumed_script = TRUE;
1409 parser_input = input_script;
1410 yyparse ();
1411 ldfile_assumed_script = FALSE;
1413 ldlang_sysrooted_script = save_ldlang_sysrooted_script;
1414 stat_ptr = hold;
1416 return ! bad_load;
1419 if (ldemul_recognized_file (entry))
1420 return TRUE;
1422 /* We don't call ldlang_add_file for an archive. Instead, the
1423 add_symbols entry point will call ldlang_add_file, via the
1424 add_archive_element callback, for each element of the archive
1425 which is used. */
1426 switch (bfd_get_format (entry->the_bfd))
1428 default:
1429 break;
1431 case bfd_object:
1432 ldlang_add_file (entry);
1433 if (trace_files || trace_file_tries)
1434 info_msg ("%I\n", entry);
1435 break;
1437 case bfd_archive:
1438 if (entry->whole_archive)
1440 bfd *member = NULL;
1441 bfd_boolean loaded = TRUE;
1443 for (;;)
1445 member = bfd_openr_next_archived_file (entry->the_bfd, member);
1447 if (member == NULL)
1448 break;
1450 if (! bfd_check_format (member, bfd_object))
1452 einfo (_("%F%B: member %B in archive is not an object\n"),
1453 entry->the_bfd, member);
1454 loaded = FALSE;
1457 if (! ((*link_info.callbacks->add_archive_element)
1458 (&link_info, member, "--whole-archive")))
1459 abort ();
1461 if (! bfd_link_add_symbols (member, &link_info))
1463 einfo (_("%F%B: could not read symbols: %E\n"), member);
1464 loaded = FALSE;
1468 entry->loaded = loaded;
1469 return loaded;
1471 break;
1474 if (bfd_link_add_symbols (entry->the_bfd, &link_info))
1475 entry->loaded = TRUE;
1476 else
1477 einfo (_("%F%B: could not read symbols: %E\n"), entry->the_bfd);
1479 return entry->loaded;
1482 /* Handle a wild statement. S->FILENAME or S->SECTION_LIST or both
1483 may be NULL, indicating that it is a wildcard. Separate
1484 lang_input_section statements are created for each part of the
1485 expansion; they are added after the wild statement S. OUTPUT is
1486 the output section. */
1488 static void
1489 wild (lang_wild_statement_type *s,
1490 const char *target ATTRIBUTE_UNUSED,
1491 lang_output_section_statement_type *output)
1493 struct wildcard_list *sec;
1495 walk_wild (s, output_section_callback, output);
1497 for (sec = s->section_list; sec != NULL; sec = sec->next)
1499 if (default_common_section != NULL)
1500 break;
1501 if (sec->spec.name != NULL && strcmp (sec->spec.name, "COMMON") == 0)
1503 /* Remember the section that common is going to in case we
1504 later get something which doesn't know where to put it. */
1505 default_common_section = output;
1510 /* Return TRUE iff target is the sought target. */
1512 static int
1513 get_target (const bfd_target *target, void *data)
1515 const char *sought = data;
1517 return strcmp (target->name, sought) == 0;
1520 /* Like strcpy() but convert to lower case as well. */
1522 static void
1523 stricpy (char *dest, char *src)
1525 char c;
1527 while ((c = *src++) != 0)
1528 *dest++ = TOLOWER (c);
1530 *dest = 0;
1533 /* Remove the first occurrence of needle (if any) in haystack
1534 from haystack. */
1536 static void
1537 strcut (char *haystack, char *needle)
1539 haystack = strstr (haystack, needle);
1541 if (haystack)
1543 char *src;
1545 for (src = haystack + strlen (needle); *src;)
1546 *haystack++ = *src++;
1548 *haystack = 0;
1552 /* Compare two target format name strings.
1553 Return a value indicating how "similar" they are. */
1555 static int
1556 name_compare (char *first, char *second)
1558 char *copy1;
1559 char *copy2;
1560 int result;
1562 copy1 = xmalloc (strlen (first) + 1);
1563 copy2 = xmalloc (strlen (second) + 1);
1565 /* Convert the names to lower case. */
1566 stricpy (copy1, first);
1567 stricpy (copy2, second);
1569 /* Remove size and endian strings from the name. */
1570 strcut (copy1, "big");
1571 strcut (copy1, "little");
1572 strcut (copy2, "big");
1573 strcut (copy2, "little");
1575 /* Return a value based on how many characters match,
1576 starting from the beginning. If both strings are
1577 the same then return 10 * their length. */
1578 for (result = 0; copy1[result] == copy2[result]; result++)
1579 if (copy1[result] == 0)
1581 result *= 10;
1582 break;
1585 free (copy1);
1586 free (copy2);
1588 return result;
1591 /* Set by closest_target_match() below. */
1592 static const bfd_target *winner;
1594 /* Scan all the valid bfd targets looking for one that has the endianness
1595 requirement that was specified on the command line, and is the nearest
1596 match to the original output target. */
1598 static int
1599 closest_target_match (const bfd_target *target, void *data)
1601 const bfd_target *original = data;
1603 if (command_line.endian == ENDIAN_BIG
1604 && target->byteorder != BFD_ENDIAN_BIG)
1605 return 0;
1607 if (command_line.endian == ENDIAN_LITTLE
1608 && target->byteorder != BFD_ENDIAN_LITTLE)
1609 return 0;
1611 /* Must be the same flavour. */
1612 if (target->flavour != original->flavour)
1613 return 0;
1615 /* If we have not found a potential winner yet, then record this one. */
1616 if (winner == NULL)
1618 winner = target;
1619 return 0;
1622 /* Oh dear, we now have two potential candidates for a successful match.
1623 Compare their names and choose the better one. */
1624 if (name_compare (target->name, original->name)
1625 > name_compare (winner->name, original->name))
1626 winner = target;
1628 /* Keep on searching until wqe have checked them all. */
1629 return 0;
1632 /* Return the BFD target format of the first input file. */
1634 static char *
1635 get_first_input_target (void)
1637 char *target = NULL;
1639 LANG_FOR_EACH_INPUT_STATEMENT (s)
1641 if (s->header.type == lang_input_statement_enum
1642 && s->real)
1644 ldfile_open_file (s);
1646 if (s->the_bfd != NULL
1647 && bfd_check_format (s->the_bfd, bfd_object))
1649 target = bfd_get_target (s->the_bfd);
1651 if (target != NULL)
1652 break;
1657 return target;
1660 const char *
1661 lang_get_output_target (void)
1663 const char *target;
1665 /* Has the user told us which output format to use? */
1666 if (output_target != NULL)
1667 return output_target;
1669 /* No - has the current target been set to something other than
1670 the default? */
1671 if (current_target != default_target)
1672 return current_target;
1674 /* No - can we determine the format of the first input file? */
1675 target = get_first_input_target ();
1676 if (target != NULL)
1677 return target;
1679 /* Failed - use the default output target. */
1680 return default_target;
1683 /* Open the output file. */
1685 static bfd *
1686 open_output (const char *name)
1688 bfd *output;
1690 output_target = lang_get_output_target ();
1692 /* Has the user requested a particular endianness on the command
1693 line? */
1694 if (command_line.endian != ENDIAN_UNSET)
1696 const bfd_target *target;
1697 enum bfd_endian desired_endian;
1699 /* Get the chosen target. */
1700 target = bfd_search_for_target (get_target, (void *) output_target);
1702 /* If the target is not supported, we cannot do anything. */
1703 if (target != NULL)
1705 if (command_line.endian == ENDIAN_BIG)
1706 desired_endian = BFD_ENDIAN_BIG;
1707 else
1708 desired_endian = BFD_ENDIAN_LITTLE;
1710 /* See if the target has the wrong endianness. This should
1711 not happen if the linker script has provided big and
1712 little endian alternatives, but some scrips don't do
1713 this. */
1714 if (target->byteorder != desired_endian)
1716 /* If it does, then see if the target provides
1717 an alternative with the correct endianness. */
1718 if (target->alternative_target != NULL
1719 && (target->alternative_target->byteorder == desired_endian))
1720 output_target = target->alternative_target->name;
1721 else
1723 /* Try to find a target as similar as possible to
1724 the default target, but which has the desired
1725 endian characteristic. */
1726 bfd_search_for_target (closest_target_match,
1727 (void *) target);
1729 /* Oh dear - we could not find any targets that
1730 satisfy our requirements. */
1731 if (winner == NULL)
1732 einfo (_("%P: warning: could not find any targets that match endianness requirement\n"));
1733 else
1734 output_target = winner->name;
1740 output = bfd_openw (name, output_target);
1742 if (output == NULL)
1744 if (bfd_get_error () == bfd_error_invalid_target)
1745 einfo (_("%P%F: target %s not found\n"), output_target);
1747 einfo (_("%P%F: cannot open output file %s: %E\n"), name);
1750 delete_output_file_on_failure = TRUE;
1752 #if 0
1753 output->flags |= D_PAGED;
1754 #endif
1756 if (! bfd_set_format (output, bfd_object))
1757 einfo (_("%P%F:%s: can not make object file: %E\n"), name);
1758 if (! bfd_set_arch_mach (output,
1759 ldfile_output_architecture,
1760 ldfile_output_machine))
1761 einfo (_("%P%F:%s: can not set architecture: %E\n"), name);
1763 link_info.hash = bfd_link_hash_table_create (output);
1764 if (link_info.hash == NULL)
1765 einfo (_("%P%F: can not create link hash table: %E\n"));
1767 bfd_set_gp_size (output, g_switch_value);
1768 return output;
1771 static void
1772 ldlang_open_output (lang_statement_union_type *statement)
1774 switch (statement->header.type)
1776 case lang_output_statement_enum:
1777 ASSERT (output_bfd == NULL);
1778 output_bfd = open_output (statement->output_statement.name);
1779 ldemul_set_output_arch ();
1780 if (config.magic_demand_paged && !link_info.relocatable)
1781 output_bfd->flags |= D_PAGED;
1782 else
1783 output_bfd->flags &= ~D_PAGED;
1784 if (config.text_read_only)
1785 output_bfd->flags |= WP_TEXT;
1786 else
1787 output_bfd->flags &= ~WP_TEXT;
1788 if (link_info.traditional_format)
1789 output_bfd->flags |= BFD_TRADITIONAL_FORMAT;
1790 else
1791 output_bfd->flags &= ~BFD_TRADITIONAL_FORMAT;
1792 break;
1794 case lang_target_statement_enum:
1795 current_target = statement->target_statement.target;
1796 break;
1797 default:
1798 break;
1802 /* Convert between addresses in bytes and sizes in octets.
1803 For currently supported targets, octets_per_byte is always a power
1804 of two, so we can use shifts. */
1805 #define TO_ADDR(X) ((X) >> opb_shift)
1806 #define TO_SIZE(X) ((X) << opb_shift)
1808 /* Support the above. */
1809 static unsigned int opb_shift = 0;
1811 static void
1812 init_opb (void)
1814 unsigned x = bfd_arch_mach_octets_per_byte (ldfile_output_architecture,
1815 ldfile_output_machine);
1816 opb_shift = 0;
1817 if (x > 1)
1818 while ((x & 1) == 0)
1820 x >>= 1;
1821 ++opb_shift;
1823 ASSERT (x == 1);
1826 /* Open all the input files. */
1828 static void
1829 open_input_bfds (lang_statement_union_type *s, bfd_boolean force)
1831 for (; s != NULL; s = s->header.next)
1833 switch (s->header.type)
1835 case lang_constructors_statement_enum:
1836 open_input_bfds (constructor_list.head, force);
1837 break;
1838 case lang_output_section_statement_enum:
1839 open_input_bfds (s->output_section_statement.children.head, force);
1840 break;
1841 case lang_wild_statement_enum:
1842 /* Maybe we should load the file's symbols. */
1843 if (s->wild_statement.filename
1844 && ! wildcardp (s->wild_statement.filename))
1845 (void) lookup_name (s->wild_statement.filename);
1846 open_input_bfds (s->wild_statement.children.head, force);
1847 break;
1848 case lang_group_statement_enum:
1850 struct bfd_link_hash_entry *undefs;
1852 /* We must continually search the entries in the group
1853 until no new symbols are added to the list of undefined
1854 symbols. */
1858 undefs = link_info.hash->undefs_tail;
1859 open_input_bfds (s->group_statement.children.head, TRUE);
1861 while (undefs != link_info.hash->undefs_tail);
1863 break;
1864 case lang_target_statement_enum:
1865 current_target = s->target_statement.target;
1866 break;
1867 case lang_input_statement_enum:
1868 if (s->input_statement.real)
1870 lang_statement_list_type add;
1872 s->input_statement.target = current_target;
1874 /* If we are being called from within a group, and this
1875 is an archive which has already been searched, then
1876 force it to be researched unless the whole archive
1877 has been loaded already. */
1878 if (force
1879 && !s->input_statement.whole_archive
1880 && s->input_statement.loaded
1881 && bfd_check_format (s->input_statement.the_bfd,
1882 bfd_archive))
1883 s->input_statement.loaded = FALSE;
1885 lang_list_init (&add);
1887 if (! load_symbols (&s->input_statement, &add))
1888 config.make_executable = FALSE;
1890 if (add.head != NULL)
1892 *add.tail = s->header.next;
1893 s->header.next = add.head;
1896 break;
1897 default:
1898 break;
1903 /* If there are [COMMONS] statements, put a wild one into the bss
1904 section. */
1906 static void
1907 lang_reasonable_defaults (void)
1909 #if 0
1910 lang_output_section_statement_lookup (".text");
1911 lang_output_section_statement_lookup (".data");
1913 default_common_section = lang_output_section_statement_lookup (".bss");
1915 if (!placed_commons)
1917 lang_wild_statement_type *new =
1918 new_stat (lang_wild_statement,
1919 &default_common_section->children);
1921 new->section_name = "COMMON";
1922 new->filename = NULL;
1923 lang_list_init (&new->children);
1925 #endif
1928 /* Add a symbol to a hash of symbols used in DEFINED (NAME) expressions. */
1930 void
1931 lang_track_definedness (const char *name)
1933 if (bfd_hash_lookup (&lang_definedness_table, name, TRUE, FALSE) == NULL)
1934 einfo (_("%P%F: bfd_hash_lookup failed creating symbol %s\n"), name);
1937 /* New-function for the definedness hash table. */
1939 static struct bfd_hash_entry *
1940 lang_definedness_newfunc (struct bfd_hash_entry *entry,
1941 struct bfd_hash_table *table ATTRIBUTE_UNUSED,
1942 const char *name ATTRIBUTE_UNUSED)
1944 struct lang_definedness_hash_entry *ret
1945 = (struct lang_definedness_hash_entry *) entry;
1947 if (ret == NULL)
1948 ret = (struct lang_definedness_hash_entry *)
1949 bfd_hash_allocate (table, sizeof (struct lang_definedness_hash_entry));
1951 if (ret == NULL)
1952 einfo (_("%P%F: bfd_hash_allocate failed creating symbol %s\n"), name);
1954 ret->iteration = -1;
1955 return &ret->root;
1958 /* Return the iteration when the definition of NAME was last updated. A
1959 value of -1 means that the symbol is not defined in the linker script
1960 or the command line, but may be defined in the linker symbol table. */
1963 lang_symbol_definition_iteration (const char *name)
1965 struct lang_definedness_hash_entry *defentry
1966 = (struct lang_definedness_hash_entry *)
1967 bfd_hash_lookup (&lang_definedness_table, name, FALSE, FALSE);
1969 /* We've already created this one on the presence of DEFINED in the
1970 script, so it can't be NULL unless something is borked elsewhere in
1971 the code. */
1972 if (defentry == NULL)
1973 FAIL ();
1975 return defentry->iteration;
1978 /* Update the definedness state of NAME. */
1980 void
1981 lang_update_definedness (const char *name, struct bfd_link_hash_entry *h)
1983 struct lang_definedness_hash_entry *defentry
1984 = (struct lang_definedness_hash_entry *)
1985 bfd_hash_lookup (&lang_definedness_table, name, FALSE, FALSE);
1987 /* We don't keep track of symbols not tested with DEFINED. */
1988 if (defentry == NULL)
1989 return;
1991 /* If the symbol was already defined, and not from an earlier statement
1992 iteration, don't update the definedness iteration, because that'd
1993 make the symbol seem defined in the linker script at this point, and
1994 it wasn't; it was defined in some object. If we do anyway, DEFINED
1995 would start to yield false before this point and the construct "sym =
1996 DEFINED (sym) ? sym : X;" would change sym to X despite being defined
1997 in an object. */
1998 if (h->type != bfd_link_hash_undefined
1999 && h->type != bfd_link_hash_common
2000 && h->type != bfd_link_hash_new
2001 && defentry->iteration == -1)
2002 return;
2004 defentry->iteration = lang_statement_iteration;
2007 /* Add the supplied name to the symbol table as an undefined reference.
2008 This is a two step process as the symbol table doesn't even exist at
2009 the time the ld command line is processed. First we put the name
2010 on a list, then, once the output file has been opened, transfer the
2011 name to the symbol table. */
2013 typedef struct bfd_sym_chain ldlang_undef_chain_list_type;
2015 #define ldlang_undef_chain_list_head entry_symbol.next
2017 void
2018 ldlang_add_undef (const char *const name)
2020 ldlang_undef_chain_list_type *new =
2021 stat_alloc (sizeof (ldlang_undef_chain_list_type));
2023 new->next = ldlang_undef_chain_list_head;
2024 ldlang_undef_chain_list_head = new;
2026 new->name = xstrdup (name);
2028 if (output_bfd != NULL)
2029 insert_undefined (new->name);
2032 /* Insert NAME as undefined in the symbol table. */
2034 static void
2035 insert_undefined (const char *name)
2037 struct bfd_link_hash_entry *h;
2039 h = bfd_link_hash_lookup (link_info.hash, name, TRUE, FALSE, TRUE);
2040 if (h == NULL)
2041 einfo (_("%P%F: bfd_link_hash_lookup failed: %E\n"));
2042 if (h->type == bfd_link_hash_new)
2044 h->type = bfd_link_hash_undefined;
2045 h->u.undef.abfd = NULL;
2046 bfd_link_add_undef (link_info.hash, h);
2050 /* Run through the list of undefineds created above and place them
2051 into the linker hash table as undefined symbols belonging to the
2052 script file. */
2054 static void
2055 lang_place_undefineds (void)
2057 ldlang_undef_chain_list_type *ptr;
2059 for (ptr = ldlang_undef_chain_list_head; ptr != NULL; ptr = ptr->next)
2060 insert_undefined (ptr->name);
2063 /* Open input files and attach to output sections. */
2065 static void
2066 map_input_to_output_sections
2067 (lang_statement_union_type *s, const char *target,
2068 lang_output_section_statement_type *output_section_statement)
2070 for (; s != NULL; s = s->header.next)
2072 switch (s->header.type)
2074 case lang_wild_statement_enum:
2075 wild (&s->wild_statement, target, output_section_statement);
2076 break;
2077 case lang_constructors_statement_enum:
2078 map_input_to_output_sections (constructor_list.head,
2079 target,
2080 output_section_statement);
2081 break;
2082 case lang_output_section_statement_enum:
2083 map_input_to_output_sections (s->output_section_statement.children.head,
2084 target,
2085 &s->output_section_statement);
2086 break;
2087 case lang_output_statement_enum:
2088 break;
2089 case lang_target_statement_enum:
2090 target = s->target_statement.target;
2091 break;
2092 case lang_group_statement_enum:
2093 map_input_to_output_sections (s->group_statement.children.head,
2094 target,
2095 output_section_statement);
2096 break;
2097 case lang_fill_statement_enum:
2098 case lang_input_section_enum:
2099 case lang_object_symbols_statement_enum:
2100 case lang_data_statement_enum:
2101 case lang_reloc_statement_enum:
2102 case lang_padding_statement_enum:
2103 case lang_input_statement_enum:
2104 if (output_section_statement != NULL
2105 && output_section_statement->bfd_section == NULL)
2106 init_os (output_section_statement);
2107 break;
2108 case lang_assignment_statement_enum:
2109 if (output_section_statement != NULL
2110 && output_section_statement->bfd_section == NULL)
2111 init_os (output_section_statement);
2113 /* Make sure that any sections mentioned in the assignment
2114 are initialized. */
2115 exp_init_os (s->assignment_statement.exp);
2116 break;
2117 case lang_afile_asection_pair_statement_enum:
2118 FAIL ();
2119 break;
2120 case lang_address_statement_enum:
2121 /* Mark the specified section with the supplied address. */
2123 lang_output_section_statement_type *os =
2124 lang_output_section_statement_lookup
2125 (s->address_statement.section_name);
2127 if (os->bfd_section == NULL)
2128 init_os (os);
2129 os->addr_tree = s->address_statement.address;
2131 break;
2136 /* An output section might have been removed after its statement was
2137 added. For example, ldemul_before_allocation can remove dynamic
2138 sections if they turn out to be not needed. Clean them up here. */
2140 static void
2141 strip_excluded_output_sections (void)
2143 lang_statement_union_type *u;
2145 for (u = lang_output_section_statement.head;
2146 u != NULL;
2147 u = u->output_section_statement.next)
2149 lang_output_section_statement_type *os;
2150 asection *s;
2152 os = &u->output_section_statement;
2153 s = os->bfd_section;
2154 if (s != NULL && (s->flags & SEC_EXCLUDE) != 0)
2156 asection **p;
2158 os->bfd_section = NULL;
2160 for (p = &output_bfd->sections; *p; p = &(*p)->next)
2161 if (*p == s)
2163 bfd_section_list_remove (output_bfd, p);
2164 output_bfd->section_count--;
2165 break;
2171 static void
2172 print_output_section_statement
2173 (lang_output_section_statement_type *output_section_statement)
2175 asection *section = output_section_statement->bfd_section;
2176 int len;
2178 if (output_section_statement != abs_output_section)
2180 minfo ("\n%s", output_section_statement->name);
2182 if (section != NULL)
2184 print_dot = section->vma;
2186 len = strlen (output_section_statement->name);
2187 if (len >= SECTION_NAME_MAP_LENGTH - 1)
2189 print_nl ();
2190 len = 0;
2192 while (len < SECTION_NAME_MAP_LENGTH)
2194 print_space ();
2195 ++len;
2198 minfo ("0x%V %W", section->vma, section->_raw_size);
2200 if (output_section_statement->load_base != NULL)
2202 bfd_vma addr;
2204 addr = exp_get_abs_int (output_section_statement->load_base, 0,
2205 "load base", lang_final_phase_enum);
2206 minfo (_(" load address 0x%V"), addr);
2210 print_nl ();
2213 print_statement_list (output_section_statement->children.head,
2214 output_section_statement);
2217 static void
2218 print_assignment (lang_assignment_statement_type *assignment,
2219 lang_output_section_statement_type *output_section)
2221 int i;
2222 etree_value_type result;
2224 for (i = 0; i < SECTION_NAME_MAP_LENGTH; i++)
2225 print_space ();
2227 result = exp_fold_tree (assignment->exp->assign.src, output_section,
2228 lang_final_phase_enum, print_dot, &print_dot);
2229 if (result.valid_p)
2231 const char *dst;
2232 bfd_vma value;
2234 value = result.value + result.section->bfd_section->vma;
2235 dst = assignment->exp->assign.dst;
2237 minfo ("0x%V", value);
2238 if (dst[0] == '.' && dst[1] == 0)
2239 print_dot = value;
2241 else
2243 minfo ("*undef* ");
2244 #ifdef BFD64
2245 minfo (" ");
2246 #endif
2249 minfo (" ");
2251 exp_print_tree (assignment->exp);
2253 print_nl ();
2256 static void
2257 print_input_statement (lang_input_statement_type *statm)
2259 if (statm->filename != NULL)
2261 fprintf (config.map_file, "LOAD %s\n", statm->filename);
2265 /* Print all symbols defined in a particular section. This is called
2266 via bfd_link_hash_traverse. */
2268 static bfd_boolean
2269 print_one_symbol (struct bfd_link_hash_entry *hash_entry, void *ptr)
2271 asection *sec = ptr;
2273 if ((hash_entry->type == bfd_link_hash_defined
2274 || hash_entry->type == bfd_link_hash_defweak)
2275 && sec == hash_entry->u.def.section)
2277 int i;
2279 for (i = 0; i < SECTION_NAME_MAP_LENGTH; i++)
2280 print_space ();
2281 minfo ("0x%V ",
2282 (hash_entry->u.def.value
2283 + hash_entry->u.def.section->output_offset
2284 + hash_entry->u.def.section->output_section->vma));
2286 minfo (" %T\n", hash_entry->root.string);
2289 return TRUE;
2292 /* Print information about an input section to the map file. */
2294 static void
2295 print_input_section (lang_input_section_type *in)
2297 asection *i = in->section;
2298 bfd_size_type size = i->_cooked_size != 0 ? i->_cooked_size : i->_raw_size;
2300 init_opb ();
2301 if (size != 0)
2303 print_space ();
2305 minfo ("%s", i->name);
2307 if (i->output_section != NULL)
2309 int len;
2311 len = 1 + strlen (i->name);
2312 if (len >= SECTION_NAME_MAP_LENGTH - 1)
2314 print_nl ();
2315 len = 0;
2317 while (len < SECTION_NAME_MAP_LENGTH)
2319 print_space ();
2320 ++len;
2323 minfo ("0x%V %W %B\n",
2324 i->output_section->vma + i->output_offset, TO_ADDR (size),
2325 i->owner);
2327 if (i->_cooked_size != 0 && i->_cooked_size != i->_raw_size)
2329 len = SECTION_NAME_MAP_LENGTH + 3;
2330 #ifdef BFD64
2331 len += 16;
2332 #else
2333 len += 8;
2334 #endif
2335 while (len > 0)
2337 print_space ();
2338 --len;
2341 minfo (_("%W (size before relaxing)\n"), i->_raw_size);
2344 bfd_link_hash_traverse (link_info.hash, print_one_symbol, i);
2346 print_dot = (i->output_section->vma + i->output_offset
2347 + TO_ADDR (size));
2352 static void
2353 print_fill_statement (lang_fill_statement_type *fill)
2355 size_t size;
2356 unsigned char *p;
2357 fputs (" FILL mask 0x", config.map_file);
2358 for (p = fill->fill->data, size = fill->fill->size; size != 0; p++, size--)
2359 fprintf (config.map_file, "%02x", *p);
2360 fputs ("\n", config.map_file);
2363 static void
2364 print_data_statement (lang_data_statement_type *data)
2366 int i;
2367 bfd_vma addr;
2368 bfd_size_type size;
2369 const char *name;
2371 init_opb ();
2372 for (i = 0; i < SECTION_NAME_MAP_LENGTH; i++)
2373 print_space ();
2375 addr = data->output_vma;
2376 if (data->output_section != NULL)
2377 addr += data->output_section->vma;
2379 switch (data->type)
2381 default:
2382 abort ();
2383 case BYTE:
2384 size = BYTE_SIZE;
2385 name = "BYTE";
2386 break;
2387 case SHORT:
2388 size = SHORT_SIZE;
2389 name = "SHORT";
2390 break;
2391 case LONG:
2392 size = LONG_SIZE;
2393 name = "LONG";
2394 break;
2395 case QUAD:
2396 size = QUAD_SIZE;
2397 name = "QUAD";
2398 break;
2399 case SQUAD:
2400 size = QUAD_SIZE;
2401 name = "SQUAD";
2402 break;
2405 minfo ("0x%V %W %s 0x%v", addr, size, name, data->value);
2407 if (data->exp->type.node_class != etree_value)
2409 print_space ();
2410 exp_print_tree (data->exp);
2413 print_nl ();
2415 print_dot = addr + TO_ADDR (size);
2418 /* Print an address statement. These are generated by options like
2419 -Ttext. */
2421 static void
2422 print_address_statement (lang_address_statement_type *address)
2424 minfo (_("Address of section %s set to "), address->section_name);
2425 exp_print_tree (address->address);
2426 print_nl ();
2429 /* Print a reloc statement. */
2431 static void
2432 print_reloc_statement (lang_reloc_statement_type *reloc)
2434 int i;
2435 bfd_vma addr;
2436 bfd_size_type size;
2438 init_opb ();
2439 for (i = 0; i < SECTION_NAME_MAP_LENGTH; i++)
2440 print_space ();
2442 addr = reloc->output_vma;
2443 if (reloc->output_section != NULL)
2444 addr += reloc->output_section->vma;
2446 size = bfd_get_reloc_size (reloc->howto);
2448 minfo ("0x%V %W RELOC %s ", addr, size, reloc->howto->name);
2450 if (reloc->name != NULL)
2451 minfo ("%s+", reloc->name);
2452 else
2453 minfo ("%s+", reloc->section->name);
2455 exp_print_tree (reloc->addend_exp);
2457 print_nl ();
2459 print_dot = addr + TO_ADDR (size);
2462 static void
2463 print_padding_statement (lang_padding_statement_type *s)
2465 int len;
2466 bfd_vma addr;
2468 init_opb ();
2469 minfo (" *fill*");
2471 len = sizeof " *fill*" - 1;
2472 while (len < SECTION_NAME_MAP_LENGTH)
2474 print_space ();
2475 ++len;
2478 addr = s->output_offset;
2479 if (s->output_section != NULL)
2480 addr += s->output_section->vma;
2481 minfo ("0x%V %W ", addr, s->size);
2483 if (s->fill->size != 0)
2485 size_t size;
2486 unsigned char *p;
2487 for (p = s->fill->data, size = s->fill->size; size != 0; p++, size--)
2488 fprintf (config.map_file, "%02x", *p);
2491 print_nl ();
2493 print_dot = addr + TO_ADDR (s->size);
2496 static void
2497 print_wild_statement (lang_wild_statement_type *w,
2498 lang_output_section_statement_type *os)
2500 struct wildcard_list *sec;
2502 print_space ();
2504 if (w->filenames_sorted)
2505 minfo ("SORT(");
2506 if (w->filename != NULL)
2507 minfo ("%s", w->filename);
2508 else
2509 minfo ("*");
2510 if (w->filenames_sorted)
2511 minfo (")");
2513 minfo ("(");
2514 for (sec = w->section_list; sec; sec = sec->next)
2516 if (sec->spec.sorted)
2517 minfo ("SORT(");
2518 if (sec->spec.exclude_name_list != NULL)
2520 name_list *tmp;
2521 minfo ("EXCLUDE_FILE(%s", sec->spec.exclude_name_list->name);
2522 for (tmp = sec->spec.exclude_name_list->next; tmp; tmp = tmp->next)
2523 minfo (" %s", tmp->name);
2524 minfo (") ");
2526 if (sec->spec.name != NULL)
2527 minfo ("%s", sec->spec.name);
2528 else
2529 minfo ("*");
2530 if (sec->spec.sorted)
2531 minfo (")");
2532 if (sec->next)
2533 minfo (" ");
2535 minfo (")");
2537 print_nl ();
2539 print_statement_list (w->children.head, os);
2542 /* Print a group statement. */
2544 static void
2545 print_group (lang_group_statement_type *s,
2546 lang_output_section_statement_type *os)
2548 fprintf (config.map_file, "START GROUP\n");
2549 print_statement_list (s->children.head, os);
2550 fprintf (config.map_file, "END GROUP\n");
2553 /* Print the list of statements in S.
2554 This can be called for any statement type. */
2556 static void
2557 print_statement_list (lang_statement_union_type *s,
2558 lang_output_section_statement_type *os)
2560 while (s != NULL)
2562 print_statement (s, os);
2563 s = s->header.next;
2567 /* Print the first statement in statement list S.
2568 This can be called for any statement type. */
2570 static void
2571 print_statement (lang_statement_union_type *s,
2572 lang_output_section_statement_type *os)
2574 switch (s->header.type)
2576 default:
2577 fprintf (config.map_file, _("Fail with %d\n"), s->header.type);
2578 FAIL ();
2579 break;
2580 case lang_constructors_statement_enum:
2581 if (constructor_list.head != NULL)
2583 if (constructors_sorted)
2584 minfo (" SORT (CONSTRUCTORS)\n");
2585 else
2586 minfo (" CONSTRUCTORS\n");
2587 print_statement_list (constructor_list.head, os);
2589 break;
2590 case lang_wild_statement_enum:
2591 print_wild_statement (&s->wild_statement, os);
2592 break;
2593 case lang_address_statement_enum:
2594 print_address_statement (&s->address_statement);
2595 break;
2596 case lang_object_symbols_statement_enum:
2597 minfo (" CREATE_OBJECT_SYMBOLS\n");
2598 break;
2599 case lang_fill_statement_enum:
2600 print_fill_statement (&s->fill_statement);
2601 break;
2602 case lang_data_statement_enum:
2603 print_data_statement (&s->data_statement);
2604 break;
2605 case lang_reloc_statement_enum:
2606 print_reloc_statement (&s->reloc_statement);
2607 break;
2608 case lang_input_section_enum:
2609 print_input_section (&s->input_section);
2610 break;
2611 case lang_padding_statement_enum:
2612 print_padding_statement (&s->padding_statement);
2613 break;
2614 case lang_output_section_statement_enum:
2615 print_output_section_statement (&s->output_section_statement);
2616 break;
2617 case lang_assignment_statement_enum:
2618 print_assignment (&s->assignment_statement, os);
2619 break;
2620 case lang_target_statement_enum:
2621 fprintf (config.map_file, "TARGET(%s)\n", s->target_statement.target);
2622 break;
2623 case lang_output_statement_enum:
2624 minfo ("OUTPUT(%s", s->output_statement.name);
2625 if (output_target != NULL)
2626 minfo (" %s", output_target);
2627 minfo (")\n");
2628 break;
2629 case lang_input_statement_enum:
2630 print_input_statement (&s->input_statement);
2631 break;
2632 case lang_group_statement_enum:
2633 print_group (&s->group_statement, os);
2634 break;
2635 case lang_afile_asection_pair_statement_enum:
2636 FAIL ();
2637 break;
2641 static void
2642 print_statements (void)
2644 print_statement_list (statement_list.head, abs_output_section);
2647 /* Print the first N statements in statement list S to STDERR.
2648 If N == 0, nothing is printed.
2649 If N < 0, the entire list is printed.
2650 Intended to be called from GDB. */
2652 void
2653 dprint_statement (lang_statement_union_type *s, int n)
2655 FILE *map_save = config.map_file;
2657 config.map_file = stderr;
2659 if (n < 0)
2660 print_statement_list (s, abs_output_section);
2661 else
2663 while (s && --n >= 0)
2665 print_statement (s, abs_output_section);
2666 s = s->header.next;
2670 config.map_file = map_save;
2673 static void
2674 insert_pad (lang_statement_union_type **ptr,
2675 fill_type *fill,
2676 unsigned int alignment_needed,
2677 asection *output_section,
2678 bfd_vma dot)
2680 static fill_type zero_fill = { 1, { 0 } };
2681 lang_statement_union_type *pad;
2683 pad = ((lang_statement_union_type *)
2684 ((char *) ptr - offsetof (lang_statement_union_type, header.next)));
2685 if (ptr != &statement_list.head
2686 && pad->header.type == lang_padding_statement_enum
2687 && pad->padding_statement.output_section == output_section)
2689 /* Use the existing pad statement. The above test on output
2690 section is probably redundant, but it doesn't hurt to check. */
2692 else
2694 /* Make a new padding statement, linked into existing chain. */
2695 pad = stat_alloc (sizeof (lang_padding_statement_type));
2696 pad->header.next = *ptr;
2697 *ptr = pad;
2698 pad->header.type = lang_padding_statement_enum;
2699 pad->padding_statement.output_section = output_section;
2700 if (fill == NULL)
2701 fill = &zero_fill;
2702 pad->padding_statement.fill = fill;
2704 pad->padding_statement.output_offset = dot - output_section->vma;
2705 pad->padding_statement.size = alignment_needed;
2706 output_section->_raw_size += alignment_needed;
2709 /* Work out how much this section will move the dot point. */
2711 static bfd_vma
2712 size_input_section (lang_statement_union_type **this_ptr,
2713 lang_output_section_statement_type *output_section_statement,
2714 fill_type *fill,
2715 bfd_vma dot)
2717 lang_input_section_type *is = &((*this_ptr)->input_section);
2718 asection *i = is->section;
2720 if (!is->ifile->just_syms_flag)
2722 unsigned int alignment_needed;
2723 asection *o;
2725 /* Align this section first to the input sections requirement,
2726 then to the output section's requirement. If this alignment
2727 is greater than any seen before, then record it too. Perform
2728 the alignment by inserting a magic 'padding' statement. */
2730 if (output_section_statement->subsection_alignment != -1)
2731 i->alignment_power = output_section_statement->subsection_alignment;
2733 o = output_section_statement->bfd_section;
2734 if (o->alignment_power < i->alignment_power)
2735 o->alignment_power = i->alignment_power;
2737 alignment_needed = align_power (dot, i->alignment_power) - dot;
2739 if (alignment_needed != 0)
2741 insert_pad (this_ptr, fill, TO_SIZE (alignment_needed), o, dot);
2742 dot += alignment_needed;
2745 /* Remember where in the output section this input section goes. */
2747 i->output_offset = dot - o->vma;
2749 /* Mark how big the output section must be to contain this now. */
2750 if (i->_cooked_size != 0)
2751 dot += TO_ADDR (i->_cooked_size);
2752 else
2753 dot += TO_ADDR (i->_raw_size);
2754 o->_raw_size = TO_SIZE (dot - o->vma);
2756 else
2758 i->output_offset = i->vma - output_section_statement->bfd_section->vma;
2761 return dot;
2764 #define IGNORE_SECTION(bfd, s) \
2765 (((bfd_get_section_flags (bfd, s) & (SEC_ALLOC | SEC_NEVER_LOAD)) \
2766 != SEC_ALLOC) \
2767 || bfd_section_size (bfd, s) == 0)
2769 /* Check to see if any allocated sections overlap with other allocated
2770 sections. This can happen when the linker script specifically specifies
2771 the output section addresses of the two sections. */
2773 static void
2774 lang_check_section_addresses (void)
2776 asection *s;
2778 /* Scan all sections in the output list. */
2779 for (s = output_bfd->sections; s != NULL; s = s->next)
2781 asection *os;
2783 /* Ignore sections which are not loaded or which have no contents. */
2784 if (IGNORE_SECTION (output_bfd, s))
2785 continue;
2787 /* Once we reach section 's' stop our seach. This prevents two
2788 warning messages from being produced, one for 'section A overlaps
2789 section B' and one for 'section B overlaps section A'. */
2790 for (os = output_bfd->sections; os != s; os = os->next)
2792 bfd_vma s_start;
2793 bfd_vma s_end;
2794 bfd_vma os_start;
2795 bfd_vma os_end;
2797 /* Only consider loadable sections with real contents. */
2798 if (IGNORE_SECTION (output_bfd, os))
2799 continue;
2801 /* We must check the sections' LMA addresses not their
2802 VMA addresses because overlay sections can have
2803 overlapping VMAs but they must have distinct LMAs. */
2804 s_start = bfd_section_lma (output_bfd, s);
2805 os_start = bfd_section_lma (output_bfd, os);
2806 s_end = s_start + TO_ADDR (bfd_section_size (output_bfd, s)) - 1;
2807 os_end = os_start + TO_ADDR (bfd_section_size (output_bfd, os)) - 1;
2809 /* Look for an overlap. */
2810 if ((s_end < os_start) || (s_start > os_end))
2811 continue;
2813 einfo (
2814 _("%X%P: section %s [%V -> %V] overlaps section %s [%V -> %V]\n"),
2815 s->name, s_start, s_end, os->name, os_start, os_end);
2817 /* Once we have found one overlap for this section,
2818 stop looking for others. */
2819 break;
2824 /* Make sure the new address is within the region. We explicitly permit the
2825 current address to be at the exact end of the region when the address is
2826 non-zero, in case the region is at the end of addressable memory and the
2827 calculation wraps around. */
2829 static void
2830 os_region_check (lang_output_section_statement_type *os,
2831 lang_memory_region_type *region,
2832 etree_type *tree,
2833 bfd_vma base)
2835 if ((region->current < region->origin
2836 || (region->current - region->origin > region->length))
2837 && ((region->current != region->origin + region->length)
2838 || base == 0))
2840 if (tree != NULL)
2842 einfo (_("%X%P: address 0x%v of %B section %s is not within region %s\n"),
2843 region->current,
2844 os->bfd_section->owner,
2845 os->bfd_section->name,
2846 region->name);
2848 else
2850 einfo (_("%X%P: region %s is full (%B section %s)\n"),
2851 region->name,
2852 os->bfd_section->owner,
2853 os->bfd_section->name);
2855 /* Reset the region pointer. */
2856 region->current = region->origin;
2860 /* Set the sizes for all the output sections. */
2862 static bfd_vma
2863 lang_size_sections_1
2864 (lang_statement_union_type *s,
2865 lang_output_section_statement_type *output_section_statement,
2866 lang_statement_union_type **prev,
2867 fill_type *fill,
2868 bfd_vma dot,
2869 bfd_boolean *relax,
2870 bfd_boolean check_regions)
2872 /* Size up the sections from their constituent parts. */
2873 for (; s != NULL; s = s->header.next)
2875 switch (s->header.type)
2877 case lang_output_section_statement_enum:
2879 bfd_vma after;
2880 lang_output_section_statement_type *os;
2882 os = &s->output_section_statement;
2883 if (os->bfd_section == NULL)
2884 /* This section was never actually created. */
2885 break;
2887 /* If this is a COFF shared library section, use the size and
2888 address from the input section. FIXME: This is COFF
2889 specific; it would be cleaner if there were some other way
2890 to do this, but nothing simple comes to mind. */
2891 if ((os->bfd_section->flags & SEC_COFF_SHARED_LIBRARY) != 0)
2893 asection *input;
2895 if (os->children.head == NULL
2896 || os->children.head->header.next != NULL
2897 || os->children.head->header.type != lang_input_section_enum)
2898 einfo (_("%P%X: Internal error on COFF shared library section %s\n"),
2899 os->name);
2901 input = os->children.head->input_section.section;
2902 bfd_set_section_vma (os->bfd_section->owner,
2903 os->bfd_section,
2904 bfd_section_vma (input->owner, input));
2905 os->bfd_section->_raw_size = input->_raw_size;
2906 break;
2909 if (bfd_is_abs_section (os->bfd_section))
2911 /* No matter what happens, an abs section starts at zero. */
2912 ASSERT (os->bfd_section->vma == 0);
2914 else
2916 if (os->addr_tree == NULL)
2918 /* No address specified for this section, get one
2919 from the region specification. */
2920 if (os->region == NULL
2921 || (((bfd_get_section_flags (output_bfd, os->bfd_section)
2922 & (SEC_ALLOC | SEC_LOAD)) != 0)
2923 && os->region->name[0] == '*'
2924 && strcmp (os->region->name, DEFAULT_MEMORY_REGION) == 0))
2926 os->region = lang_memory_default (os->bfd_section);
2929 /* If a loadable section is using the default memory
2930 region, and some non default memory regions were
2931 defined, issue an error message. */
2932 if (!IGNORE_SECTION (output_bfd, os->bfd_section)
2933 && ! link_info.relocatable
2934 && check_regions
2935 && strcmp (os->region->name, DEFAULT_MEMORY_REGION) == 0
2936 && lang_memory_region_list != NULL
2937 && (strcmp (lang_memory_region_list->name,
2938 DEFAULT_MEMORY_REGION) != 0
2939 || lang_memory_region_list->next != NULL))
2941 /* By default this is an error rather than just a
2942 warning because if we allocate the section to the
2943 default memory region we can end up creating an
2944 excessively large binary, or even seg faulting when
2945 attempting to perform a negative seek. See
2946 http://sources.redhat.com/ml/binutils/2003-04/msg00423.html
2947 for an example of this. This behaviour can be
2948 overridden by the using the --no-check-sections
2949 switch. */
2950 if (command_line.check_section_addresses)
2951 einfo (_("%P%F: error: no memory region specified for loadable section `%s'\n"),
2952 bfd_get_section_name (output_bfd,
2953 os->bfd_section));
2954 else
2955 einfo (_("%P: warning: no memory region specified for loadable section `%s'\n"),
2956 bfd_get_section_name (output_bfd,
2957 os->bfd_section));
2960 dot = os->region->current;
2962 if (os->section_alignment == -1)
2964 bfd_vma olddot;
2966 olddot = dot;
2967 dot = align_power (dot,
2968 os->bfd_section->alignment_power);
2970 if (dot != olddot && config.warn_section_align)
2971 einfo (_("%P: warning: changing start of section %s by %u bytes\n"),
2972 os->name, (unsigned int) (dot - olddot));
2975 else
2977 etree_value_type r;
2979 r = exp_fold_tree (os->addr_tree,
2980 abs_output_section,
2981 lang_allocating_phase_enum,
2982 dot, &dot);
2983 if (!r.valid_p)
2984 einfo (_("%F%S: non constant address expression for section %s\n"),
2985 os->name);
2987 dot = r.value + r.section->bfd_section->vma;
2990 /* The section starts here.
2991 First, align to what the section needs. */
2993 if (os->section_alignment != -1)
2994 dot = align_power (dot, os->section_alignment);
2996 bfd_set_section_vma (0, os->bfd_section, dot);
2998 os->bfd_section->output_offset = 0;
3001 lang_size_sections_1 (os->children.head, os, &os->children.head,
3002 os->fill, dot, relax, check_regions);
3004 /* Put the section within the requested block size, or
3005 align at the block boundary. */
3006 after = ((os->bfd_section->vma
3007 + TO_ADDR (os->bfd_section->_raw_size)
3008 + os->block_value - 1)
3009 & - (bfd_vma) os->block_value);
3011 if (bfd_is_abs_section (os->bfd_section))
3012 ASSERT (after == os->bfd_section->vma);
3013 else if ((os->bfd_section->flags & SEC_HAS_CONTENTS) == 0
3014 && (os->bfd_section->flags & SEC_THREAD_LOCAL)
3015 && ! link_info.relocatable)
3016 os->bfd_section->_raw_size = 0;
3017 else
3018 os->bfd_section->_raw_size
3019 = TO_SIZE (after - os->bfd_section->vma);
3021 dot = os->bfd_section->vma + TO_ADDR (os->bfd_section->_raw_size);
3022 os->processed = TRUE;
3024 if (os->update_dot_tree != 0)
3025 exp_fold_tree (os->update_dot_tree, abs_output_section,
3026 lang_allocating_phase_enum, dot, &dot);
3028 /* Update dot in the region ?
3029 We only do this if the section is going to be allocated,
3030 since unallocated sections do not contribute to the region's
3031 overall size in memory.
3033 If the SEC_NEVER_LOAD bit is not set, it will affect the
3034 addresses of sections after it. We have to update
3035 dot. */
3036 if (os->region != NULL
3037 && ((bfd_get_section_flags (output_bfd, os->bfd_section)
3038 & SEC_NEVER_LOAD) == 0
3039 || (bfd_get_section_flags (output_bfd, os->bfd_section)
3040 & (SEC_ALLOC | SEC_LOAD))))
3042 os->region->current = dot;
3044 if (check_regions)
3045 /* Make sure the new address is within the region. */
3046 os_region_check (os, os->region, os->addr_tree,
3047 os->bfd_section->vma);
3049 /* If there's no load address specified, use the run
3050 region as the load region. */
3051 if (os->lma_region == NULL && os->load_base == NULL)
3052 os->lma_region = os->region;
3054 if (os->lma_region != NULL && os->lma_region != os->region)
3056 /* Set load_base, which will be handled later. */
3057 os->load_base = exp_intop (os->lma_region->current);
3058 os->lma_region->current +=
3059 TO_ADDR (os->bfd_section->_raw_size);
3060 if (check_regions)
3061 os_region_check (os, os->lma_region, NULL,
3062 os->bfd_section->lma);
3066 break;
3068 case lang_constructors_statement_enum:
3069 dot = lang_size_sections_1 (constructor_list.head,
3070 output_section_statement,
3071 &s->wild_statement.children.head,
3072 fill, dot, relax, check_regions);
3073 break;
3075 case lang_data_statement_enum:
3077 unsigned int size = 0;
3079 s->data_statement.output_vma =
3080 dot - output_section_statement->bfd_section->vma;
3081 s->data_statement.output_section =
3082 output_section_statement->bfd_section;
3084 switch (s->data_statement.type)
3086 default:
3087 abort ();
3088 case QUAD:
3089 case SQUAD:
3090 size = QUAD_SIZE;
3091 break;
3092 case LONG:
3093 size = LONG_SIZE;
3094 break;
3095 case SHORT:
3096 size = SHORT_SIZE;
3097 break;
3098 case BYTE:
3099 size = BYTE_SIZE;
3100 break;
3102 if (size < TO_SIZE ((unsigned) 1))
3103 size = TO_SIZE ((unsigned) 1);
3104 dot += TO_ADDR (size);
3105 output_section_statement->bfd_section->_raw_size += size;
3106 /* The output section gets contents, and then we inspect for
3107 any flags set in the input script which override any ALLOC. */
3108 output_section_statement->bfd_section->flags |= SEC_HAS_CONTENTS;
3109 if (!(output_section_statement->flags & SEC_NEVER_LOAD))
3111 output_section_statement->bfd_section->flags |=
3112 SEC_ALLOC | SEC_LOAD;
3115 break;
3117 case lang_reloc_statement_enum:
3119 int size;
3121 s->reloc_statement.output_vma =
3122 dot - output_section_statement->bfd_section->vma;
3123 s->reloc_statement.output_section =
3124 output_section_statement->bfd_section;
3125 size = bfd_get_reloc_size (s->reloc_statement.howto);
3126 dot += TO_ADDR (size);
3127 output_section_statement->bfd_section->_raw_size += size;
3129 break;
3131 case lang_wild_statement_enum:
3133 dot = lang_size_sections_1 (s->wild_statement.children.head,
3134 output_section_statement,
3135 &s->wild_statement.children.head,
3136 fill, dot, relax, check_regions);
3138 break;
3140 case lang_object_symbols_statement_enum:
3141 link_info.create_object_symbols_section =
3142 output_section_statement->bfd_section;
3143 break;
3144 case lang_output_statement_enum:
3145 case lang_target_statement_enum:
3146 break;
3147 case lang_input_section_enum:
3149 asection *i;
3151 i = (*prev)->input_section.section;
3152 if (! relax)
3154 if (i->_cooked_size == 0)
3155 i->_cooked_size = i->_raw_size;
3157 else
3159 bfd_boolean again;
3161 if (! bfd_relax_section (i->owner, i, &link_info, &again))
3162 einfo (_("%P%F: can't relax section: %E\n"));
3163 if (again)
3164 *relax = TRUE;
3166 dot = size_input_section (prev, output_section_statement,
3167 output_section_statement->fill, dot);
3169 break;
3170 case lang_input_statement_enum:
3171 break;
3172 case lang_fill_statement_enum:
3173 s->fill_statement.output_section =
3174 output_section_statement->bfd_section;
3176 fill = s->fill_statement.fill;
3177 break;
3178 case lang_assignment_statement_enum:
3180 bfd_vma newdot = dot;
3182 exp_fold_tree (s->assignment_statement.exp,
3183 output_section_statement,
3184 lang_allocating_phase_enum,
3185 dot,
3186 &newdot);
3188 if (newdot != dot)
3190 if (output_section_statement == abs_output_section)
3192 /* If we don't have an output section, then just adjust
3193 the default memory address. */
3194 lang_memory_region_lookup (DEFAULT_MEMORY_REGION, FALSE)->current = newdot;
3196 else
3198 /* Insert a pad after this statement. We can't
3199 put the pad before when relaxing, in case the
3200 assignment references dot. */
3201 insert_pad (&s->header.next, fill, TO_SIZE (newdot - dot),
3202 output_section_statement->bfd_section, dot);
3204 /* Don't neuter the pad below when relaxing. */
3205 s = s->header.next;
3208 /* If dot is advanced, this implies that the section should
3209 have space allocated to it, unless the user has explicitly
3210 stated that the section should never be loaded. */
3211 if (!(output_section_statement->flags & (SEC_NEVER_LOAD | SEC_ALLOC)))
3212 output_section_statement->bfd_section->flags |= SEC_ALLOC;
3214 dot = newdot;
3217 break;
3219 case lang_padding_statement_enum:
3220 /* If this is the first time lang_size_sections is called,
3221 we won't have any padding statements. If this is the
3222 second or later passes when relaxing, we should allow
3223 padding to shrink. If padding is needed on this pass, it
3224 will be added back in. */
3225 s->padding_statement.size = 0;
3227 /* Make sure output_offset is valid. If relaxation shrinks
3228 the section and this pad isn't needed, it's possible to
3229 have output_offset larger than the final size of the
3230 section. bfd_set_section_contents will complain even for
3231 a pad size of zero. */
3232 s->padding_statement.output_offset
3233 = dot - output_section_statement->bfd_section->vma;
3234 break;
3236 case lang_group_statement_enum:
3237 dot = lang_size_sections_1 (s->group_statement.children.head,
3238 output_section_statement,
3239 &s->group_statement.children.head,
3240 fill, dot, relax, check_regions);
3241 break;
3243 default:
3244 FAIL ();
3245 break;
3247 /* We can only get here when relaxing is turned on. */
3248 case lang_address_statement_enum:
3249 break;
3251 prev = &s->header.next;
3253 return dot;
3256 bfd_vma
3257 lang_size_sections
3258 (lang_statement_union_type *s,
3259 lang_output_section_statement_type *output_section_statement,
3260 lang_statement_union_type **prev,
3261 fill_type *fill,
3262 bfd_vma dot,
3263 bfd_boolean *relax,
3264 bfd_boolean check_regions)
3266 bfd_vma result;
3267 asection *o;
3269 /* Callers of exp_fold_tree need to increment this. */
3270 lang_statement_iteration++;
3272 exp_data_seg.phase = exp_dataseg_none;
3273 result = lang_size_sections_1 (s, output_section_statement, prev, fill,
3274 dot, relax, check_regions);
3275 if (exp_data_seg.phase == exp_dataseg_end_seen)
3277 /* If DATA_SEGMENT_ALIGN DATA_SEGMENT_END pair was seen, check whether
3278 a page could be saved in the data segment. */
3279 bfd_vma first, last;
3281 first = -exp_data_seg.base & (exp_data_seg.pagesize - 1);
3282 last = exp_data_seg.end & (exp_data_seg.pagesize - 1);
3283 if (first && last
3284 && ((exp_data_seg.base & ~(exp_data_seg.pagesize - 1))
3285 != (exp_data_seg.end & ~(exp_data_seg.pagesize - 1)))
3286 && first + last <= exp_data_seg.pagesize)
3288 exp_data_seg.phase = exp_dataseg_adjust;
3289 result = lang_size_sections_1 (s, output_section_statement, prev,
3290 fill, dot, relax, check_regions);
3294 /* Some backend relaxers want to refer to the output section size. Give
3295 them a section size that does not change on the next call while they
3296 relax. We can't set this at top because lang_reset_memory_regions
3297 which is called before we get here, sets _raw_size to 0 on relaxing
3298 rounds. */
3299 for (o = output_bfd->sections; o != NULL; o = o->next)
3300 o->_cooked_size = o->_raw_size;
3302 return result;
3305 /* Worker function for lang_do_assignments. Recursiveness goes here. */
3307 static bfd_vma
3308 lang_do_assignments_1
3309 (lang_statement_union_type *s,
3310 lang_output_section_statement_type *output_section_statement,
3311 fill_type *fill,
3312 bfd_vma dot)
3314 for (; s != NULL; s = s->header.next)
3316 switch (s->header.type)
3318 case lang_constructors_statement_enum:
3319 dot = lang_do_assignments_1 (constructor_list.head,
3320 output_section_statement,
3321 fill,
3322 dot);
3323 break;
3325 case lang_output_section_statement_enum:
3327 lang_output_section_statement_type *os;
3329 os = &(s->output_section_statement);
3330 if (os->bfd_section != NULL)
3332 dot = os->bfd_section->vma;
3333 (void) lang_do_assignments_1 (os->children.head, os,
3334 os->fill, dot);
3335 dot = (os->bfd_section->vma
3336 + TO_ADDR (os->bfd_section->_raw_size));
3339 if (os->load_base)
3341 /* If nothing has been placed into the output section then
3342 it won't have a bfd_section. */
3343 if (os->bfd_section)
3345 os->bfd_section->lma
3346 = exp_get_abs_int (os->load_base, 0, "load base",
3347 lang_final_phase_enum);
3351 break;
3352 case lang_wild_statement_enum:
3354 dot = lang_do_assignments_1 (s->wild_statement.children.head,
3355 output_section_statement,
3356 fill, dot);
3358 break;
3360 case lang_object_symbols_statement_enum:
3361 case lang_output_statement_enum:
3362 case lang_target_statement_enum:
3363 #if 0
3364 case lang_common_statement_enum:
3365 #endif
3366 break;
3367 case lang_data_statement_enum:
3369 etree_value_type value;
3371 value = exp_fold_tree (s->data_statement.exp,
3372 abs_output_section,
3373 lang_final_phase_enum, dot, &dot);
3374 s->data_statement.value = value.value;
3375 if (!value.valid_p)
3376 einfo (_("%F%P: invalid data statement\n"));
3379 unsigned int size;
3380 switch (s->data_statement.type)
3382 default:
3383 abort ();
3384 case QUAD:
3385 case SQUAD:
3386 size = QUAD_SIZE;
3387 break;
3388 case LONG:
3389 size = LONG_SIZE;
3390 break;
3391 case SHORT:
3392 size = SHORT_SIZE;
3393 break;
3394 case BYTE:
3395 size = BYTE_SIZE;
3396 break;
3398 if (size < TO_SIZE ((unsigned) 1))
3399 size = TO_SIZE ((unsigned) 1);
3400 dot += TO_ADDR (size);
3402 break;
3404 case lang_reloc_statement_enum:
3406 etree_value_type value;
3408 value = exp_fold_tree (s->reloc_statement.addend_exp,
3409 abs_output_section,
3410 lang_final_phase_enum, dot, &dot);
3411 s->reloc_statement.addend_value = value.value;
3412 if (!value.valid_p)
3413 einfo (_("%F%P: invalid reloc statement\n"));
3415 dot += TO_ADDR (bfd_get_reloc_size (s->reloc_statement.howto));
3416 break;
3418 case lang_input_section_enum:
3420 asection *in = s->input_section.section;
3422 if (in->_cooked_size != 0)
3423 dot += TO_ADDR (in->_cooked_size);
3424 else
3425 dot += TO_ADDR (in->_raw_size);
3427 break;
3429 case lang_input_statement_enum:
3430 break;
3431 case lang_fill_statement_enum:
3432 fill = s->fill_statement.fill;
3433 break;
3434 case lang_assignment_statement_enum:
3436 exp_fold_tree (s->assignment_statement.exp,
3437 output_section_statement,
3438 lang_final_phase_enum,
3439 dot,
3440 &dot);
3443 break;
3444 case lang_padding_statement_enum:
3445 dot += TO_ADDR (s->padding_statement.size);
3446 break;
3448 case lang_group_statement_enum:
3449 dot = lang_do_assignments_1 (s->group_statement.children.head,
3450 output_section_statement,
3451 fill, dot);
3453 break;
3455 default:
3456 FAIL ();
3457 break;
3458 case lang_address_statement_enum:
3459 break;
3463 return dot;
3466 void
3467 lang_do_assignments (lang_statement_union_type *s,
3468 lang_output_section_statement_type *output_section_statement,
3469 fill_type *fill,
3470 bfd_vma dot)
3472 /* Callers of exp_fold_tree need to increment this. */
3473 lang_statement_iteration++;
3474 lang_do_assignments_1 (s, output_section_statement, fill, dot);
3477 /* Fix any .startof. or .sizeof. symbols. When the assemblers see the
3478 operator .startof. (section_name), it produces an undefined symbol
3479 .startof.section_name. Similarly, when it sees
3480 .sizeof. (section_name), it produces an undefined symbol
3481 .sizeof.section_name. For all the output sections, we look for
3482 such symbols, and set them to the correct value. */
3484 static void
3485 lang_set_startof (void)
3487 asection *s;
3489 if (link_info.relocatable)
3490 return;
3492 for (s = output_bfd->sections; s != NULL; s = s->next)
3494 const char *secname;
3495 char *buf;
3496 struct bfd_link_hash_entry *h;
3498 secname = bfd_get_section_name (output_bfd, s);
3499 buf = xmalloc (10 + strlen (secname));
3501 sprintf (buf, ".startof.%s", secname);
3502 h = bfd_link_hash_lookup (link_info.hash, buf, FALSE, FALSE, TRUE);
3503 if (h != NULL && h->type == bfd_link_hash_undefined)
3505 h->type = bfd_link_hash_defined;
3506 h->u.def.value = bfd_get_section_vma (output_bfd, s);
3507 h->u.def.section = bfd_abs_section_ptr;
3510 sprintf (buf, ".sizeof.%s", secname);
3511 h = bfd_link_hash_lookup (link_info.hash, buf, FALSE, FALSE, TRUE);
3512 if (h != NULL && h->type == bfd_link_hash_undefined)
3514 h->type = bfd_link_hash_defined;
3515 if (s->_cooked_size != 0)
3516 h->u.def.value = TO_ADDR (s->_cooked_size);
3517 else
3518 h->u.def.value = TO_ADDR (s->_raw_size);
3519 h->u.def.section = bfd_abs_section_ptr;
3522 free (buf);
3526 static void
3527 lang_finish (void)
3529 struct bfd_link_hash_entry *h;
3530 bfd_boolean warn;
3532 if (link_info.relocatable || link_info.shared)
3533 warn = FALSE;
3534 else
3535 warn = TRUE;
3537 if (entry_symbol.name == NULL)
3539 /* No entry has been specified. Look for start, but don't warn
3540 if we don't find it. */
3541 entry_symbol.name = "start";
3542 warn = FALSE;
3545 h = bfd_link_hash_lookup (link_info.hash, entry_symbol.name,
3546 FALSE, FALSE, TRUE);
3547 if (h != NULL
3548 && (h->type == bfd_link_hash_defined
3549 || h->type == bfd_link_hash_defweak)
3550 && h->u.def.section->output_section != NULL)
3552 bfd_vma val;
3554 val = (h->u.def.value
3555 + bfd_get_section_vma (output_bfd,
3556 h->u.def.section->output_section)
3557 + h->u.def.section->output_offset);
3558 if (! bfd_set_start_address (output_bfd, val))
3559 einfo (_("%P%F:%s: can't set start address\n"), entry_symbol.name);
3561 else
3563 bfd_vma val;
3564 const char *send;
3566 /* We couldn't find the entry symbol. Try parsing it as a
3567 number. */
3568 val = bfd_scan_vma (entry_symbol.name, &send, 0);
3569 if (*send == '\0')
3571 if (! bfd_set_start_address (output_bfd, val))
3572 einfo (_("%P%F: can't set start address\n"));
3574 else
3576 asection *ts;
3578 /* Can't find the entry symbol, and it's not a number. Use
3579 the first address in the text section. */
3580 ts = bfd_get_section_by_name (output_bfd, entry_section);
3581 if (ts != NULL)
3583 if (warn)
3584 einfo (_("%P: warning: cannot find entry symbol %s; defaulting to %V\n"),
3585 entry_symbol.name,
3586 bfd_get_section_vma (output_bfd, ts));
3587 if (! bfd_set_start_address (output_bfd,
3588 bfd_get_section_vma (output_bfd,
3589 ts)))
3590 einfo (_("%P%F: can't set start address\n"));
3592 else
3594 if (warn)
3595 einfo (_("%P: warning: cannot find entry symbol %s; not setting start address\n"),
3596 entry_symbol.name);
3601 bfd_hash_table_free (&lang_definedness_table);
3604 /* This is a small function used when we want to ignore errors from
3605 BFD. */
3607 static void
3608 ignore_bfd_errors (const char *s ATTRIBUTE_UNUSED, ...)
3610 /* Don't do anything. */
3613 /* Check that the architecture of all the input files is compatible
3614 with the output file. Also call the backend to let it do any
3615 other checking that is needed. */
3617 static void
3618 lang_check (void)
3620 lang_statement_union_type *file;
3621 bfd *input_bfd;
3622 const bfd_arch_info_type *compatible;
3624 for (file = file_chain.head; file != NULL; file = file->input_statement.next)
3626 input_bfd = file->input_statement.the_bfd;
3627 compatible = bfd_arch_get_compatible (input_bfd, output_bfd,
3628 command_line.accept_unknown_input_arch);
3630 /* In general it is not possible to perform a relocatable
3631 link between differing object formats when the input
3632 file has relocations, because the relocations in the
3633 input format may not have equivalent representations in
3634 the output format (and besides BFD does not translate
3635 relocs for other link purposes than a final link). */
3636 if ((link_info.relocatable || link_info.emitrelocations)
3637 && (compatible == NULL
3638 || bfd_get_flavour (input_bfd) != bfd_get_flavour (output_bfd))
3639 && (bfd_get_file_flags (input_bfd) & HAS_RELOC) != 0)
3641 einfo (_("%P%F: Relocatable linking with relocations from format %s (%B) to format %s (%B) is not supported\n"),
3642 bfd_get_target (input_bfd), input_bfd,
3643 bfd_get_target (output_bfd), output_bfd);
3644 /* einfo with %F exits. */
3647 if (compatible == NULL)
3649 if (command_line.warn_mismatch)
3650 einfo (_("%P: warning: %s architecture of input file `%B' is incompatible with %s output\n"),
3651 bfd_printable_name (input_bfd), input_bfd,
3652 bfd_printable_name (output_bfd));
3654 else if (bfd_count_sections (input_bfd))
3656 /* If the input bfd has no contents, it shouldn't set the
3657 private data of the output bfd. */
3659 bfd_error_handler_type pfn = NULL;
3661 /* If we aren't supposed to warn about mismatched input
3662 files, temporarily set the BFD error handler to a
3663 function which will do nothing. We still want to call
3664 bfd_merge_private_bfd_data, since it may set up
3665 information which is needed in the output file. */
3666 if (! command_line.warn_mismatch)
3667 pfn = bfd_set_error_handler (ignore_bfd_errors);
3668 if (! bfd_merge_private_bfd_data (input_bfd, output_bfd))
3670 if (command_line.warn_mismatch)
3671 einfo (_("%E%X: failed to merge target specific data of file %B\n"),
3672 input_bfd);
3674 if (! command_line.warn_mismatch)
3675 bfd_set_error_handler (pfn);
3680 /* Look through all the global common symbols and attach them to the
3681 correct section. The -sort-common command line switch may be used
3682 to roughly sort the entries by size. */
3684 static void
3685 lang_common (void)
3687 if (command_line.inhibit_common_definition)
3688 return;
3689 if (link_info.relocatable
3690 && ! command_line.force_common_definition)
3691 return;
3693 if (! config.sort_common)
3694 bfd_link_hash_traverse (link_info.hash, lang_one_common, NULL);
3695 else
3697 int power;
3699 for (power = 4; power >= 0; power--)
3700 bfd_link_hash_traverse (link_info.hash, lang_one_common, &power);
3704 /* Place one common symbol in the correct section. */
3706 static bfd_boolean
3707 lang_one_common (struct bfd_link_hash_entry *h, void *info)
3709 unsigned int power_of_two;
3710 bfd_vma size;
3711 asection *section;
3713 if (h->type != bfd_link_hash_common)
3714 return TRUE;
3716 size = h->u.c.size;
3717 power_of_two = h->u.c.p->alignment_power;
3719 if (config.sort_common
3720 && power_of_two < (unsigned int) *(int *) info)
3721 return TRUE;
3723 section = h->u.c.p->section;
3725 /* Increase the size of the section to align the common sym. */
3726 section->_cooked_size += ((bfd_vma) 1 << (power_of_two + opb_shift)) - 1;
3727 section->_cooked_size &= (- (bfd_vma) 1 << (power_of_two + opb_shift));
3729 /* Adjust the alignment if necessary. */
3730 if (power_of_two > section->alignment_power)
3731 section->alignment_power = power_of_two;
3733 /* Change the symbol from common to defined. */
3734 h->type = bfd_link_hash_defined;
3735 h->u.def.section = section;
3736 h->u.def.value = section->_cooked_size;
3738 /* Increase the size of the section. */
3739 section->_cooked_size += size;
3741 /* Make sure the section is allocated in memory, and make sure that
3742 it is no longer a common section. */
3743 section->flags |= SEC_ALLOC;
3744 section->flags &= ~SEC_IS_COMMON;
3746 if (config.map_file != NULL)
3748 static bfd_boolean header_printed;
3749 int len;
3750 char *name;
3751 char buf[50];
3753 if (! header_printed)
3755 minfo (_("\nAllocating common symbols\n"));
3756 minfo (_("Common symbol size file\n\n"));
3757 header_printed = TRUE;
3760 name = demangle (h->root.string);
3761 minfo ("%s", name);
3762 len = strlen (name);
3763 free (name);
3765 if (len >= 19)
3767 print_nl ();
3768 len = 0;
3770 while (len < 20)
3772 print_space ();
3773 ++len;
3776 minfo ("0x");
3777 if (size <= 0xffffffff)
3778 sprintf (buf, "%lx", (unsigned long) size);
3779 else
3780 sprintf_vma (buf, size);
3781 minfo ("%s", buf);
3782 len = strlen (buf);
3784 while (len < 16)
3786 print_space ();
3787 ++len;
3790 minfo ("%B\n", section->owner);
3793 return TRUE;
3796 /* Run through the input files and ensure that every input section has
3797 somewhere to go. If one is found without a destination then create
3798 an input request and place it into the statement tree. */
3800 static void
3801 lang_place_orphans (void)
3803 LANG_FOR_EACH_INPUT_STATEMENT (file)
3805 asection *s;
3807 for (s = file->the_bfd->sections; s != NULL; s = s->next)
3809 if (s->output_section == NULL)
3811 /* This section of the file is not attached, root
3812 around for a sensible place for it to go. */
3814 if (file->just_syms_flag)
3816 abort ();
3818 else if (strcmp (s->name, "COMMON") == 0)
3820 /* This is a lonely common section which must have
3821 come from an archive. We attach to the section
3822 with the wildcard. */
3823 if (! link_info.relocatable
3824 || command_line.force_common_definition)
3826 if (default_common_section == NULL)
3828 #if 0
3829 /* This message happens when using the
3830 svr3.ifile linker script, so I have
3831 disabled it. */
3832 info_msg (_("%P: no [COMMON] command, defaulting to .bss\n"));
3833 #endif
3834 default_common_section =
3835 lang_output_section_statement_lookup (".bss");
3838 lang_add_section (&default_common_section->children, s,
3839 default_common_section, file);
3842 else if (ldemul_place_orphan (file, s))
3844 else
3846 lang_output_section_statement_type *os;
3848 os = lang_output_section_statement_lookup (s->name);
3849 lang_add_section (&os->children, s, os, file);
3856 void
3857 lang_set_flags (lang_memory_region_type *ptr, const char *flags, int invert)
3859 flagword *ptr_flags;
3861 ptr_flags = invert ? &ptr->not_flags : &ptr->flags;
3862 while (*flags)
3864 switch (*flags)
3866 case 'A': case 'a':
3867 *ptr_flags |= SEC_ALLOC;
3868 break;
3870 case 'R': case 'r':
3871 *ptr_flags |= SEC_READONLY;
3872 break;
3874 case 'W': case 'w':
3875 *ptr_flags |= SEC_DATA;
3876 break;
3878 case 'X': case 'x':
3879 *ptr_flags |= SEC_CODE;
3880 break;
3882 case 'L': case 'l':
3883 case 'I': case 'i':
3884 *ptr_flags |= SEC_LOAD;
3885 break;
3887 default:
3888 einfo (_("%P%F: invalid syntax in flags\n"));
3889 break;
3891 flags++;
3895 /* Call a function on each input file. This function will be called
3896 on an archive, but not on the elements. */
3898 void
3899 lang_for_each_input_file (void (*func) (lang_input_statement_type *))
3901 lang_input_statement_type *f;
3903 for (f = (lang_input_statement_type *) input_file_chain.head;
3904 f != NULL;
3905 f = (lang_input_statement_type *) f->next_real_file)
3906 func (f);
3909 /* Call a function on each file. The function will be called on all
3910 the elements of an archive which are included in the link, but will
3911 not be called on the archive file itself. */
3913 void
3914 lang_for_each_file (void (*func) (lang_input_statement_type *))
3916 LANG_FOR_EACH_INPUT_STATEMENT (f)
3918 func (f);
3922 #if 0
3924 /* Not used. */
3926 void
3927 lang_for_each_input_section (void (*func) (bfd *ab, asection *as))
3929 LANG_FOR_EACH_INPUT_STATEMENT (f)
3931 asection *s;
3933 for (s = f->the_bfd->sections; s != NULL; s = s->next)
3934 func (f->the_bfd, s);
3938 #endif
3940 void
3941 ldlang_add_file (lang_input_statement_type *entry)
3943 bfd **pp;
3945 lang_statement_append (&file_chain,
3946 (lang_statement_union_type *) entry,
3947 &entry->next);
3949 /* The BFD linker needs to have a list of all input BFDs involved in
3950 a link. */
3951 ASSERT (entry->the_bfd->link_next == NULL);
3952 ASSERT (entry->the_bfd != output_bfd);
3953 for (pp = &link_info.input_bfds; *pp != NULL; pp = &(*pp)->link_next)
3955 *pp = entry->the_bfd;
3956 entry->the_bfd->usrdata = entry;
3957 bfd_set_gp_size (entry->the_bfd, g_switch_value);
3959 /* Look through the sections and check for any which should not be
3960 included in the link. We need to do this now, so that we can
3961 notice when the backend linker tries to report multiple
3962 definition errors for symbols which are in sections we aren't
3963 going to link. FIXME: It might be better to entirely ignore
3964 symbols which are defined in sections which are going to be
3965 discarded. This would require modifying the backend linker for
3966 each backend which might set the SEC_LINK_ONCE flag. If we do
3967 this, we should probably handle SEC_EXCLUDE in the same way. */
3969 bfd_map_over_sections (entry->the_bfd, section_already_linked, entry);
3972 void
3973 lang_add_output (const char *name, int from_script)
3975 /* Make -o on command line override OUTPUT in script. */
3976 if (!had_output_filename || !from_script)
3978 output_filename = name;
3979 had_output_filename = TRUE;
3983 static lang_output_section_statement_type *current_section;
3985 static int
3986 topower (int x)
3988 unsigned int i = 1;
3989 int l;
3991 if (x < 0)
3992 return -1;
3994 for (l = 0; l < 32; l++)
3996 if (i >= (unsigned int) x)
3997 return l;
3998 i <<= 1;
4001 return 0;
4004 lang_output_section_statement_type *
4005 lang_enter_output_section_statement (const char *output_section_statement_name,
4006 etree_type *address_exp,
4007 enum section_type sectype,
4008 etree_type *align,
4009 etree_type *subalign,
4010 etree_type *ebase)
4012 lang_output_section_statement_type *os;
4014 current_section =
4015 os =
4016 lang_output_section_statement_lookup (output_section_statement_name);
4018 /* Add this statement to tree. */
4019 #if 0
4020 add_statement (lang_output_section_statement_enum,
4021 output_section_statement);
4022 #endif
4023 /* Make next things chain into subchain of this. */
4025 if (os->addr_tree == NULL)
4027 os->addr_tree = address_exp;
4029 os->sectype = sectype;
4030 if (sectype != noload_section)
4031 os->flags = SEC_NO_FLAGS;
4032 else
4033 os->flags = SEC_NEVER_LOAD;
4034 os->block_value = 1;
4035 stat_ptr = &os->children;
4037 os->subsection_alignment =
4038 topower (exp_get_value_int (subalign, -1, "subsection alignment", 0));
4039 os->section_alignment =
4040 topower (exp_get_value_int (align, -1, "section alignment", 0));
4042 os->load_base = ebase;
4043 return os;
4046 void
4047 lang_final (void)
4049 lang_output_statement_type *new =
4050 new_stat (lang_output_statement, stat_ptr);
4052 new->name = output_filename;
4055 /* Reset the current counters in the regions. */
4057 void
4058 lang_reset_memory_regions (void)
4060 lang_memory_region_type *p = lang_memory_region_list;
4061 asection *o;
4063 for (p = lang_memory_region_list; p != NULL; p = p->next)
4065 p->old_length = (bfd_size_type) (p->current - p->origin);
4066 p->current = p->origin;
4069 for (o = output_bfd->sections; o != NULL; o = o->next)
4070 o->_raw_size = 0;
4073 /* If the wild pattern was marked KEEP, the member sections
4074 should be as well. */
4076 static void
4077 gc_section_callback (lang_wild_statement_type *ptr,
4078 struct wildcard_list *sec ATTRIBUTE_UNUSED,
4079 asection *section,
4080 lang_input_statement_type *file ATTRIBUTE_UNUSED,
4081 void *data ATTRIBUTE_UNUSED)
4083 if (ptr->keep_sections)
4084 section->flags |= SEC_KEEP;
4087 /* Handle a wild statement, marking it against GC. */
4089 static void
4090 lang_gc_wild (lang_wild_statement_type *s)
4092 walk_wild (s, gc_section_callback, NULL);
4095 /* Iterate over sections marking them against GC. */
4097 static void
4098 lang_gc_sections_1 (lang_statement_union_type *s)
4100 for (; s != NULL; s = s->header.next)
4102 switch (s->header.type)
4104 case lang_wild_statement_enum:
4105 lang_gc_wild (&s->wild_statement);
4106 break;
4107 case lang_constructors_statement_enum:
4108 lang_gc_sections_1 (constructor_list.head);
4109 break;
4110 case lang_output_section_statement_enum:
4111 lang_gc_sections_1 (s->output_section_statement.children.head);
4112 break;
4113 case lang_group_statement_enum:
4114 lang_gc_sections_1 (s->group_statement.children.head);
4115 break;
4116 default:
4117 break;
4122 static void
4123 lang_gc_sections (void)
4125 struct bfd_link_hash_entry *h;
4126 ldlang_undef_chain_list_type *ulist;
4128 /* Keep all sections so marked in the link script. */
4130 lang_gc_sections_1 (statement_list.head);
4132 /* Keep all sections containing symbols undefined on the command-line,
4133 and the section containing the entry symbol. */
4135 for (ulist = link_info.gc_sym_list; ulist; ulist = ulist->next)
4137 h = bfd_link_hash_lookup (link_info.hash, ulist->name,
4138 FALSE, FALSE, FALSE);
4140 if (h != NULL
4141 && (h->type == bfd_link_hash_defined
4142 || h->type == bfd_link_hash_defweak)
4143 && ! bfd_is_abs_section (h->u.def.section))
4145 h->u.def.section->flags |= SEC_KEEP;
4149 bfd_gc_sections (output_bfd, &link_info);
4152 void
4153 lang_process (void)
4155 lang_reasonable_defaults ();
4156 current_target = default_target;
4158 /* Open the output file. */
4159 lang_for_each_statement (ldlang_open_output);
4160 init_opb ();
4162 ldemul_create_output_section_statements ();
4164 /* Add to the hash table all undefineds on the command line. */
4165 lang_place_undefineds ();
4167 already_linked_table_init ();
4169 /* Create a bfd for each input file. */
4170 current_target = default_target;
4171 open_input_bfds (statement_list.head, FALSE);
4173 link_info.gc_sym_list = &entry_symbol;
4174 if (entry_symbol.name == NULL)
4175 link_info.gc_sym_list = ldlang_undef_chain_list_head;
4177 ldemul_after_open ();
4179 already_linked_table_free ();
4181 /* Make sure that we're not mixing architectures. We call this
4182 after all the input files have been opened, but before we do any
4183 other processing, so that any operations merge_private_bfd_data
4184 does on the output file will be known during the rest of the
4185 link. */
4186 lang_check ();
4188 /* Handle .exports instead of a version script if we're told to do so. */
4189 if (command_line.version_exports_section)
4190 lang_do_version_exports_section ();
4192 /* Build all sets based on the information gathered from the input
4193 files. */
4194 ldctor_build_sets ();
4196 /* Remove unreferenced sections if asked to. */
4197 if (command_line.gc_sections)
4198 lang_gc_sections ();
4200 /* If there were any SEC_MERGE sections, finish their merging, so that
4201 section sizes can be computed. This has to be done after GC of sections,
4202 so that GCed sections are not merged, but before assigning output
4203 sections, since removing whole input sections is hard then. */
4204 bfd_merge_sections (output_bfd, &link_info);
4206 /* Size up the common data. */
4207 lang_common ();
4209 /* Run through the contours of the script and attach input sections
4210 to the correct output sections. */
4211 map_input_to_output_sections (statement_list.head, NULL, NULL);
4213 /* Find any sections not attached explicitly and handle them. */
4214 lang_place_orphans ();
4216 if (! link_info.relocatable)
4218 /* Look for a text section and set the readonly attribute in it. */
4219 asection *found = bfd_get_section_by_name (output_bfd, ".text");
4221 if (found != NULL)
4223 if (config.text_read_only)
4224 found->flags |= SEC_READONLY;
4225 else
4226 found->flags &= ~SEC_READONLY;
4230 /* Do anything special before sizing sections. This is where ELF
4231 and other back-ends size dynamic sections. */
4232 ldemul_before_allocation ();
4234 if (!link_info.relocatable)
4235 strip_excluded_output_sections ();
4237 /* We must record the program headers before we try to fix the
4238 section positions, since they will affect SIZEOF_HEADERS. */
4239 lang_record_phdrs ();
4241 /* Size up the sections. */
4242 lang_size_sections (statement_list.head, abs_output_section,
4243 &statement_list.head, 0, 0, NULL,
4244 command_line.relax ? FALSE : TRUE);
4246 /* Now run around and relax if we can. */
4247 if (command_line.relax)
4249 /* Keep relaxing until bfd_relax_section gives up. */
4250 bfd_boolean relax_again;
4254 relax_again = FALSE;
4256 /* Note: pe-dll.c does something like this also. If you find
4257 you need to change this code, you probably need to change
4258 pe-dll.c also. DJ */
4260 /* Do all the assignments with our current guesses as to
4261 section sizes. */
4262 lang_do_assignments (statement_list.head, abs_output_section,
4263 NULL, 0);
4265 /* We must do this after lang_do_assignments, because it uses
4266 _raw_size. */
4267 lang_reset_memory_regions ();
4269 /* Perform another relax pass - this time we know where the
4270 globals are, so can make a better guess. */
4271 lang_size_sections (statement_list.head, abs_output_section,
4272 &statement_list.head, 0, 0, &relax_again, FALSE);
4274 /* If the normal relax is done and the relax finalize pass
4275 is not performed yet, we perform another relax pass. */
4276 if (!relax_again && link_info.need_relax_finalize)
4278 link_info.need_relax_finalize = FALSE;
4279 relax_again = TRUE;
4282 while (relax_again);
4284 /* Final extra sizing to report errors. */
4285 lang_do_assignments (statement_list.head, abs_output_section, NULL, 0);
4286 lang_reset_memory_regions ();
4287 lang_size_sections (statement_list.head, abs_output_section,
4288 &statement_list.head, 0, 0, NULL, TRUE);
4291 /* See if anything special should be done now we know how big
4292 everything is. */
4293 ldemul_after_allocation ();
4295 /* Fix any .startof. or .sizeof. symbols. */
4296 lang_set_startof ();
4298 /* Do all the assignments, now that we know the final resting places
4299 of all the symbols. */
4301 lang_do_assignments (statement_list.head, abs_output_section, NULL, 0);
4303 /* Make sure that the section addresses make sense. */
4304 if (! link_info.relocatable
4305 && command_line.check_section_addresses)
4306 lang_check_section_addresses ();
4308 /* Final stuffs. */
4310 ldemul_finish ();
4311 lang_finish ();
4314 /* EXPORTED TO YACC */
4316 void
4317 lang_add_wild (struct wildcard_spec *filespec,
4318 struct wildcard_list *section_list,
4319 bfd_boolean keep_sections)
4321 struct wildcard_list *curr, *next;
4322 lang_wild_statement_type *new;
4324 /* Reverse the list as the parser puts it back to front. */
4325 for (curr = section_list, section_list = NULL;
4326 curr != NULL;
4327 section_list = curr, curr = next)
4329 if (curr->spec.name != NULL && strcmp (curr->spec.name, "COMMON") == 0)
4330 placed_commons = TRUE;
4332 next = curr->next;
4333 curr->next = section_list;
4336 if (filespec != NULL && filespec->name != NULL)
4338 if (strcmp (filespec->name, "*") == 0)
4339 filespec->name = NULL;
4340 else if (! wildcardp (filespec->name))
4341 lang_has_input_file = TRUE;
4344 new = new_stat (lang_wild_statement, stat_ptr);
4345 new->filename = NULL;
4346 new->filenames_sorted = FALSE;
4347 if (filespec != NULL)
4349 new->filename = filespec->name;
4350 new->filenames_sorted = filespec->sorted;
4352 new->section_list = section_list;
4353 new->keep_sections = keep_sections;
4354 lang_list_init (&new->children);
4357 void
4358 lang_section_start (const char *name, etree_type *address)
4360 lang_address_statement_type *ad;
4362 ad = new_stat (lang_address_statement, stat_ptr);
4363 ad->section_name = name;
4364 ad->address = address;
4367 /* Set the start symbol to NAME. CMDLINE is nonzero if this is called
4368 because of a -e argument on the command line, or zero if this is
4369 called by ENTRY in a linker script. Command line arguments take
4370 precedence. */
4372 void
4373 lang_add_entry (const char *name, bfd_boolean cmdline)
4375 if (entry_symbol.name == NULL
4376 || cmdline
4377 || ! entry_from_cmdline)
4379 entry_symbol.name = name;
4380 entry_from_cmdline = cmdline;
4384 void
4385 lang_add_target (const char *name)
4387 lang_target_statement_type *new = new_stat (lang_target_statement,
4388 stat_ptr);
4390 new->target = name;
4394 void
4395 lang_add_map (const char *name)
4397 while (*name)
4399 switch (*name)
4401 case 'F':
4402 map_option_f = TRUE;
4403 break;
4405 name++;
4409 void
4410 lang_add_fill (fill_type *fill)
4412 lang_fill_statement_type *new = new_stat (lang_fill_statement,
4413 stat_ptr);
4415 new->fill = fill;
4418 void
4419 lang_add_data (int type, union etree_union *exp)
4422 lang_data_statement_type *new = new_stat (lang_data_statement,
4423 stat_ptr);
4425 new->exp = exp;
4426 new->type = type;
4430 /* Create a new reloc statement. RELOC is the BFD relocation type to
4431 generate. HOWTO is the corresponding howto structure (we could
4432 look this up, but the caller has already done so). SECTION is the
4433 section to generate a reloc against, or NAME is the name of the
4434 symbol to generate a reloc against. Exactly one of SECTION and
4435 NAME must be NULL. ADDEND is an expression for the addend. */
4437 void
4438 lang_add_reloc (bfd_reloc_code_real_type reloc,
4439 reloc_howto_type *howto,
4440 asection *section,
4441 const char *name,
4442 union etree_union *addend)
4444 lang_reloc_statement_type *p = new_stat (lang_reloc_statement, stat_ptr);
4446 p->reloc = reloc;
4447 p->howto = howto;
4448 p->section = section;
4449 p->name = name;
4450 p->addend_exp = addend;
4452 p->addend_value = 0;
4453 p->output_section = NULL;
4454 p->output_vma = 0;
4457 lang_assignment_statement_type *
4458 lang_add_assignment (etree_type *exp)
4460 lang_assignment_statement_type *new = new_stat (lang_assignment_statement,
4461 stat_ptr);
4463 new->exp = exp;
4464 return new;
4467 void
4468 lang_add_attribute (enum statement_enum attribute)
4470 new_statement (attribute, sizeof (lang_statement_union_type), stat_ptr);
4473 void
4474 lang_startup (const char *name)
4476 if (startup_file != NULL)
4478 einfo (_("%P%Fmultiple STARTUP files\n"));
4480 first_file->filename = name;
4481 first_file->local_sym_name = name;
4482 first_file->real = TRUE;
4484 startup_file = name;
4487 void
4488 lang_float (bfd_boolean maybe)
4490 lang_float_flag = maybe;
4494 /* Work out the load- and run-time regions from a script statement, and
4495 store them in *LMA_REGION and *REGION respectively.
4497 MEMSPEC is the name of the run-time region, or the value of
4498 DEFAULT_MEMORY_REGION if the statement didn't specify one.
4499 LMA_MEMSPEC is the name of the load-time region, or null if the
4500 statement didn't specify one.HAVE_LMA_P is TRUE if the statement
4501 had an explicit load address.
4503 It is an error to specify both a load region and a load address. */
4505 static void
4506 lang_get_regions (lang_memory_region_type **region,
4507 lang_memory_region_type **lma_region,
4508 const char *memspec,
4509 const char *lma_memspec,
4510 bfd_boolean have_lma,
4511 bfd_boolean have_vma)
4513 *lma_region = lang_memory_region_lookup (lma_memspec, FALSE);
4515 /* If no runtime region or VMA has been specified, but the load region has
4516 been specified, then use the load region for the runtime region as well. */
4517 if (lma_memspec != NULL
4518 && ! have_vma
4519 && strcmp (memspec, DEFAULT_MEMORY_REGION) == 0)
4520 *region = *lma_region;
4521 else
4522 *region = lang_memory_region_lookup (memspec, FALSE);
4524 if (have_lma && lma_memspec != 0)
4525 einfo (_("%X%P:%S: section has both a load address and a load region\n"));
4528 void
4529 lang_leave_output_section_statement (fill_type *fill, const char *memspec,
4530 lang_output_section_phdr_list *phdrs,
4531 const char *lma_memspec)
4533 lang_get_regions (&current_section->region,
4534 &current_section->lma_region,
4535 memspec, lma_memspec,
4536 current_section->load_base != NULL,
4537 current_section->addr_tree != NULL);
4538 current_section->fill = fill;
4539 current_section->phdrs = phdrs;
4540 stat_ptr = &statement_list;
4543 /* Create an absolute symbol with the given name with the value of the
4544 address of first byte of the section named.
4546 If the symbol already exists, then do nothing. */
4548 void
4549 lang_abs_symbol_at_beginning_of (const char *secname, const char *name)
4551 struct bfd_link_hash_entry *h;
4553 h = bfd_link_hash_lookup (link_info.hash, name, TRUE, TRUE, TRUE);
4554 if (h == NULL)
4555 einfo (_("%P%F: bfd_link_hash_lookup failed: %E\n"));
4557 if (h->type == bfd_link_hash_new
4558 || h->type == bfd_link_hash_undefined)
4560 asection *sec;
4562 h->type = bfd_link_hash_defined;
4564 sec = bfd_get_section_by_name (output_bfd, secname);
4565 if (sec == NULL)
4566 h->u.def.value = 0;
4567 else
4568 h->u.def.value = bfd_get_section_vma (output_bfd, sec);
4570 h->u.def.section = bfd_abs_section_ptr;
4574 /* Create an absolute symbol with the given name with the value of the
4575 address of the first byte after the end of the section named.
4577 If the symbol already exists, then do nothing. */
4579 void
4580 lang_abs_symbol_at_end_of (const char *secname, const char *name)
4582 struct bfd_link_hash_entry *h;
4584 h = bfd_link_hash_lookup (link_info.hash, name, TRUE, TRUE, TRUE);
4585 if (h == NULL)
4586 einfo (_("%P%F: bfd_link_hash_lookup failed: %E\n"));
4588 if (h->type == bfd_link_hash_new
4589 || h->type == bfd_link_hash_undefined)
4591 asection *sec;
4593 h->type = bfd_link_hash_defined;
4595 sec = bfd_get_section_by_name (output_bfd, secname);
4596 if (sec == NULL)
4597 h->u.def.value = 0;
4598 else
4599 h->u.def.value = (bfd_get_section_vma (output_bfd, sec)
4600 + TO_ADDR (bfd_section_size (output_bfd, sec)));
4602 h->u.def.section = bfd_abs_section_ptr;
4606 void
4607 lang_statement_append (lang_statement_list_type *list,
4608 lang_statement_union_type *element,
4609 lang_statement_union_type **field)
4611 *(list->tail) = element;
4612 list->tail = field;
4615 /* Set the output format type. -oformat overrides scripts. */
4617 void
4618 lang_add_output_format (const char *format,
4619 const char *big,
4620 const char *little,
4621 int from_script)
4623 if (output_target == NULL || !from_script)
4625 if (command_line.endian == ENDIAN_BIG
4626 && big != NULL)
4627 format = big;
4628 else if (command_line.endian == ENDIAN_LITTLE
4629 && little != NULL)
4630 format = little;
4632 output_target = format;
4636 /* Enter a group. This creates a new lang_group_statement, and sets
4637 stat_ptr to build new statements within the group. */
4639 void
4640 lang_enter_group (void)
4642 lang_group_statement_type *g;
4644 g = new_stat (lang_group_statement, stat_ptr);
4645 lang_list_init (&g->children);
4646 stat_ptr = &g->children;
4649 /* Leave a group. This just resets stat_ptr to start writing to the
4650 regular list of statements again. Note that this will not work if
4651 groups can occur inside anything else which can adjust stat_ptr,
4652 but currently they can't. */
4654 void
4655 lang_leave_group (void)
4657 stat_ptr = &statement_list;
4660 /* Add a new program header. This is called for each entry in a PHDRS
4661 command in a linker script. */
4663 void
4664 lang_new_phdr (const char *name,
4665 etree_type *type,
4666 bfd_boolean filehdr,
4667 bfd_boolean phdrs,
4668 etree_type *at,
4669 etree_type *flags)
4671 struct lang_phdr *n, **pp;
4673 n = stat_alloc (sizeof (struct lang_phdr));
4674 n->next = NULL;
4675 n->name = name;
4676 n->type = exp_get_value_int (type, 0, "program header type",
4677 lang_final_phase_enum);
4678 n->filehdr = filehdr;
4679 n->phdrs = phdrs;
4680 n->at = at;
4681 n->flags = flags;
4683 for (pp = &lang_phdr_list; *pp != NULL; pp = &(*pp)->next)
4685 *pp = n;
4688 /* Record the program header information in the output BFD. FIXME: We
4689 should not be calling an ELF specific function here. */
4691 static void
4692 lang_record_phdrs (void)
4694 unsigned int alc;
4695 asection **secs;
4696 lang_output_section_phdr_list *last;
4697 struct lang_phdr *l;
4698 lang_statement_union_type *u;
4700 alc = 10;
4701 secs = xmalloc (alc * sizeof (asection *));
4702 last = NULL;
4703 for (l = lang_phdr_list; l != NULL; l = l->next)
4705 unsigned int c;
4706 flagword flags;
4707 bfd_vma at;
4709 c = 0;
4710 for (u = lang_output_section_statement.head;
4711 u != NULL;
4712 u = u->output_section_statement.next)
4714 lang_output_section_statement_type *os;
4715 lang_output_section_phdr_list *pl;
4717 os = &u->output_section_statement;
4719 pl = os->phdrs;
4720 if (pl != NULL)
4721 last = pl;
4722 else
4724 if (os->sectype == noload_section
4725 || os->bfd_section == NULL
4726 || (os->bfd_section->flags & SEC_ALLOC) == 0)
4727 continue;
4728 pl = last;
4731 if (os->bfd_section == NULL)
4732 continue;
4734 for (; pl != NULL; pl = pl->next)
4736 if (strcmp (pl->name, l->name) == 0)
4738 if (c >= alc)
4740 alc *= 2;
4741 secs = xrealloc (secs, alc * sizeof (asection *));
4743 secs[c] = os->bfd_section;
4744 ++c;
4745 pl->used = TRUE;
4750 if (l->flags == NULL)
4751 flags = 0;
4752 else
4753 flags = exp_get_vma (l->flags, 0, "phdr flags",
4754 lang_final_phase_enum);
4756 if (l->at == NULL)
4757 at = 0;
4758 else
4759 at = exp_get_vma (l->at, 0, "phdr load address",
4760 lang_final_phase_enum);
4762 if (! bfd_record_phdr (output_bfd, l->type,
4763 l->flags != NULL, flags, l->at != NULL,
4764 at, l->filehdr, l->phdrs, c, secs))
4765 einfo (_("%F%P: bfd_record_phdr failed: %E\n"));
4768 free (secs);
4770 /* Make sure all the phdr assignments succeeded. */
4771 for (u = lang_output_section_statement.head;
4772 u != NULL;
4773 u = u->output_section_statement.next)
4775 lang_output_section_phdr_list *pl;
4777 if (u->output_section_statement.bfd_section == NULL)
4778 continue;
4780 for (pl = u->output_section_statement.phdrs;
4781 pl != NULL;
4782 pl = pl->next)
4783 if (! pl->used && strcmp (pl->name, "NONE") != 0)
4784 einfo (_("%X%P: section `%s' assigned to non-existent phdr `%s'\n"),
4785 u->output_section_statement.name, pl->name);
4789 /* Record a list of sections which may not be cross referenced. */
4791 void
4792 lang_add_nocrossref (lang_nocrossref_type *l)
4794 struct lang_nocrossrefs *n;
4796 n = xmalloc (sizeof *n);
4797 n->next = nocrossref_list;
4798 n->list = l;
4799 nocrossref_list = n;
4801 /* Set notice_all so that we get informed about all symbols. */
4802 link_info.notice_all = TRUE;
4805 /* Overlay handling. We handle overlays with some static variables. */
4807 /* The overlay virtual address. */
4808 static etree_type *overlay_vma;
4809 /* And subsection alignment. */
4810 static etree_type *overlay_subalign;
4812 /* An expression for the maximum section size seen so far. */
4813 static etree_type *overlay_max;
4815 /* A list of all the sections in this overlay. */
4817 struct overlay_list {
4818 struct overlay_list *next;
4819 lang_output_section_statement_type *os;
4822 static struct overlay_list *overlay_list;
4824 /* Start handling an overlay. */
4826 void
4827 lang_enter_overlay (etree_type *vma_expr, etree_type *subalign)
4829 /* The grammar should prevent nested overlays from occurring. */
4830 ASSERT (overlay_vma == NULL
4831 && overlay_subalign == NULL
4832 && overlay_max == NULL);
4834 overlay_vma = vma_expr;
4835 overlay_subalign = subalign;
4838 /* Start a section in an overlay. We handle this by calling
4839 lang_enter_output_section_statement with the correct VMA.
4840 lang_leave_overlay sets up the LMA and memory regions. */
4842 void
4843 lang_enter_overlay_section (const char *name)
4845 struct overlay_list *n;
4846 etree_type *size;
4848 lang_enter_output_section_statement (name, overlay_vma, normal_section,
4849 0, overlay_subalign, 0);
4851 /* If this is the first section, then base the VMA of future
4852 sections on this one. This will work correctly even if `.' is
4853 used in the addresses. */
4854 if (overlay_list == NULL)
4855 overlay_vma = exp_nameop (ADDR, name);
4857 /* Remember the section. */
4858 n = xmalloc (sizeof *n);
4859 n->os = current_section;
4860 n->next = overlay_list;
4861 overlay_list = n;
4863 size = exp_nameop (SIZEOF, name);
4865 /* Arrange to work out the maximum section end address. */
4866 if (overlay_max == NULL)
4867 overlay_max = size;
4868 else
4869 overlay_max = exp_binop (MAX_K, overlay_max, size);
4872 /* Finish a section in an overlay. There isn't any special to do
4873 here. */
4875 void
4876 lang_leave_overlay_section (fill_type *fill,
4877 lang_output_section_phdr_list *phdrs)
4879 const char *name;
4880 char *clean, *s2;
4881 const char *s1;
4882 char *buf;
4884 name = current_section->name;
4886 /* For now, assume that DEFAULT_MEMORY_REGION is the run-time memory
4887 region and that no load-time region has been specified. It doesn't
4888 really matter what we say here, since lang_leave_overlay will
4889 override it. */
4890 lang_leave_output_section_statement (fill, DEFAULT_MEMORY_REGION, phdrs, 0);
4892 /* Define the magic symbols. */
4894 clean = xmalloc (strlen (name) + 1);
4895 s2 = clean;
4896 for (s1 = name; *s1 != '\0'; s1++)
4897 if (ISALNUM (*s1) || *s1 == '_')
4898 *s2++ = *s1;
4899 *s2 = '\0';
4901 buf = xmalloc (strlen (clean) + sizeof "__load_start_");
4902 sprintf (buf, "__load_start_%s", clean);
4903 lang_add_assignment (exp_assop ('=', buf,
4904 exp_nameop (LOADADDR, name)));
4906 buf = xmalloc (strlen (clean) + sizeof "__load_stop_");
4907 sprintf (buf, "__load_stop_%s", clean);
4908 lang_add_assignment (exp_assop ('=', buf,
4909 exp_binop ('+',
4910 exp_nameop (LOADADDR, name),
4911 exp_nameop (SIZEOF, name))));
4913 free (clean);
4916 /* Finish an overlay. If there are any overlay wide settings, this
4917 looks through all the sections in the overlay and sets them. */
4919 void
4920 lang_leave_overlay (etree_type *lma_expr,
4921 int nocrossrefs,
4922 fill_type *fill,
4923 const char *memspec,
4924 lang_output_section_phdr_list *phdrs,
4925 const char *lma_memspec)
4927 lang_memory_region_type *region;
4928 lang_memory_region_type *lma_region;
4929 struct overlay_list *l;
4930 lang_nocrossref_type *nocrossref;
4932 lang_get_regions (&region, &lma_region,
4933 memspec, lma_memspec,
4934 lma_expr != NULL, FALSE);
4936 nocrossref = NULL;
4938 /* After setting the size of the last section, set '.' to end of the
4939 overlay region. */
4940 if (overlay_list != NULL)
4941 overlay_list->os->update_dot_tree
4942 = exp_assop ('=', ".", exp_binop ('+', overlay_vma, overlay_max));
4944 l = overlay_list;
4945 while (l != NULL)
4947 struct overlay_list *next;
4949 if (fill != NULL && l->os->fill == NULL)
4950 l->os->fill = fill;
4952 l->os->region = region;
4953 l->os->lma_region = lma_region;
4955 /* The first section has the load address specified in the
4956 OVERLAY statement. The rest are worked out from that.
4957 The base address is not needed (and should be null) if
4958 an LMA region was specified. */
4959 if (l->next == 0)
4960 l->os->load_base = lma_expr;
4961 else if (lma_region == 0)
4962 l->os->load_base = exp_binop ('+',
4963 exp_nameop (LOADADDR, l->next->os->name),
4964 exp_nameop (SIZEOF, l->next->os->name));
4966 if (phdrs != NULL && l->os->phdrs == NULL)
4967 l->os->phdrs = phdrs;
4969 if (nocrossrefs)
4971 lang_nocrossref_type *nc;
4973 nc = xmalloc (sizeof *nc);
4974 nc->name = l->os->name;
4975 nc->next = nocrossref;
4976 nocrossref = nc;
4979 next = l->next;
4980 free (l);
4981 l = next;
4984 if (nocrossref != NULL)
4985 lang_add_nocrossref (nocrossref);
4987 overlay_vma = NULL;
4988 overlay_list = NULL;
4989 overlay_max = NULL;
4992 /* Version handling. This is only useful for ELF. */
4994 /* This global variable holds the version tree that we build. */
4996 struct bfd_elf_version_tree *lang_elf_version_info;
4998 /* If PREV is NULL, return first version pattern matching particular symbol.
4999 If PREV is non-NULL, return first version pattern matching particular
5000 symbol after PREV (previously returned by lang_vers_match). */
5002 static struct bfd_elf_version_expr *
5003 lang_vers_match (struct bfd_elf_version_expr_head *head,
5004 struct bfd_elf_version_expr *prev,
5005 const char *sym)
5007 const char *cxx_sym = sym;
5008 const char *java_sym = sym;
5009 struct bfd_elf_version_expr *expr = NULL;
5011 if (head->mask & BFD_ELF_VERSION_CXX_TYPE)
5013 cxx_sym = cplus_demangle (sym, DMGL_PARAMS | DMGL_ANSI);
5014 if (!cxx_sym)
5015 cxx_sym = sym;
5017 if (head->mask & BFD_ELF_VERSION_JAVA_TYPE)
5019 java_sym = cplus_demangle (sym, DMGL_JAVA);
5020 if (!java_sym)
5021 java_sym = sym;
5024 if (head->htab && (prev == NULL || prev->symbol))
5026 struct bfd_elf_version_expr e;
5028 switch (prev ? prev->mask : 0)
5030 case 0:
5031 if (head->mask & BFD_ELF_VERSION_C_TYPE)
5033 e.symbol = sym;
5034 expr = htab_find (head->htab, &e);
5035 while (expr && strcmp (expr->symbol, sym) == 0)
5036 if (expr->mask == BFD_ELF_VERSION_C_TYPE)
5037 goto out_ret;
5038 else
5039 expr = expr->next;
5041 /* Fallthrough */
5042 case BFD_ELF_VERSION_C_TYPE:
5043 if (head->mask & BFD_ELF_VERSION_CXX_TYPE)
5045 e.symbol = cxx_sym;
5046 expr = htab_find (head->htab, &e);
5047 while (expr && strcmp (expr->symbol, cxx_sym) == 0)
5048 if (expr->mask == BFD_ELF_VERSION_CXX_TYPE)
5049 goto out_ret;
5050 else
5051 expr = expr->next;
5053 /* Fallthrough */
5054 case BFD_ELF_VERSION_CXX_TYPE:
5055 if (head->mask & BFD_ELF_VERSION_JAVA_TYPE)
5057 e.symbol = java_sym;
5058 expr = htab_find (head->htab, &e);
5059 while (expr && strcmp (expr->symbol, java_sym) == 0)
5060 if (expr->mask == BFD_ELF_VERSION_JAVA_TYPE)
5061 goto out_ret;
5062 else
5063 expr = expr->next;
5065 /* Fallthrough */
5066 default:
5067 break;
5071 /* Finally, try the wildcards. */
5072 if (prev == NULL || prev->symbol)
5073 expr = head->remaining;
5074 else
5075 expr = prev->next;
5076 while (expr)
5078 const char *s;
5080 if (expr->pattern[0] == '*' && expr->pattern[1] == '\0')
5081 break;
5083 if (expr->mask == BFD_ELF_VERSION_JAVA_TYPE)
5084 s = java_sym;
5085 else if (expr->mask == BFD_ELF_VERSION_CXX_TYPE)
5086 s = cxx_sym;
5087 else
5088 s = sym;
5089 if (fnmatch (expr->pattern, s, 0) == 0)
5090 break;
5091 expr = expr->next;
5094 out_ret:
5095 if (cxx_sym != sym)
5096 free ((char *) cxx_sym);
5097 if (java_sym != sym)
5098 free ((char *) java_sym);
5099 return expr;
5102 /* Return NULL if the PATTERN argument is a glob pattern, otherwise,
5103 return a string pointing to the symbol name. */
5105 static const char *
5106 realsymbol (const char *pattern)
5108 const char *p;
5109 bfd_boolean changed = FALSE, backslash = FALSE;
5110 char *s, *symbol = xmalloc (strlen (pattern) + 1);
5112 for (p = pattern, s = symbol; *p != '\0'; ++p)
5114 /* It is a glob pattern only if there is no preceding
5115 backslash. */
5116 if (! backslash && (*p == '?' || *p == '*' || *p == '['))
5118 free (symbol);
5119 return NULL;
5122 if (backslash)
5124 /* Remove the preceding backslash. */
5125 *(s - 1) = *p;
5126 changed = TRUE;
5128 else
5129 *s++ = *p;
5131 backslash = *p == '\\';
5134 if (changed)
5136 *s = '\0';
5137 return symbol;
5139 else
5141 free (symbol);
5142 return pattern;
5146 /* This is called for each variable name or match expression. */
5148 struct bfd_elf_version_expr *
5149 lang_new_vers_pattern (struct bfd_elf_version_expr *orig,
5150 const char *new,
5151 const char *lang)
5153 struct bfd_elf_version_expr *ret;
5155 ret = xmalloc (sizeof *ret);
5156 ret->next = orig;
5157 ret->pattern = new;
5158 ret->symver = 0;
5159 ret->script = 0;
5160 ret->symbol = realsymbol (new);
5162 if (lang == NULL || strcasecmp (lang, "C") == 0)
5163 ret->mask = BFD_ELF_VERSION_C_TYPE;
5164 else if (strcasecmp (lang, "C++") == 0)
5165 ret->mask = BFD_ELF_VERSION_CXX_TYPE;
5166 else if (strcasecmp (lang, "Java") == 0)
5167 ret->mask = BFD_ELF_VERSION_JAVA_TYPE;
5168 else
5170 einfo (_("%X%P: unknown language `%s' in version information\n"),
5171 lang);
5172 ret->mask = BFD_ELF_VERSION_C_TYPE;
5175 return ldemul_new_vers_pattern (ret);
5178 /* This is called for each set of variable names and match
5179 expressions. */
5181 struct bfd_elf_version_tree *
5182 lang_new_vers_node (struct bfd_elf_version_expr *globals,
5183 struct bfd_elf_version_expr *locals)
5185 struct bfd_elf_version_tree *ret;
5187 ret = xcalloc (1, sizeof *ret);
5188 ret->globals.list = globals;
5189 ret->locals.list = locals;
5190 ret->match = lang_vers_match;
5191 ret->name_indx = (unsigned int) -1;
5192 return ret;
5195 /* This static variable keeps track of version indices. */
5197 static int version_index;
5199 static hashval_t
5200 version_expr_head_hash (const void *p)
5202 const struct bfd_elf_version_expr *e = p;
5204 return htab_hash_string (e->symbol);
5207 static int
5208 version_expr_head_eq (const void *p1, const void *p2)
5210 const struct bfd_elf_version_expr *e1 = p1;
5211 const struct bfd_elf_version_expr *e2 = p2;
5213 return strcmp (e1->symbol, e2->symbol) == 0;
5216 static void
5217 lang_finalize_version_expr_head (struct bfd_elf_version_expr_head *head)
5219 size_t count = 0;
5220 struct bfd_elf_version_expr *e, *next;
5221 struct bfd_elf_version_expr **list_loc, **remaining_loc;
5223 for (e = head->list; e; e = e->next)
5225 if (e->symbol)
5226 count++;
5227 head->mask |= e->mask;
5230 if (count)
5232 head->htab = htab_create (count * 2, version_expr_head_hash,
5233 version_expr_head_eq, NULL);
5234 list_loc = &head->list;
5235 remaining_loc = &head->remaining;
5236 for (e = head->list; e; e = next)
5238 next = e->next;
5239 if (!e->symbol)
5241 *remaining_loc = e;
5242 remaining_loc = &e->next;
5244 else
5246 void **loc = htab_find_slot (head->htab, e, INSERT);
5248 if (*loc)
5250 struct bfd_elf_version_expr *e1, *last;
5252 e1 = *loc;
5253 last = NULL;
5256 if (e1->mask == e->mask)
5258 last = NULL;
5259 break;
5261 last = e1;
5262 e1 = e1->next;
5264 while (e1 && strcmp (e1->symbol, e->symbol) == 0);
5266 if (last == NULL)
5268 /* This is a duplicate. */
5269 /* FIXME: Memory leak. Sometimes pattern is not
5270 xmalloced alone, but in larger chunk of memory. */
5271 /* free (e->symbol); */
5272 free (e);
5274 else
5276 e->next = last->next;
5277 last->next = e;
5280 else
5282 *loc = e;
5283 *list_loc = e;
5284 list_loc = &e->next;
5288 *remaining_loc = NULL;
5289 *list_loc = head->remaining;
5291 else
5292 head->remaining = head->list;
5295 /* This is called when we know the name and dependencies of the
5296 version. */
5298 void
5299 lang_register_vers_node (const char *name,
5300 struct bfd_elf_version_tree *version,
5301 struct bfd_elf_version_deps *deps)
5303 struct bfd_elf_version_tree *t, **pp;
5304 struct bfd_elf_version_expr *e1;
5306 if (name == NULL)
5307 name = "";
5309 if ((name[0] == '\0' && lang_elf_version_info != NULL)
5310 || (lang_elf_version_info && lang_elf_version_info->name[0] == '\0'))
5312 einfo (_("%X%P: anonymous version tag cannot be combined with other version tags\n"));
5313 free (version);
5314 return;
5317 /* Make sure this node has a unique name. */
5318 for (t = lang_elf_version_info; t != NULL; t = t->next)
5319 if (strcmp (t->name, name) == 0)
5320 einfo (_("%X%P: duplicate version tag `%s'\n"), name);
5322 lang_finalize_version_expr_head (&version->globals);
5323 lang_finalize_version_expr_head (&version->locals);
5325 /* Check the global and local match names, and make sure there
5326 aren't any duplicates. */
5328 for (e1 = version->globals.list; e1 != NULL; e1 = e1->next)
5330 for (t = lang_elf_version_info; t != NULL; t = t->next)
5332 struct bfd_elf_version_expr *e2;
5334 if (t->locals.htab && e1->symbol)
5336 e2 = htab_find (t->locals.htab, e1);
5337 while (e2 && strcmp (e1->symbol, e2->symbol) == 0)
5339 if (e1->mask == e2->mask)
5340 einfo (_("%X%P: duplicate expression `%s' in version information\n"),
5341 e1->symbol);
5342 e2 = e2->next;
5345 else if (!e1->symbol)
5346 for (e2 = t->locals.remaining; e2 != NULL; e2 = e2->next)
5347 if (strcmp (e1->pattern, e2->pattern) == 0 && e1->mask == e2->mask)
5348 einfo (_("%X%P: duplicate expression `%s' in version information\n"),
5349 e1->pattern);
5353 for (e1 = version->locals.list; e1 != NULL; e1 = e1->next)
5355 for (t = lang_elf_version_info; t != NULL; t = t->next)
5357 struct bfd_elf_version_expr *e2;
5359 if (t->globals.htab && e1->symbol)
5361 e2 = htab_find (t->globals.htab, e1);
5362 while (e2 && strcmp (e1->symbol, e2->symbol) == 0)
5364 if (e1->mask == e2->mask)
5365 einfo (_("%X%P: duplicate expression `%s' in version information\n"),
5366 e1->symbol);
5367 e2 = e2->next;
5370 else if (!e1->symbol)
5371 for (e2 = t->globals.remaining; e2 != NULL; e2 = e2->next)
5372 if (strcmp (e1->pattern, e2->pattern) == 0 && e1->mask == e2->mask)
5373 einfo (_("%X%P: duplicate expression `%s' in version information\n"),
5374 e1->pattern);
5378 version->deps = deps;
5379 version->name = name;
5380 if (name[0] != '\0')
5382 ++version_index;
5383 version->vernum = version_index;
5385 else
5386 version->vernum = 0;
5388 for (pp = &lang_elf_version_info; *pp != NULL; pp = &(*pp)->next)
5390 *pp = version;
5393 /* This is called when we see a version dependency. */
5395 struct bfd_elf_version_deps *
5396 lang_add_vers_depend (struct bfd_elf_version_deps *list, const char *name)
5398 struct bfd_elf_version_deps *ret;
5399 struct bfd_elf_version_tree *t;
5401 ret = xmalloc (sizeof *ret);
5402 ret->next = list;
5404 for (t = lang_elf_version_info; t != NULL; t = t->next)
5406 if (strcmp (t->name, name) == 0)
5408 ret->version_needed = t;
5409 return ret;
5413 einfo (_("%X%P: unable to find version dependency `%s'\n"), name);
5415 return ret;
5418 static void
5419 lang_do_version_exports_section (void)
5421 struct bfd_elf_version_expr *greg = NULL, *lreg;
5423 LANG_FOR_EACH_INPUT_STATEMENT (is)
5425 asection *sec = bfd_get_section_by_name (is->the_bfd, ".exports");
5426 char *contents, *p;
5427 bfd_size_type len;
5429 if (sec == NULL)
5430 continue;
5432 len = bfd_section_size (is->the_bfd, sec);
5433 contents = xmalloc (len);
5434 if (!bfd_get_section_contents (is->the_bfd, sec, contents, 0, len))
5435 einfo (_("%X%P: unable to read .exports section contents\n"), sec);
5437 p = contents;
5438 while (p < contents + len)
5440 greg = lang_new_vers_pattern (greg, p, NULL);
5441 p = strchr (p, '\0') + 1;
5444 /* Do not free the contents, as we used them creating the regex. */
5446 /* Do not include this section in the link. */
5447 bfd_set_section_flags (is->the_bfd, sec,
5448 bfd_get_section_flags (is->the_bfd, sec) | SEC_EXCLUDE);
5451 lreg = lang_new_vers_pattern (NULL, "*", NULL);
5452 lang_register_vers_node (command_line.version_exports_section,
5453 lang_new_vers_node (greg, lreg), NULL);
5456 void
5457 lang_add_unique (const char *name)
5459 struct unique_sections *ent;
5461 for (ent = unique_section_list; ent; ent = ent->next)
5462 if (strcmp (ent->name, name) == 0)
5463 return;
5465 ent = xmalloc (sizeof *ent);
5466 ent->name = xstrdup (name);
5467 ent->next = unique_section_list;
5468 unique_section_list = ent;