| 1 | /* ldctor.c -- constructor support routines
|
|---|
| 2 | Copyright 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001,
|
|---|
| 3 | 2002 Free Software Foundation, Inc.
|
|---|
| 4 | By Steve Chamberlain <sac@cygnus.com>
|
|---|
| 5 |
|
|---|
| 6 | This file is part of GLD, the Gnu Linker.
|
|---|
| 7 |
|
|---|
| 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.
|
|---|
| 12 |
|
|---|
| 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.
|
|---|
| 17 |
|
|---|
| 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. */
|
|---|
| 22 |
|
|---|
| 23 | #include "bfd.h"
|
|---|
| 24 | #include "sysdep.h"
|
|---|
| 25 | #include "bfdlink.h"
|
|---|
| 26 | #include "safe-ctype.h"
|
|---|
| 27 |
|
|---|
| 28 | #include "ld.h"
|
|---|
| 29 | #include "ldexp.h"
|
|---|
| 30 | #include "ldlang.h"
|
|---|
| 31 | #include "ldmisc.h"
|
|---|
| 32 | #include <ldgram.h>
|
|---|
| 33 | #include "ldmain.h"
|
|---|
| 34 | #include "ldctor.h"
|
|---|
| 35 |
|
|---|
| 36 | static int ctor_prio PARAMS ((const char *));
|
|---|
| 37 | static int ctor_cmp PARAMS ((const PTR, const PTR));
|
|---|
| 38 |
|
|---|
| 39 | /* The list of statements needed to handle constructors. These are
|
|---|
| 40 | invoked by the command CONSTRUCTORS in the linker script. */
|
|---|
| 41 | lang_statement_list_type constructor_list;
|
|---|
| 42 |
|
|---|
| 43 | /* Whether the constructors should be sorted. Note that this is
|
|---|
| 44 | global for the entire link; we assume that there is only a single
|
|---|
| 45 | CONSTRUCTORS command in the linker script. */
|
|---|
| 46 | bfd_boolean constructors_sorted;
|
|---|
| 47 |
|
|---|
| 48 | /* The sets we have seen. */
|
|---|
| 49 | struct set_info *sets;
|
|---|
| 50 |
|
|---|
| 51 | /* Add an entry to a set. H is the entry in the linker hash table.
|
|---|
| 52 | RELOC is the relocation to use for an entry in the set. SECTION
|
|---|
| 53 | and VALUE are the value to add. This is called during the first
|
|---|
| 54 | phase of the link, when we are still gathering symbols together.
|
|---|
| 55 | We just record the information now. The ldctor_find_constructors
|
|---|
| 56 | function will construct the sets. */
|
|---|
| 57 |
|
|---|
| 58 | void
|
|---|
| 59 | ldctor_add_set_entry (h, reloc, name, section, value)
|
|---|
| 60 | struct bfd_link_hash_entry *h;
|
|---|
| 61 | bfd_reloc_code_real_type reloc;
|
|---|
| 62 | const char *name;
|
|---|
| 63 | asection *section;
|
|---|
| 64 | bfd_vma value;
|
|---|
| 65 | {
|
|---|
| 66 | struct set_info *p;
|
|---|
| 67 | struct set_element *e;
|
|---|
| 68 | struct set_element **epp;
|
|---|
| 69 |
|
|---|
| 70 | for (p = sets; p != (struct set_info *) NULL; p = p->next)
|
|---|
| 71 | if (p->h == h)
|
|---|
| 72 | break;
|
|---|
| 73 |
|
|---|
| 74 | if (p == (struct set_info *) NULL)
|
|---|
| 75 | {
|
|---|
| 76 | p = (struct set_info *) xmalloc (sizeof (struct set_info));
|
|---|
| 77 | p->next = sets;
|
|---|
| 78 | sets = p;
|
|---|
| 79 | p->h = h;
|
|---|
| 80 | p->reloc = reloc;
|
|---|
| 81 | p->count = 0;
|
|---|
| 82 | p->elements = NULL;
|
|---|
| 83 | }
|
|---|
| 84 | else
|
|---|
| 85 | {
|
|---|
| 86 | if (p->reloc != reloc)
|
|---|
| 87 | {
|
|---|
| 88 | einfo (_("%P%X: Different relocs used in set %s\n"),
|
|---|
| 89 | h->root.string);
|
|---|
| 90 | return;
|
|---|
| 91 | }
|
|---|
| 92 |
|
|---|
| 93 | /* Don't permit a set to be constructed from different object
|
|---|
| 94 | file formats. The same reloc may have different results. We
|
|---|
| 95 | actually could sometimes handle this, but the case is
|
|---|
| 96 | unlikely to ever arise. Sometimes constructor symbols are in
|
|---|
| 97 | unusual sections, such as the absolute section--this appears
|
|---|
| 98 | to be the case in Linux a.out--and in such cases we just
|
|---|
| 99 | assume everything is OK. */
|
|---|
| 100 | if (p->elements != NULL
|
|---|
| 101 | && section->owner != NULL
|
|---|
| 102 | && p->elements->section->owner != NULL
|
|---|
| 103 | && strcmp (bfd_get_target (section->owner),
|
|---|
| 104 | bfd_get_target (p->elements->section->owner)) != 0)
|
|---|
| 105 | {
|
|---|
| 106 | einfo (_("%P%X: Different object file formats composing set %s\n"),
|
|---|
| 107 | h->root.string);
|
|---|
| 108 | return;
|
|---|
| 109 | }
|
|---|
| 110 | }
|
|---|
| 111 |
|
|---|
| 112 | e = (struct set_element *) xmalloc (sizeof (struct set_element));
|
|---|
| 113 | e->next = NULL;
|
|---|
| 114 | e->name = name;
|
|---|
| 115 | e->section = section;
|
|---|
| 116 | e->value = value;
|
|---|
| 117 |
|
|---|
| 118 | for (epp = &p->elements; *epp != NULL; epp = &(*epp)->next)
|
|---|
| 119 | ;
|
|---|
| 120 | *epp = e;
|
|---|
| 121 |
|
|---|
| 122 | ++p->count;
|
|---|
| 123 | }
|
|---|
| 124 |
|
|---|
| 125 | /* Get the priority of a g++ global constructor or destructor from the
|
|---|
| 126 | symbol name. */
|
|---|
| 127 |
|
|---|
| 128 | static int
|
|---|
| 129 | ctor_prio (name)
|
|---|
| 130 | const char *name;
|
|---|
| 131 | {
|
|---|
| 132 | /* The name will look something like _GLOBAL_$I$65535$test02__Fv.
|
|---|
| 133 | There might be extra leading underscores, and the $ characters
|
|---|
| 134 | might be something else. The I might be a D. */
|
|---|
| 135 |
|
|---|
| 136 | while (*name == '_')
|
|---|
| 137 | ++name;
|
|---|
| 138 |
|
|---|
| 139 | if (strncmp (name, "GLOBAL_", sizeof "GLOBAL_" - 1) != 0)
|
|---|
| 140 | return -1;
|
|---|
| 141 |
|
|---|
| 142 | name += sizeof "GLOBAL_" - 1;
|
|---|
| 143 |
|
|---|
| 144 | if (name[0] != name[2])
|
|---|
| 145 | return -1;
|
|---|
| 146 | if (name[1] != 'I' && name[1] != 'D')
|
|---|
| 147 | return -1;
|
|---|
| 148 | if (! ISDIGIT (name[3]))
|
|---|
| 149 | return -1;
|
|---|
| 150 |
|
|---|
| 151 | return atoi (name + 3);
|
|---|
| 152 | }
|
|---|
| 153 |
|
|---|
| 154 | /* This function is used to sort constructor elements by priority. It
|
|---|
| 155 | is called via qsort. */
|
|---|
| 156 |
|
|---|
| 157 | static int
|
|---|
| 158 | ctor_cmp (p1, p2)
|
|---|
| 159 | const PTR p1;
|
|---|
| 160 | const PTR p2;
|
|---|
| 161 | {
|
|---|
| 162 | const struct set_element **pe1 = (const struct set_element **) p1;
|
|---|
| 163 | const struct set_element **pe2 = (const struct set_element **) p2;
|
|---|
| 164 | const char *n1;
|
|---|
| 165 | const char *n2;
|
|---|
| 166 | int prio1;
|
|---|
| 167 | int prio2;
|
|---|
| 168 |
|
|---|
| 169 | n1 = (*pe1)->name;
|
|---|
| 170 | if (n1 == NULL)
|
|---|
| 171 | n1 = "";
|
|---|
| 172 | n2 = (*pe2)->name;
|
|---|
| 173 | if (n2 == NULL)
|
|---|
| 174 | n2 = "";
|
|---|
| 175 |
|
|---|
| 176 | /* We need to sort in reverse order by priority. When two
|
|---|
| 177 | constructors have the same priority, we should maintain their
|
|---|
| 178 | current relative position. */
|
|---|
| 179 |
|
|---|
| 180 | prio1 = ctor_prio (n1);
|
|---|
| 181 | prio2 = ctor_prio (n2);
|
|---|
| 182 |
|
|---|
| 183 | /* We sort in reverse order because that is what g++ expects. */
|
|---|
| 184 | if (prio1 < prio2)
|
|---|
| 185 | return 1;
|
|---|
| 186 | else if (prio1 > prio2)
|
|---|
| 187 | return -1;
|
|---|
| 188 |
|
|---|
| 189 | /* Force a stable sort. */
|
|---|
| 190 |
|
|---|
| 191 | if (pe1 < pe2)
|
|---|
| 192 | return -1;
|
|---|
| 193 | else if (pe1 > pe2)
|
|---|
| 194 | return 1;
|
|---|
| 195 | else
|
|---|
| 196 | return 0;
|
|---|
| 197 | }
|
|---|
| 198 |
|
|---|
| 199 | /* This function is called after the first phase of the link and
|
|---|
| 200 | before the second phase. At this point all set information has
|
|---|
| 201 | been gathered. We now put the statements to build the sets
|
|---|
| 202 | themselves into constructor_list. */
|
|---|
| 203 |
|
|---|
| 204 | void
|
|---|
| 205 | ldctor_build_sets ()
|
|---|
| 206 | {
|
|---|
| 207 | static bfd_boolean called;
|
|---|
| 208 | lang_statement_list_type *old;
|
|---|
| 209 | bfd_boolean header_printed;
|
|---|
| 210 | struct set_info *p;
|
|---|
| 211 |
|
|---|
| 212 | /* The emulation code may call us directly, but we only want to do
|
|---|
| 213 | this once. */
|
|---|
| 214 | if (called)
|
|---|
| 215 | return;
|
|---|
| 216 | called = TRUE;
|
|---|
| 217 |
|
|---|
| 218 | if (constructors_sorted)
|
|---|
| 219 | {
|
|---|
| 220 | for (p = sets; p != NULL; p = p->next)
|
|---|
| 221 | {
|
|---|
| 222 | int c, i;
|
|---|
| 223 | struct set_element *e;
|
|---|
| 224 | struct set_element **array;
|
|---|
| 225 |
|
|---|
| 226 | if (p->elements == NULL)
|
|---|
| 227 | continue;
|
|---|
| 228 |
|
|---|
| 229 | c = 0;
|
|---|
| 230 | for (e = p->elements; e != NULL; e = e->next)
|
|---|
| 231 | ++c;
|
|---|
| 232 |
|
|---|
| 233 | array = (struct set_element **) xmalloc (c * sizeof *array);
|
|---|
| 234 |
|
|---|
| 235 | i = 0;
|
|---|
| 236 | for (e = p->elements; e != NULL; e = e->next)
|
|---|
| 237 | {
|
|---|
| 238 | array[i] = e;
|
|---|
| 239 | ++i;
|
|---|
| 240 | }
|
|---|
| 241 |
|
|---|
| 242 | qsort (array, c, sizeof *array, ctor_cmp);
|
|---|
| 243 |
|
|---|
| 244 | e = array[0];
|
|---|
| 245 | p->elements = e;
|
|---|
| 246 | for (i = 0; i < c - 1; i++)
|
|---|
| 247 | array[i]->next = array[i + 1];
|
|---|
| 248 | array[i]->next = NULL;
|
|---|
| 249 |
|
|---|
| 250 | free (array);
|
|---|
| 251 | }
|
|---|
| 252 | }
|
|---|
| 253 |
|
|---|
| 254 | old = stat_ptr;
|
|---|
| 255 | stat_ptr = &constructor_list;
|
|---|
| 256 |
|
|---|
| 257 | lang_list_init (stat_ptr);
|
|---|
| 258 |
|
|---|
| 259 | header_printed = FALSE;
|
|---|
| 260 | for (p = sets; p != (struct set_info *) NULL; p = p->next)
|
|---|
| 261 | {
|
|---|
| 262 | struct set_element *e;
|
|---|
| 263 | reloc_howto_type *howto;
|
|---|
| 264 | int reloc_size, size;
|
|---|
| 265 |
|
|---|
| 266 | /* If the symbol is defined, we may have been invoked from
|
|---|
| 267 | collect, and the sets may already have been built, so we do
|
|---|
| 268 | not do anything. */
|
|---|
| 269 | if (p->h->type == bfd_link_hash_defined
|
|---|
| 270 | || p->h->type == bfd_link_hash_defweak)
|
|---|
| 271 | continue;
|
|---|
| 272 |
|
|---|
| 273 | /* For each set we build:
|
|---|
| 274 | set:
|
|---|
| 275 | .long number_of_elements
|
|---|
| 276 | .long element0
|
|---|
| 277 | ...
|
|---|
| 278 | .long elementN
|
|---|
| 279 | .long 0
|
|---|
| 280 | except that we use the right size instead of .long. When
|
|---|
| 281 | generating relocateable output, we generate relocs instead of
|
|---|
| 282 | addresses. */
|
|---|
| 283 | howto = bfd_reloc_type_lookup (output_bfd, p->reloc);
|
|---|
| 284 | if (howto == (reloc_howto_type *) NULL)
|
|---|
| 285 | {
|
|---|
| 286 | if (link_info.relocateable)
|
|---|
| 287 | {
|
|---|
| 288 | einfo (_("%P%X: %s does not support reloc %s for set %s\n"),
|
|---|
| 289 | bfd_get_target (output_bfd),
|
|---|
| 290 | bfd_get_reloc_code_name (p->reloc),
|
|---|
| 291 | p->h->root.string);
|
|---|
| 292 | continue;
|
|---|
| 293 | }
|
|---|
| 294 |
|
|---|
| 295 | /* If this is not a relocateable link, all we need is the
|
|---|
| 296 | size, which we can get from the input BFD. */
|
|---|
| 297 | if (p->elements->section->owner != NULL)
|
|---|
| 298 | howto = bfd_reloc_type_lookup (p->elements->section->owner,
|
|---|
| 299 | p->reloc);
|
|---|
| 300 | if (howto == NULL)
|
|---|
| 301 | {
|
|---|
| 302 | einfo (_("%P%X: %s does not support reloc %s for set %s\n"),
|
|---|
| 303 | bfd_get_target (p->elements->section->owner),
|
|---|
| 304 | bfd_get_reloc_code_name (p->reloc),
|
|---|
| 305 | p->h->root.string);
|
|---|
| 306 | continue;
|
|---|
| 307 | }
|
|---|
| 308 | }
|
|---|
| 309 |
|
|---|
| 310 | reloc_size = bfd_get_reloc_size (howto);
|
|---|
| 311 | switch (reloc_size)
|
|---|
| 312 | {
|
|---|
| 313 | case 1: size = BYTE; break;
|
|---|
| 314 | case 2: size = SHORT; break;
|
|---|
| 315 | case 4: size = LONG; break;
|
|---|
| 316 | case 8:
|
|---|
| 317 | if (howto->complain_on_overflow == complain_overflow_signed)
|
|---|
| 318 | size = SQUAD;
|
|---|
| 319 | else
|
|---|
| 320 | size = QUAD;
|
|---|
| 321 | break;
|
|---|
| 322 | default:
|
|---|
| 323 | einfo (_("%P%X: Unsupported size %d for set %s\n"),
|
|---|
| 324 | bfd_get_reloc_size (howto), p->h->root.string);
|
|---|
| 325 | size = LONG;
|
|---|
| 326 | break;
|
|---|
| 327 | }
|
|---|
| 328 |
|
|---|
| 329 | lang_add_assignment (exp_assop ('=', ".",
|
|---|
| 330 | exp_unop (ALIGN_K,
|
|---|
| 331 | exp_intop (reloc_size))));
|
|---|
| 332 | lang_add_assignment (exp_assop ('=', p->h->root.string,
|
|---|
| 333 | exp_nameop (NAME, ".")));
|
|---|
| 334 | lang_add_data (size, exp_intop ((bfd_vma) p->count));
|
|---|
| 335 |
|
|---|
| 336 | for (e = p->elements; e != (struct set_element *) NULL; e = e->next)
|
|---|
| 337 | {
|
|---|
| 338 | if (config.map_file != NULL)
|
|---|
| 339 | {
|
|---|
| 340 | int len;
|
|---|
| 341 |
|
|---|
| 342 | if (! header_printed)
|
|---|
| 343 | {
|
|---|
| 344 | minfo (_("\nSet Symbol\n\n"));
|
|---|
| 345 | header_printed = TRUE;
|
|---|
| 346 | }
|
|---|
| 347 |
|
|---|
| 348 | minfo ("%s", p->h->root.string);
|
|---|
| 349 | len = strlen (p->h->root.string);
|
|---|
| 350 |
|
|---|
| 351 | if (len >= 19)
|
|---|
| 352 | {
|
|---|
| 353 | print_nl ();
|
|---|
| 354 | len = 0;
|
|---|
| 355 | }
|
|---|
| 356 | while (len < 20)
|
|---|
| 357 | {
|
|---|
| 358 | print_space ();
|
|---|
| 359 | ++len;
|
|---|
| 360 | }
|
|---|
| 361 |
|
|---|
| 362 | if (e->name != NULL)
|
|---|
| 363 | minfo ("%T\n", e->name);
|
|---|
| 364 | else if (e->section->owner != NULL)
|
|---|
| 365 | minfo ("%G\n", e->section->owner, e->section, e->value);
|
|---|
| 366 | else
|
|---|
| 367 | minfo ("*unknown*\n");
|
|---|
| 368 | }
|
|---|
| 369 |
|
|---|
| 370 | /* Need SEC_KEEP for --gc-sections. */
|
|---|
| 371 | if (! bfd_is_abs_section (e->section))
|
|---|
| 372 | e->section->flags |= SEC_KEEP;
|
|---|
| 373 |
|
|---|
| 374 | if (link_info.relocateable)
|
|---|
| 375 | lang_add_reloc (p->reloc, howto, e->section, e->name,
|
|---|
| 376 | exp_intop (e->value));
|
|---|
| 377 | else
|
|---|
| 378 | lang_add_data (size, exp_relop (e->section, e->value));
|
|---|
| 379 | }
|
|---|
| 380 |
|
|---|
| 381 | lang_add_data (size, exp_intop (0));
|
|---|
| 382 | }
|
|---|
| 383 |
|
|---|
| 384 | stat_ptr = old;
|
|---|
| 385 | }
|
|---|