1 /* Copyright (C) 1991 Free Software Foundation, Inc.
2 Written by Steve Chamberlain steve@cygnus.com
4 This file is part of GLD, the Gnu Linker.
6 GLD is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
11 GLD is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GLD; see the file COPYING. If not, write to
18 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
44 extern boolean lang_has_input_file
;
45 extern boolean trace_files
;
49 char *output_filename
= "a.out";
50 /* Name this program was invoked by. */
53 /* The file that we're creating */
56 extern boolean option_v
;
58 /* The local symbol prefix */
61 /* Count the number of global symbols multiply defined. */
62 int multiple_def_count
;
65 /* Count the number of symbols defined through common declarations.
66 This count is referenced in symdef_library, linear_library, and
67 modified by enter_global_ref.
69 It is incremented when a symbol is created as a common, and
70 decremented when the common declaration is overridden
72 Another way of thinking of it is that this is a count of
73 all ldsym_types with a ->scoms field */
75 unsigned int commons_pending
;
77 /* Count the number of global symbols referenced and not defined.
78 common symbols are not included in this count. */
80 unsigned int undefined_global_sym_count
;
84 /* Count the number of warning symbols encountered. */
87 /* have we had a load script ? */
88 extern boolean had_script
;
90 /* Nonzero means print names of input files as processed. */
95 /* 1 => write load map. */
101 /* Indicates whether output file will be b.out (default) or coff */
102 enum target_flavour output_flavor
= BFD_BOUT_FORMAT
;
105 /* Force the make_executable to be output, even if there are non-fatal
107 boolean force_make_executable
;
109 /* A count of the total number of local symbols ever seen - by adding
110 the symbol_count field of each newly read afile.*/
112 unsigned int total_symbols_seen
;
114 /* A count of the number of read files - the same as the number of elements
117 unsigned int total_files_seen
;
121 args_type command_line
;
122 ld_config_type config
;
129 program_name
= argv
[0];
130 output_filename
= "a.out";
137 check_v960( argc
, argv
);
138 emulation
= "gld960";
139 for ( i
= 1; i
< argc
; i
++ ){
140 if ( !strcmp(argv
[i
],"-Fcoff") ){
141 emulation
= "lnk960";
142 output_flavor
= BFD_COFF_FORMAT
;
148 emulation
= (char *) getenv(EMULATION_ENVIRON
);
151 /* Initialize the data about options. */
156 config
.relocateable_output
= false;
158 command_line
.force_common_definition
= false;
160 init_bfd_error_vector();
163 ldfile_add_library_path("./");
164 config
.make_executable
= true;
165 force_make_executable
= false;
168 /* Initialize the cumulative counts of symbols. */
169 undefined_global_sym_count
= 0;
171 multiple_def_count
= 0;
174 config
.magic_demand_paged
= true;
175 config
.text_read_only
= true;
176 config
.make_executable
= true;
177 if (emulation
== (char *)NULL
) {
178 emulation
= DEFAULT_EMULATION
;
181 ldemul_choose_mode(emulation
);
182 default_target
= ldemul_choose_target();
184 ldemul_before_parse();
185 lang_has_input_file
= false;
186 parse_args(argc
, argv
);
191 info("%P: mode %s\n", emulation
);
194 if (lang_has_input_file
== false) {
195 einfo("%P%F: No input files\n");
198 ldemul_after_parse();
201 if (config
.map_filename
)
203 if (strcmp(config
.map_filename
, "-") == 0)
205 config
.map_file
= stdout
;
208 config
.map_file
= fopen(config
.map_filename
, FOPEN_WT
);
209 if (config
.map_file
== (FILE *)NULL
)
211 einfo("%P%F: can't open map file %s\n",
212 config
.map_filename
);
220 /* Print error messages for any missing symbols, for any warning
221 symbols, and possibly multiple definitions */
224 if (config
.text_read_only
) {
225 /* Look for a text section and mark the readonly attribute in it */
226 asection
*found
= bfd_get_section_by_name(output_bfd
, ".text");
227 if (found
== (asection
*)NULL
) {
228 einfo("%P%F: text marked read only, but no text section present");
230 found
->flags
|= SEC_READONLY
;
233 if (config
.relocateable_output
) {
234 output_bfd
->flags
&= ~EXEC_P
;
237 bfd_close(output_bfd
);
240 output_bfd
->flags
|= EXEC_P
;
244 if (config
.make_executable
== false && force_make_executable
==false) {
246 unlink(output_filename
);
248 else { bfd_close(output_bfd
); };
249 exit (!config
.make_executable
);
257 Q_read_entry_symbols (desc
, entry
)
259 struct lang_input_statement_struct
*entry
;
261 if (entry
->asymbols
== (asymbol
**)NULL
) {
262 bfd_size_type table_size
= get_symtab_upper_bound(desc
);
263 entry
->asymbols
= (asymbol
**)ldmalloc(table_size
);
264 entry
->symbol_count
= bfd_canonicalize_symtab(desc
, entry
->asymbols
) ;
270 * turn this item into a reference
277 asymbol
*sym
= *nlist_p
;
280 sym
->section
= &bfd_und_section
;
281 sym
->udata
=(PTR
)( sp
->srefs_chain
);
282 sp
->srefs_chain
= nlist_p
;
285 This function is called for each name which is seen which has a global
286 scope. It enters the name into the global symbol table in the correct
287 symbol on the correct chain. Remember that each ldsym_type has three
288 chains attatched, one of all definitions of a symbol, one of all
289 references of a symbol and one of all common definitions of a symbol.
291 When the function is over, the supplied is left connected to the bfd
292 to which is was born, with its udata field pointing to the next member
293 on the chain in which it has been inserted.
295 A certain amount of jigery pokery is necessary since commons come
296 along and upset things, we only keep one item in the common chain; the
297 one with the biggest size seen sofar. When another common comes along
298 it either bumps the previous definition into the ref chain, since it
299 is bigger, or gets turned into a ref on the spot since the one on the
300 common chain is already bigger. If a real definition comes along then
301 the common gets bumped off anyway.
303 Whilst all this is going on we keep a count of the number of multiple
304 definitions seen, undefined global symbols and pending commons.
307 extern boolean relaxing
;
310 Q_enter_global_ref (nlist_p
)
314 asymbol
*sym
= *nlist_p
;
315 CONST
char *name
= sym
->name
;
316 ldsym_type
*sp
= ldsym_get (name
);
318 flagword this_symbol_flags
= sym
->flags
;
321 ASSERT(sym
->udata
== 0);
324 if (flag_is_constructor(this_symbol_flags
)) {
325 /* Add this constructor to the list we keep */
326 ldlang_add_constructor(sp
);
327 /* Turn any commons into refs */
328 if (sp
->scoms_chain
!= (asymbol
**)NULL
) {
329 refize(sp
, sp
->scoms_chain
);
336 if (sym
->section
== &bfd_com_section
) {
337 /* If we have a definition of this symbol already then
338 this common turns into a reference. Also we only
339 ever point to the largest common, so if we
340 have a common, but it's bigger that the new symbol
341 the turn this into a reference too. */
344 /* This is a common symbol, but we already have a definition
345 for it, so just link it into the ref chain as if
346 it were a reference */
349 else if (sp
->scoms_chain
) {
350 /* If we have a previous common, keep only the biggest */
351 if ( (*(sp
->scoms_chain
))->value
> sym
->value
) {
352 /* other common is bigger, throw this one away */
355 else if (sp
->scoms_chain
!= nlist_p
) {
356 /* other common is smaller, throw that away */
357 refize(sp
, sp
->scoms_chain
);
358 sp
->scoms_chain
= nlist_p
;
362 /* This is the first time we've seen a common, so remember it
363 - if it was undefined before, we know it's defined now. If
364 the symbol has been marked as really being a constructor,
365 then treat this as a ref
367 if (sp
->flags
& SYM_CONSTRUCTOR
) {
368 /* Turn this into a ref */
372 /* treat like a common */
374 undefined_global_sym_count
--;
377 sp
->scoms_chain
= nlist_p
;
382 else if (sym
->section
!= &bfd_und_section
) {
383 /* This is the definition of a symbol, add to def chain */
384 if (sp
->sdefs_chain
&& (*(sp
->sdefs_chain
))->section
!= sym
->section
) {
385 /* Multiple definition */
386 asymbol
*sy
= *(sp
->sdefs_chain
);
387 lang_input_statement_type
*stat
= (lang_input_statement_type
*) sy
->the_bfd
->usrdata
;
388 lang_input_statement_type
*stat1
= (lang_input_statement_type
*) sym
->the_bfd
->usrdata
;
389 asymbol
** stat1_symbols
= stat1
? stat1
->asymbols
: 0;
390 asymbol
** stat_symbols
= stat
? stat
->asymbols
:0;
392 multiple_def_count
++;
393 einfo("%C: multiple definition of `%T'\n",
394 sym
->the_bfd
, sym
->section
, stat1_symbols
, sym
->value
, sym
);
396 einfo("%C: first seen here\n",
397 sy
->the_bfd
, sy
->section
, stat_symbols
, sy
->value
);
400 sym
->udata
=(PTR
)( sp
->sdefs_chain
);
401 sp
->sdefs_chain
= nlist_p
;
403 /* A definition overrides a common symbol */
404 if (sp
->scoms_chain
) {
405 refize(sp
, sp
->scoms_chain
);
409 else if (sp
->srefs_chain
&& relaxing
== false) {
410 /* If previously was undefined, then remember as defined */
411 undefined_global_sym_count
--;
415 if (sp
->scoms_chain
== (asymbol
**)NULL
416 && sp
->srefs_chain
== (asymbol
**)NULL
417 && sp
->sdefs_chain
== (asymbol
**)NULL
) {
418 /* And it's the first time we've seen it */
419 undefined_global_sym_count
++;
427 ASSERT(sp
->sdefs_chain
== 0 || sp
->scoms_chain
== 0);
428 ASSERT(sp
->scoms_chain
==0 || (*(sp
->scoms_chain
))->udata
== 0);
434 Q_enter_file_symbols (entry
)
435 lang_input_statement_type
*entry
;
439 entry
->common_section
=
440 bfd_make_section_old_way(entry
->the_bfd
, "COMMON");
442 ldlang_add_file(entry
);
445 if (trace_files
|| option_v
) {
449 total_symbols_seen
+= entry
->symbol_count
;
451 for (q
= entry
->asymbols
; *q
; q
++)
455 if (p
->flags
& BSF_INDIRECT
)
459 else if (p
->flags
& BSF_WARNING
)
464 else if (p
->section
== &bfd_und_section
465 || (p
->flags
& BSF_GLOBAL
)
466 || p
->section
== &bfd_com_section
467 || (p
->flags
& BSF_CONSTRUCTOR
))
469 Q_enter_global_ref(q
);
478 /* Searching libraries */
480 struct lang_input_statement_struct
*decode_library_subfile ();
481 void linear_library (), symdef_library ();
483 /* Search the library ENTRY, already open on descriptor DESC.
484 This means deciding which library members to load,
485 making a chain of `struct lang_input_statement_struct' for those members,
486 and entering their global symbols in the hash table. */
489 search_library (entry
)
490 struct lang_input_statement_struct
*entry
;
493 /* No need to load a library if no undefined symbols */
494 if (!undefined_global_sym_count
) return;
496 if (bfd_has_map(entry
->the_bfd
))
497 symdef_library (entry
);
499 linear_library (entry
);
507 gnu960_check_format (abfd
, format
)
513 if ((bfd_check_format(abfd
,format
) == true)
514 && (abfd
->xvec
->flavour
== output_flavor
) ){
524 ldmain_open_file_read_symbol (entry
)
525 struct lang_input_statement_struct
*entry
;
527 if (entry
->asymbols
== (asymbol
**)NULL
528 &&entry
->real
== true
529 && entry
->filename
!= (char *)NULL
)
531 ldfile_open_file (entry
);
535 if (gnu960_check_format(entry
->the_bfd
, bfd_object
))
537 if (bfd_check_format(entry
->the_bfd
, bfd_object
))
540 entry
->the_bfd
->usrdata
= (PTR
)entry
;
543 Q_read_entry_symbols (entry
->the_bfd
, entry
);
545 /* look through the sections in the file and see if any of them
547 ldlang_check_for_constructors (entry
);
549 Q_enter_file_symbols (entry
);
552 else if (gnu960_check_format(entry
->the_bfd
, bfd_archive
))
554 else if (bfd_check_format(entry
->the_bfd
, bfd_archive
))
557 entry
->the_bfd
->usrdata
= (PTR
)entry
;
559 entry
->subfiles
= (lang_input_statement_type
*)NULL
;
560 search_library (entry
);
564 einfo("%F%B: malformed input file (not rel or archive) \n",
572 /* Construct and return a lang_input_statement_struct for a library member.
573 The library's lang_input_statement_struct is library_entry,
574 and the library is open on DESC.
575 SUBFILE_OFFSET is the byte index in the library of this member's header.
576 We store the length of the member into *LENGTH_LOC. */
578 lang_input_statement_type
*
579 decode_library_subfile (library_entry
, subfile_offset
)
580 struct lang_input_statement_struct
*library_entry
;
583 register struct lang_input_statement_struct
*subentry
;
584 subentry
= (struct lang_input_statement_struct
*) ldmalloc ((bfd_size_type
)(sizeof (struct lang_input_statement_struct
)));
585 subentry
->filename
= subfile_offset
-> filename
;
586 subentry
->local_sym_name
= subfile_offset
->filename
;
587 subentry
->asymbols
= 0;
588 subentry
->the_bfd
= subfile_offset
;
589 subentry
->subfiles
= 0;
591 subentry
->superfile
= library_entry
;
592 subentry
->is_archive
= false;
594 subentry
->just_syms_flag
= false;
595 subentry
->loaded
= false;
601 boolean
subfile_wanted_p ();
603 clear_syms(entry
, offset
)
604 struct lang_input_statement_struct
*entry
;
608 unsigned long indx
= bfd_get_next_mapent(entry
->the_bfd
,
611 while (indx
!= BFD_NO_MORE_SYMBOLS
) {
612 if (car
->file_offset
== offset
) {
615 indx
= bfd_get_next_mapent(entry
->the_bfd
, indx
, &car
);
620 /* Search a library that has a map
623 symdef_library (entry
)
624 struct lang_input_statement_struct
*entry
;
627 register struct lang_input_statement_struct
*prev
= 0;
629 boolean not_finished
= true;
632 while (not_finished
== true)
634 carsym
*exported_library_name
;
635 bfd
*prev_archive_member_bfd
= 0;
637 int idx
= bfd_get_next_mapent(entry
->the_bfd
,
639 &exported_library_name
);
641 not_finished
= false;
643 while (idx
!= BFD_NO_MORE_SYMBOLS
&& undefined_global_sym_count
)
646 if (exported_library_name
->name
)
649 ldsym_type
*sp
= ldsym_get_soft (exported_library_name
->name
);
651 /* If we find a symbol that appears to be needed, think carefully
652 about the archive member that the symbol is in. */
653 /* So - if it exists, and is referenced somewhere and is
655 if (sp
&& sp
->srefs_chain
&& !sp
->sdefs_chain
)
657 bfd
*archive_member_bfd
= bfd_get_elt_at_index(entry
->the_bfd
, idx
);
658 struct lang_input_statement_struct
*archive_member_lang_input_statement_struct
;
661 if (archive_member_bfd
&& gnu960_check_format(archive_member_bfd
, bfd_object
))
663 if (archive_member_bfd
&& bfd_check_format(archive_member_bfd
, bfd_object
))
667 /* Don't think carefully about any archive member
668 more than once in a given pass. */
669 if (prev_archive_member_bfd
!= archive_member_bfd
)
672 prev_archive_member_bfd
= archive_member_bfd
;
674 /* Read the symbol table of the archive member. */
676 if (archive_member_bfd
->usrdata
!= (PTR
)NULL
) {
678 archive_member_lang_input_statement_struct
=(lang_input_statement_type
*) archive_member_bfd
->usrdata
;
682 archive_member_lang_input_statement_struct
=
683 decode_library_subfile (entry
, archive_member_bfd
);
684 archive_member_bfd
->usrdata
= (PTR
) archive_member_lang_input_statement_struct
;
688 if (archive_member_lang_input_statement_struct
== 0) {
689 einfo ("%F%I contains invalid archive member %s\n",
693 if (archive_member_lang_input_statement_struct
->loaded
== false)
696 Q_read_entry_symbols (archive_member_bfd
, archive_member_lang_input_statement_struct
);
697 /* Now scan the symbol table and decide whether to load. */
700 if (subfile_wanted_p (archive_member_lang_input_statement_struct
) == true)
703 /* This member is needed; load it.
704 Since we are loading something on this pass,
705 we must make another pass through the symdef data. */
709 Q_enter_file_symbols (archive_member_lang_input_statement_struct
);
712 prev
->chain
= archive_member_lang_input_statement_struct
;
714 entry
->subfiles
= archive_member_lang_input_statement_struct
;
717 prev
= archive_member_lang_input_statement_struct
;
720 /* Clear out this member's symbols from the symdef data
721 so that following passes won't waste time on them. */
722 clear_syms(entry
, exported_library_name
->file_offset
);
723 archive_member_lang_input_statement_struct
->loaded
= true;
730 idx
= bfd_get_next_mapent(entry
->the_bfd
, idx
, &exported_library_name
);
736 linear_library (entry
)
737 struct lang_input_statement_struct
*entry
;
739 boolean more_to_do
= true;
740 register struct lang_input_statement_struct
*prev
= 0;
744 bfd
* archive
= bfd_openr_next_archived_file(entry
->the_bfd
,0);
749 if (gnu960_check_format(archive
, bfd_object
))
751 if (bfd_check_format(archive
, bfd_object
))
754 register struct lang_input_statement_struct
*subentry
;
756 subentry
= decode_library_subfile (entry
,
759 archive
->usrdata
= (PTR
) subentry
;
760 if (!subentry
) return;
761 if (subentry
->loaded
== false) {
762 Q_read_entry_symbols (archive
, subentry
);
764 if (subfile_wanted_p (subentry
) == true)
766 Q_enter_file_symbols (subentry
);
769 prev
->chain
= subentry
;
771 entry
->subfiles
= subentry
;
775 subentry
->loaded
= true;
779 archive
= bfd_openr_next_archived_file(entry
->the_bfd
,archive
);
786 /* ENTRY is an entry for a library member.
787 Its symbols have been read into core, but not entered.
788 Return nonzero if we ought to load this member. */
791 subfile_wanted_p (entry
)
792 struct lang_input_statement_struct
*entry
;
796 for (q
= entry
->asymbols
; *q
; q
++)
800 /* If the symbol has an interesting definition, we could
801 potentially want it. */
803 if (p
->flags
& BSF_INDIRECT
) {
804 /* Grab out the name we've indirected to, and keep the insides
809 if (p
->section
== &bfd_com_section
810 || (p
->flags
& BSF_GLOBAL
)
811 || (p
->flags
& BSF_INDIRECT
))
813 register ldsym_type
*sp
= ldsym_get_soft (p
->name
);
816 /* If this symbol has not been hashed,
817 we can't be looking for it. */
818 if (sp
!= (ldsym_type
*)NULL
819 && sp
->sdefs_chain
== (asymbol
**)NULL
) {
820 if (sp
->srefs_chain
!= (asymbol
**)NULL
821 || sp
->scoms_chain
!= (asymbol
**)NULL
)
823 /* This is a symbol we are looking for. It is either
824 not yet defined or common. */
826 if (p
->section
== &bfd_com_section
)
829 /* If the symbol in the table is a constructor, we won't to
830 anything fancy with it */
831 if ((sp
->flags
& SYM_CONSTRUCTOR
) == 0) {
832 /* This libary member has something to
833 say about this element. We should
834 remember if its a new size */
835 /* Move something from the ref list to the com list */
836 if(sp
->scoms_chain
) {
837 /* Already a common symbol, maybe update it */
838 if (p
->value
> (*(sp
->scoms_chain
))->value
) {
839 (*(sp
->scoms_chain
))->value
= p
->value
;
843 /* Take a value from the ref chain
844 Here we are moving a symbol from the owning bfd
845 to another bfd. We must set up the
846 common_section portion of the bfd thing */
850 sp
->scoms_chain
= sp
->srefs_chain
;
852 (asymbol
**)((*(sp
->srefs_chain
))->udata
);
853 (*(sp
->scoms_chain
))->udata
= (PTR
)NULL
;
855 (*( sp
->scoms_chain
))->section
=
857 (*( sp
->scoms_chain
))->flags
= 0;
858 /* Remember the size of this item */
859 sp
->scoms_chain
[0]->value
= p
->value
;
861 undefined_global_sym_count
--;
863 asymbol
*com
= *(sp
->scoms_chain
);
864 if (((lang_input_statement_type
*)
865 (com
->the_bfd
->usrdata
))->common_section
==
867 ((lang_input_statement_type
*)
868 (com
->the_bfd
->usrdata
))->common_section
=
869 bfd_make_section_old_way(com
->the_bfd
, "COMMON");
873 ASSERT(p
->udata
== 0);
879 info("%I needed due to %s\n",entry
, sp
->name
);