]>
Commit | Line | Data |
---|---|---|
aa32d841 JL |
1 | /* Scan linker error messages for missing template instantiations and provide |
2 | them. | |
3 | ||
d1e082c2 | 4 | Copyright (C) 1995-2013 Free Software Foundation, Inc. |
aa32d841 JL |
5 | Contributed by Jason Merrill (jason@cygnus.com). |
6 | ||
1322177d | 7 | This file is part of GCC. |
aa32d841 | 8 | |
1322177d LB |
9 | GCC is free software; you can redistribute it and/or modify it under |
10 | the terms of the GNU General Public License as published by the Free | |
9dcd6f09 | 11 | Software Foundation; either version 3, or (at your option) any later |
1322177d | 12 | version. |
aa32d841 | 13 | |
1322177d LB |
14 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
15 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
16 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
17 | for more details. | |
aa32d841 JL |
18 | |
19 | You should have received a copy of the GNU General Public License | |
9dcd6f09 NC |
20 | along with GCC; see the file COPYING3. If not see |
21 | <http://www.gnu.org/licenses/>. */ | |
aa32d841 | 22 | |
aa32d841 | 23 | #include "config.h" |
670ee920 | 24 | #include "system.h" |
4977bab6 ZW |
25 | #include "coretypes.h" |
26 | #include "tm.h" | |
993c790e | 27 | #include "intl.h" |
e2500fed GK |
28 | #include "obstack.h" |
29 | #include "hashtab.h" | |
aa32d841 | 30 | #include "demangle.h" |
2edfd4ee | 31 | #include "collect2.h" |
ba78087b | 32 | #include "filenames.h" |
9e350e99 | 33 | #include "diagnostic-core.h" |
4e92c31f | 34 | #include "vec.h" |
aa32d841 | 35 | |
ad211091 KT |
36 | /* TARGET_64BIT may be defined to use driver specific functionality. */ |
37 | #undef TARGET_64BIT | |
38 | #define TARGET_64BIT TARGET_64BIT_DEFAULT | |
39 | ||
aa32d841 JL |
40 | #define MAX_ITERATIONS 17 |
41 | ||
aa32d841 JL |
42 | /* Defined in the automatically-generated underscore.c. */ |
43 | extern int prepends_underscore; | |
44 | ||
45 | static int tlink_verbose; | |
4185f1ce | 46 | |
e29354d4 | 47 | static char *initial_cwd; |
aa32d841 | 48 | \f |
e2500fed | 49 | /* Hash table boilerplate for working with htab_t. We have hash tables |
eb686064 | 50 | for symbol names, file names, and demangled symbols. */ |
aa32d841 JL |
51 | |
52 | typedef struct symbol_hash_entry | |
53 | { | |
e2500fed | 54 | const char *key; |
aa32d841 JL |
55 | struct file_hash_entry *file; |
56 | int chosen; | |
57 | int tweaking; | |
58 | int tweaked; | |
59 | } symbol; | |
60 | ||
61 | typedef struct file_hash_entry | |
62 | { | |
e2500fed | 63 | const char *key; |
aa32d841 JL |
64 | const char *args; |
65 | const char *dir; | |
66 | const char *main; | |
67 | int tweaking; | |
68 | } file; | |
69 | ||
4e92c31f | 70 | typedef const char *str; |
4e92c31f | 71 | |
aa32d841 JL |
72 | typedef struct demangled_hash_entry |
73 | { | |
e2500fed | 74 | const char *key; |
9771b263 | 75 | vec<str> mangled; |
aa32d841 JL |
76 | } demangled; |
77 | ||
e2500fed GK |
78 | /* Hash and comparison functions for these hash tables. */ |
79 | ||
46c5ad27 AJ |
80 | static int hash_string_eq (const void *, const void *); |
81 | static hashval_t hash_string_hash (const void *); | |
e2500fed GK |
82 | |
83 | static int | |
46c5ad27 | 84 | hash_string_eq (const void *s1_p, const void *s2_p) |
e2500fed | 85 | { |
17fa74a2 KH |
86 | const char *const *s1 = (const char *const *) s1_p; |
87 | const char *s2 = (const char *) s2_p; | |
e2500fed GK |
88 | return strcmp (*s1, s2) == 0; |
89 | } | |
90 | ||
91 | static hashval_t | |
46c5ad27 | 92 | hash_string_hash (const void *s_p) |
e2500fed | 93 | { |
17fa74a2 | 94 | const char *const *s = (const char *const *) s_p; |
e2500fed GK |
95 | return (*htab_hash_string) (*s); |
96 | } | |
97 | ||
98 | static htab_t symbol_table; | |
aa32d841 | 99 | |
46c5ad27 AJ |
100 | static struct symbol_hash_entry * symbol_hash_lookup (const char *, int); |
101 | static struct file_hash_entry * file_hash_lookup (const char *); | |
102 | static struct demangled_hash_entry *demangled_hash_lookup (const char *, int); | |
103 | static void symbol_push (symbol *); | |
104 | static symbol * symbol_pop (void); | |
105 | static void file_push (file *); | |
106 | static file * file_pop (void); | |
107 | static void tlink_init (void); | |
68ec3111 | 108 | static int tlink_execute (const char *, char **, const char *, const char *); |
46c5ad27 AJ |
109 | static char * frob_extension (const char *, const char *); |
110 | static char * obstack_fgets (FILE *, struct obstack *); | |
111 | static char * tfgets (FILE *); | |
112 | static char * pfgets (FILE *); | |
113 | static void freadsym (FILE *, file *, int); | |
114 | static void read_repo_file (file *); | |
115 | static void maybe_tweak (char *, file *); | |
116 | static int recompile_files (void); | |
117 | static int read_repo_files (char **); | |
118 | static void demangle_new_symbols (void); | |
119 | static int scan_linker_output (const char *); | |
54ea1de9 | 120 | |
eb686064 JM |
121 | /* Look up an entry in the symbol hash table. */ |
122 | ||
aa32d841 | 123 | static struct symbol_hash_entry * |
46c5ad27 | 124 | symbol_hash_lookup (const char *string, int create) |
aa32d841 | 125 | { |
fad205ff | 126 | void **e; |
e2500fed | 127 | e = htab_find_slot_with_hash (symbol_table, string, |
17fa74a2 | 128 | (*htab_hash_string) (string), |
e2500fed GK |
129 | create ? INSERT : NO_INSERT); |
130 | if (e == NULL) | |
131 | return NULL; | |
132 | if (*e == NULL) | |
aa32d841 | 133 | { |
e2500fed | 134 | struct symbol_hash_entry *v; |
5ed6ace5 | 135 | *e = v = XCNEW (struct symbol_hash_entry); |
e2500fed | 136 | v->key = xstrdup (string); |
aa32d841 | 137 | } |
e1e4cdc4 | 138 | return (struct symbol_hash_entry *) *e; |
aa32d841 JL |
139 | } |
140 | ||
e2500fed GK |
141 | static htab_t file_table; |
142 | ||
eb686064 JM |
143 | /* Look up an entry in the file hash table. */ |
144 | ||
aa32d841 | 145 | static struct file_hash_entry * |
46c5ad27 | 146 | file_hash_lookup (const char *string) |
aa32d841 | 147 | { |
fad205ff | 148 | void **e; |
e2500fed | 149 | e = htab_find_slot_with_hash (file_table, string, |
17fa74a2 | 150 | (*htab_hash_string) (string), |
e2500fed GK |
151 | INSERT); |
152 | if (*e == NULL) | |
aa32d841 | 153 | { |
e2500fed | 154 | struct file_hash_entry *v; |
5ed6ace5 | 155 | *e = v = XCNEW (struct file_hash_entry); |
e2500fed | 156 | v->key = xstrdup (string); |
aa32d841 | 157 | } |
e1e4cdc4 | 158 | return (struct file_hash_entry *) *e; |
aa32d841 JL |
159 | } |
160 | ||
e2500fed GK |
161 | static htab_t demangled_table; |
162 | ||
eb686064 JM |
163 | /* Look up an entry in the demangled name hash table. */ |
164 | ||
aa32d841 | 165 | static struct demangled_hash_entry * |
46c5ad27 | 166 | demangled_hash_lookup (const char *string, int create) |
aa32d841 | 167 | { |
fad205ff | 168 | void **e; |
e2500fed | 169 | e = htab_find_slot_with_hash (demangled_table, string, |
17fa74a2 | 170 | (*htab_hash_string) (string), |
e2500fed GK |
171 | create ? INSERT : NO_INSERT); |
172 | if (e == NULL) | |
173 | return NULL; | |
174 | if (*e == NULL) | |
175 | { | |
176 | struct demangled_hash_entry *v; | |
5ed6ace5 | 177 | *e = v = XCNEW (struct demangled_hash_entry); |
e2500fed GK |
178 | v->key = xstrdup (string); |
179 | } | |
e1e4cdc4 | 180 | return (struct demangled_hash_entry *) *e; |
aa32d841 JL |
181 | } |
182 | \f | |
183 | /* Stack code. */ | |
184 | ||
185 | struct symbol_stack_entry | |
186 | { | |
187 | symbol *value; | |
188 | struct symbol_stack_entry *next; | |
189 | }; | |
190 | struct obstack symbol_stack_obstack; | |
191 | struct symbol_stack_entry *symbol_stack; | |
192 | ||
193 | struct file_stack_entry | |
194 | { | |
195 | file *value; | |
196 | struct file_stack_entry *next; | |
197 | }; | |
198 | struct obstack file_stack_obstack; | |
199 | struct file_stack_entry *file_stack; | |
200 | ||
201 | static void | |
46c5ad27 | 202 | symbol_push (symbol *p) |
aa32d841 | 203 | { |
e1e4cdc4 KG |
204 | struct symbol_stack_entry *ep |
205 | = XOBNEW (&symbol_stack_obstack, struct symbol_stack_entry); | |
aa32d841 JL |
206 | ep->value = p; |
207 | ep->next = symbol_stack; | |
208 | symbol_stack = ep; | |
209 | } | |
210 | ||
211 | static symbol * | |
46c5ad27 | 212 | symbol_pop (void) |
aa32d841 JL |
213 | { |
214 | struct symbol_stack_entry *ep = symbol_stack; | |
215 | symbol *p; | |
216 | if (ep == NULL) | |
217 | return NULL; | |
218 | p = ep->value; | |
219 | symbol_stack = ep->next; | |
220 | obstack_free (&symbol_stack_obstack, ep); | |
221 | return p; | |
222 | } | |
223 | ||
224 | static void | |
46c5ad27 | 225 | file_push (file *p) |
aa32d841 JL |
226 | { |
227 | struct file_stack_entry *ep; | |
228 | ||
229 | if (p->tweaking) | |
230 | return; | |
231 | ||
e1e4cdc4 | 232 | ep = XOBNEW (&file_stack_obstack, struct file_stack_entry); |
aa32d841 JL |
233 | ep->value = p; |
234 | ep->next = file_stack; | |
235 | file_stack = ep; | |
236 | p->tweaking = 1; | |
237 | } | |
238 | ||
239 | static file * | |
46c5ad27 | 240 | file_pop (void) |
aa32d841 JL |
241 | { |
242 | struct file_stack_entry *ep = file_stack; | |
243 | file *p; | |
244 | if (ep == NULL) | |
245 | return NULL; | |
246 | p = ep->value; | |
247 | file_stack = ep->next; | |
248 | obstack_free (&file_stack_obstack, ep); | |
249 | p->tweaking = 0; | |
250 | return p; | |
251 | } | |
252 | \f | |
253 | /* Other machinery. */ | |
254 | ||
eb686064 JM |
255 | /* Initialize the tlink machinery. Called from do_tlink. */ |
256 | ||
aa32d841 | 257 | static void |
46c5ad27 | 258 | tlink_init (void) |
aa32d841 | 259 | { |
d4058195 | 260 | const char *p; |
aa32d841 | 261 | |
e2500fed GK |
262 | symbol_table = htab_create (500, hash_string_hash, hash_string_eq, |
263 | NULL); | |
264 | file_table = htab_create (500, hash_string_hash, hash_string_eq, | |
265 | NULL); | |
266 | demangled_table = htab_create (500, hash_string_hash, hash_string_eq, | |
267 | NULL); | |
46c5ad27 | 268 | |
aa32d841 JL |
269 | obstack_begin (&symbol_stack_obstack, 0); |
270 | obstack_begin (&file_stack_obstack, 0); | |
271 | ||
272 | p = getenv ("TLINK_VERBOSE"); | |
273 | if (p) | |
274 | tlink_verbose = atoi (p); | |
275 | else | |
276 | { | |
277 | tlink_verbose = 1; | |
278 | if (vflag) | |
279 | tlink_verbose = 2; | |
280 | if (debug) | |
281 | tlink_verbose = 3; | |
282 | } | |
4185f1ce | 283 | |
e29354d4 | 284 | initial_cwd = getpwd (); |
aa32d841 JL |
285 | } |
286 | ||
287 | static int | |
68ec3111 ILT |
288 | tlink_execute (const char *prog, char **argv, const char *outname, |
289 | const char *errname) | |
aa32d841 | 290 | { |
1fff69c9 ILT |
291 | struct pex_obj *pex; |
292 | ||
d7f09764 | 293 | pex = collect_execute (prog, argv, outname, errname, PEX_LAST | PEX_SEARCH); |
1fff69c9 | 294 | return collect_wait (prog, pex); |
d92b4486 | 295 | } |
aa32d841 JL |
296 | |
297 | static char * | |
46c5ad27 | 298 | frob_extension (const char *s, const char *ext) |
aa32d841 | 299 | { |
ba78087b KT |
300 | const char *p; |
301 | ||
302 | p = strrchr (lbasename (s), '.'); | |
aa32d841 JL |
303 | if (! p) |
304 | p = s + strlen (s); | |
305 | ||
306 | obstack_grow (&temporary_obstack, s, p - s); | |
e1e4cdc4 | 307 | return (char *) obstack_copy0 (&temporary_obstack, ext, strlen (ext)); |
aa32d841 JL |
308 | } |
309 | ||
310 | static char * | |
46c5ad27 | 311 | obstack_fgets (FILE *stream, struct obstack *ob) |
aa32d841 JL |
312 | { |
313 | int c; | |
314 | while ((c = getc (stream)) != EOF && c != '\n') | |
315 | obstack_1grow (ob, c); | |
316 | if (obstack_object_size (ob) == 0) | |
317 | return NULL; | |
318 | obstack_1grow (ob, '\0'); | |
7973fd2a | 319 | return XOBFINISH (ob, char *); |
aa32d841 JL |
320 | } |
321 | ||
322 | static char * | |
46c5ad27 | 323 | tfgets (FILE *stream) |
aa32d841 JL |
324 | { |
325 | return obstack_fgets (stream, &temporary_obstack); | |
326 | } | |
327 | ||
328 | static char * | |
46c5ad27 | 329 | pfgets (FILE *stream) |
aa32d841 | 330 | { |
6d9f628e | 331 | return xstrdup (tfgets (stream)); |
aa32d841 JL |
332 | } |
333 | \f | |
334 | /* Real tlink code. */ | |
335 | ||
eb686064 JM |
336 | /* Subroutine of read_repo_file. We are reading the repo file for file F, |
337 | which is coming in on STREAM, and the symbol that comes next in STREAM | |
14b493d6 | 338 | is offered, chosen or provided if CHOSEN is 0, 1 or 2, respectively. |
eb686064 JM |
339 | |
340 | XXX "provided" is unimplemented, both here and in the compiler. */ | |
341 | ||
aa32d841 | 342 | static void |
46c5ad27 | 343 | freadsym (FILE *stream, file *f, int chosen) |
aa32d841 JL |
344 | { |
345 | symbol *sym; | |
346 | ||
347 | { | |
d4058195 | 348 | const char *name = tfgets (stream); |
aa32d841 JL |
349 | sym = symbol_hash_lookup (name, true); |
350 | } | |
351 | ||
352 | if (sym->file == NULL) | |
353 | { | |
eb686064 JM |
354 | /* We didn't have this symbol already, so we choose this file. */ |
355 | ||
aa32d841 JL |
356 | symbol_push (sym); |
357 | sym->file = f; | |
358 | sym->chosen = chosen; | |
359 | } | |
360 | else if (chosen) | |
361 | { | |
eb686064 JM |
362 | /* We want this file; cast aside any pretender. */ |
363 | ||
aa32d841 JL |
364 | if (sym->chosen && sym->file != f) |
365 | { | |
366 | if (sym->chosen == 1) | |
367 | file_push (sym->file); | |
368 | else | |
369 | { | |
370 | file_push (f); | |
371 | f = sym->file; | |
372 | chosen = sym->chosen; | |
373 | } | |
374 | } | |
375 | sym->file = f; | |
376 | sym->chosen = chosen; | |
377 | } | |
378 | } | |
379 | ||
eb686064 JM |
380 | /* Read in the repo file denoted by F, and record all its information. */ |
381 | ||
aa32d841 | 382 | static void |
46c5ad27 | 383 | read_repo_file (file *f) |
aa32d841 JL |
384 | { |
385 | char c; | |
e2500fed | 386 | FILE *stream = fopen (f->key, "r"); |
aa32d841 JL |
387 | |
388 | if (tlink_verbose >= 2) | |
e2500fed | 389 | fprintf (stderr, _("collect: reading %s\n"), f->key); |
aa32d841 JL |
390 | |
391 | while (fscanf (stream, "%c ", &c) == 1) | |
392 | { | |
393 | switch (c) | |
394 | { | |
395 | case 'A': | |
396 | f->args = pfgets (stream); | |
397 | break; | |
398 | case 'D': | |
399 | f->dir = pfgets (stream); | |
400 | break; | |
401 | case 'M': | |
402 | f->main = pfgets (stream); | |
403 | break; | |
404 | case 'P': | |
405 | freadsym (stream, f, 2); | |
406 | break; | |
407 | case 'C': | |
408 | freadsym (stream, f, 1); | |
409 | break; | |
410 | case 'O': | |
411 | freadsym (stream, f, 0); | |
412 | break; | |
413 | } | |
414 | obstack_free (&temporary_obstack, temporary_firstobj); | |
415 | } | |
416 | fclose (stream); | |
417 | if (f->args == NULL) | |
418 | f->args = getenv ("COLLECT_GCC_OPTIONS"); | |
419 | if (f->dir == NULL) | |
420 | f->dir = "."; | |
421 | } | |
422 | ||
eb686064 JM |
423 | /* We might want to modify LINE, which is a symbol line from file F. We do |
424 | this if either we saw an error message referring to the symbol in | |
425 | question, or we have already allocated the symbol to another file and | |
426 | this one wants to emit it as well. */ | |
427 | ||
aa32d841 | 428 | static void |
46c5ad27 | 429 | maybe_tweak (char *line, file *f) |
aa32d841 JL |
430 | { |
431 | symbol *sym = symbol_hash_lookup (line + 2, false); | |
432 | ||
433 | if ((sym->file == f && sym->tweaking) | |
434 | || (sym->file != f && line[0] == 'C')) | |
435 | { | |
436 | sym->tweaking = 0; | |
437 | sym->tweaked = 1; | |
438 | ||
439 | if (line[0] == 'O') | |
4e92c31f JM |
440 | { |
441 | line[0] = 'C'; | |
442 | sym->chosen = 1; | |
443 | } | |
aa32d841 | 444 | else |
4e92c31f JM |
445 | { |
446 | line[0] = 'O'; | |
447 | sym->chosen = 0; | |
448 | } | |
aa32d841 JL |
449 | } |
450 | } | |
451 | ||
eb686064 | 452 | /* Update the repo files for each of the object files we have adjusted and |
4185f1ce | 453 | recompile. */ |
eb686064 | 454 | |
aa32d841 | 455 | static int |
46c5ad27 | 456 | recompile_files (void) |
aa32d841 JL |
457 | { |
458 | file *f; | |
459 | ||
e4d72771 KJ |
460 | putenv (xstrdup ("COMPILER_PATH=")); |
461 | putenv (xstrdup ("LIBRARY_PATH=")); | |
d92b4486 | 462 | |
aa32d841 JL |
463 | while ((f = file_pop ()) != NULL) |
464 | { | |
4185f1ce AN |
465 | char *line; |
466 | const char *p, *q; | |
467 | char **argv; | |
468 | struct obstack arg_stack; | |
e2500fed GK |
469 | FILE *stream = fopen (f->key, "r"); |
470 | const char *const outname = frob_extension (f->key, ".rnw"); | |
aa32d841 JL |
471 | FILE *output = fopen (outname, "w"); |
472 | ||
473 | while ((line = tfgets (stream)) != NULL) | |
474 | { | |
475 | switch (line[0]) | |
476 | { | |
477 | case 'C': | |
478 | case 'O': | |
479 | maybe_tweak (line, f); | |
480 | } | |
481 | fprintf (output, "%s\n", line); | |
482 | } | |
483 | fclose (stream); | |
484 | fclose (output); | |
2d8a7f23 DS |
485 | /* On Windows "rename" returns -1 and sets ERRNO to EACCESS if |
486 | the new file name already exists. Therefore, we explicitly | |
487 | remove the old file first. */ | |
488 | if (remove (f->key) == -1) | |
9e350e99 | 489 | fatal_error ("removing .rpo file: %m"); |
2d8a7f23 | 490 | if (rename (outname, f->key) == -1) |
9e350e99 | 491 | fatal_error ("renaming .rpo file: %m"); |
aa32d841 | 492 | |
4684cd27 MM |
493 | if (!f->args) |
494 | { | |
9e637a26 | 495 | error ("repository file '%s' does not contain command-line " |
4684cd27 MM |
496 | "arguments", f->key); |
497 | return 0; | |
498 | } | |
4185f1ce AN |
499 | |
500 | /* Build a null-terminated argv array suitable for | |
501 | tlink_execute(). Manipulate arguments on the arg_stack while | |
502 | building argv on the temporary_obstack. */ | |
503 | ||
504 | obstack_init (&arg_stack); | |
505 | obstack_ptr_grow (&temporary_obstack, c_file_name); | |
506 | ||
507 | for (p = f->args; *p != '\0'; p = q + 1) | |
508 | { | |
509 | /* Arguments are delimited by single-quotes. Find the | |
510 | opening quote. */ | |
511 | p = strchr (p, '\''); | |
512 | if (!p) | |
513 | goto done; | |
514 | ||
515 | /* Find the closing quote. */ | |
516 | q = strchr (p + 1, '\''); | |
517 | if (!q) | |
518 | goto done; | |
519 | ||
520 | obstack_grow (&arg_stack, p + 1, q - (p + 1)); | |
521 | ||
522 | /* Replace '\'' with '. This is how set_collect_gcc_options | |
523 | encodes a single-quote. */ | |
524 | while (q[1] == '\\' && q[2] == '\'' && q[3] == '\'') | |
525 | { | |
526 | const char *r; | |
527 | ||
528 | r = strchr (q + 4, '\''); | |
529 | if (!r) | |
530 | goto done; | |
531 | ||
532 | obstack_grow (&arg_stack, q + 3, r - (q + 3)); | |
533 | q = r; | |
534 | } | |
535 | ||
536 | obstack_1grow (&arg_stack, '\0'); | |
537 | obstack_ptr_grow (&temporary_obstack, obstack_finish (&arg_stack)); | |
538 | } | |
539 | done: | |
540 | obstack_ptr_grow (&temporary_obstack, f->main); | |
541 | obstack_ptr_grow (&temporary_obstack, NULL); | |
7973fd2a | 542 | argv = XOBFINISH (&temporary_obstack, char **); |
aa32d841 JL |
543 | |
544 | if (tlink_verbose) | |
5e4adfba | 545 | fprintf (stderr, _("collect: recompiling %s\n"), f->main); |
aa32d841 | 546 | |
4185f1ce | 547 | if (chdir (f->dir) != 0 |
68ec3111 | 548 | || tlink_execute (c_file_name, argv, NULL, NULL) != 0 |
4185f1ce | 549 | || chdir (initial_cwd) != 0) |
aa32d841 JL |
550 | return 0; |
551 | ||
552 | read_repo_file (f); | |
553 | ||
4185f1ce | 554 | obstack_free (&arg_stack, NULL); |
aa32d841 JL |
555 | obstack_free (&temporary_obstack, temporary_firstobj); |
556 | } | |
557 | return 1; | |
558 | } | |
559 | ||
eb686064 JM |
560 | /* The first phase of processing: determine which object files have |
561 | .rpo files associated with them, and read in the information. */ | |
562 | ||
aa32d841 | 563 | static int |
46c5ad27 | 564 | read_repo_files (char **object_lst) |
aa32d841 JL |
565 | { |
566 | char **object = object_lst; | |
567 | ||
568 | for (; *object; object++) | |
569 | { | |
2c561874 | 570 | const char *p; |
aa32d841 JL |
571 | file *f; |
572 | ||
2c561874 JM |
573 | /* Don't bother trying for ld flags. */ |
574 | if (*object[0] == '-') | |
575 | continue; | |
576 | ||
577 | p = frob_extension (*object, ".rpo"); | |
578 | ||
aa32d841 JL |
579 | if (! file_exists (p)) |
580 | continue; | |
581 | ||
582 | f = file_hash_lookup (p); | |
583 | ||
584 | read_repo_file (f); | |
585 | } | |
586 | ||
587 | if (file_stack != NULL && ! recompile_files ()) | |
588 | return 0; | |
589 | ||
590 | return (symbol_stack != NULL); | |
591 | } | |
592 | ||
eb686064 JM |
593 | /* Add the demangled forms of any new symbols to the hash table. */ |
594 | ||
aa32d841 | 595 | static void |
46c5ad27 | 596 | demangle_new_symbols (void) |
aa32d841 JL |
597 | { |
598 | symbol *sym; | |
599 | ||
600 | while ((sym = symbol_pop ()) != NULL) | |
601 | { | |
602 | demangled *dem; | |
e2500fed | 603 | const char *p = cplus_demangle (sym->key, DMGL_PARAMS | DMGL_ANSI); |
aa32d841 JL |
604 | |
605 | if (! p) | |
606 | continue; | |
607 | ||
608 | dem = demangled_hash_lookup (p, true); | |
9771b263 | 609 | dem->mangled.safe_push (sym->key); |
4e92c31f JM |
610 | } |
611 | } | |
612 | ||
613 | /* We want to tweak symbol SYM. Return true if all is well, false on | |
614 | error. */ | |
615 | ||
616 | static bool | |
617 | start_tweaking (symbol *sym) | |
618 | { | |
619 | if (sym && sym->tweaked) | |
620 | { | |
621 | error ("'%s' was assigned to '%s', but was not defined " | |
622 | "during recompilation, or vice versa", | |
623 | sym->key, sym->file->key); | |
624 | return 0; | |
625 | } | |
626 | if (sym && !sym->tweaking) | |
627 | { | |
628 | if (tlink_verbose >= 2) | |
629 | fprintf (stderr, _("collect: tweaking %s in %s\n"), | |
630 | sym->key, sym->file->key); | |
631 | sym->tweaking = 1; | |
632 | file_push (sym->file); | |
aa32d841 | 633 | } |
4e92c31f | 634 | return true; |
aa32d841 JL |
635 | } |
636 | ||
eb686064 JM |
637 | /* Step through the output of the linker, in the file named FNAME, and |
638 | adjust the settings for each symbol encountered. */ | |
639 | ||
aa32d841 | 640 | static int |
46c5ad27 | 641 | scan_linker_output (const char *fname) |
aa32d841 JL |
642 | { |
643 | FILE *stream = fopen (fname, "r"); | |
644 | char *line; | |
e7d406d5 | 645 | int skip_next_in_line = 0; |
aa32d841 JL |
646 | |
647 | while ((line = tfgets (stream)) != NULL) | |
648 | { | |
649 | char *p = line, *q; | |
650 | symbol *sym; | |
4e92c31f | 651 | demangled *dem = 0; |
aa32d841 | 652 | int end; |
196bea21 | 653 | int ok = 0; |
4e92c31f JM |
654 | unsigned ix; |
655 | str s; | |
196bea21 | 656 | |
e7d406d5 MS |
657 | /* On darwin9, we might have to skip " in " lines as well. */ |
658 | if (skip_next_in_line | |
659 | && strstr (p, " in ")) | |
40728134 | 660 | continue; |
e7d406d5 | 661 | skip_next_in_line = 0; |
d92b4486 | 662 | |
17fa74a2 | 663 | while (*p && ISSPACE ((unsigned char) *p)) |
aa32d841 JL |
664 | ++p; |
665 | ||
666 | if (! *p) | |
667 | continue; | |
668 | ||
17fa74a2 | 669 | for (q = p; *q && ! ISSPACE ((unsigned char) *q); ++q) |
aa32d841 JL |
670 | ; |
671 | ||
672 | /* Try the first word on the line. */ | |
673 | if (*p == '.') | |
674 | ++p; | |
3fd9d606 ZW |
675 | if (!strncmp (p, USER_LABEL_PREFIX, strlen (USER_LABEL_PREFIX))) |
676 | p += strlen (USER_LABEL_PREFIX); | |
aa32d841 JL |
677 | |
678 | end = ! *q; | |
679 | *q = 0; | |
680 | sym = symbol_hash_lookup (p, false); | |
681 | ||
644c7c4f GK |
682 | /* Some SVR4 linkers produce messages like |
683 | ld: 0711-317 ERROR: Undefined symbol: .g__t3foo1Zi | |
684 | */ | |
17fa74a2 | 685 | if (! sym && ! end && strstr (q + 1, "Undefined symbol: ")) |
644c7c4f | 686 | { |
17fa74a2 | 687 | char *p = strrchr (q + 1, ' '); |
644c7c4f GK |
688 | p++; |
689 | if (*p == '.') | |
690 | p++; | |
3fd9d606 ZW |
691 | if (!strncmp (p, USER_LABEL_PREFIX, strlen (USER_LABEL_PREFIX))) |
692 | p += strlen (USER_LABEL_PREFIX); | |
644c7c4f GK |
693 | sym = symbol_hash_lookup (p, false); |
694 | } | |
695 | ||
aa32d841 | 696 | if (! sym && ! end) |
b4558b57 | 697 | /* Try a mangled name in quotes. */ |
aa32d841 | 698 | { |
e5cfc29f | 699 | char *oldq = q + 1; |
aa32d841 JL |
700 | q = 0; |
701 | ||
e7d406d5 | 702 | /* On darwin9, we look for "foo" referenced from:\n\(.* in .*\n\)* */ |
196bea21 MS |
703 | if (strcmp (oldq, "referenced from:") == 0) |
704 | { | |
705 | /* We have to remember that we found a symbol to tweak. */ | |
706 | ok = 1; | |
707 | ||
e7d406d5 MS |
708 | /* We actually want to start from the first word on the |
709 | line. */ | |
196bea21 MS |
710 | oldq = p; |
711 | ||
e7d406d5 MS |
712 | /* Since the format is multiline, we have to skip |
713 | following lines with " in ". */ | |
714 | skip_next_in_line = 1; | |
196bea21 MS |
715 | } |
716 | ||
b4558b57 | 717 | /* First try `GNU style'. */ |
9473c522 | 718 | p = strchr (oldq, '`'); |
b4558b57 | 719 | if (p) |
9473c522 | 720 | p++, q = strchr (p, '\''); |
b4558b57 | 721 | /* Then try "double quotes". */ |
9473c522 JM |
722 | else if (p = strchr (oldq, '"'), p) |
723 | p++, q = strchr (p, '"'); | |
2d4bba80 ILT |
724 | /* Then try 'single quotes'. */ |
725 | else if (p = strchr (oldq, '\''), p) | |
726 | p++, q = strchr (p, '\''); | |
973a43f6 MS |
727 | else { |
728 | /* Then try entire line. */ | |
729 | q = strchr (oldq, 0); | |
730 | if (q != oldq) | |
a7050d49 | 731 | p = (char *)oldq; |
973a43f6 | 732 | } |
aa32d841 | 733 | |
6ff7fb95 | 734 | if (p) |
8ace9f18 AM |
735 | { |
736 | /* Don't let the strstr's below see the demangled name; we | |
737 | might get spurious matches. */ | |
738 | p[-1] = '\0'; | |
739 | ||
740 | /* powerpc64-linux references .foo when calling function foo. */ | |
741 | if (*p == '.') | |
742 | p++; | |
743 | } | |
6ff7fb95 | 744 | |
57be4e89 JM |
745 | /* We need to check for certain error keywords here, or we would |
746 | mistakenly use GNU ld's "In function `foo':" message. */ | |
196bea21 MS |
747 | if (q && (ok |
748 | || strstr (oldq, "ndefined") | |
3f94eee6 | 749 | || strstr (oldq, "nresolved") |
eb20f668 | 750 | || strstr (oldq, "nsatisfied") |
57be4e89 | 751 | || strstr (oldq, "ultiple"))) |
aa32d841 | 752 | { |
b4558b57 JM |
753 | *q = 0; |
754 | dem = demangled_hash_lookup (p, false); | |
4e92c31f | 755 | if (!dem) |
d92b4486 | 756 | { |
3fd9d606 ZW |
757 | if (!strncmp (p, USER_LABEL_PREFIX, |
758 | strlen (USER_LABEL_PREFIX))) | |
759 | p += strlen (USER_LABEL_PREFIX); | |
9c5b50b3 JM |
760 | sym = symbol_hash_lookup (p, false); |
761 | } | |
aa32d841 | 762 | } |
aa32d841 JL |
763 | } |
764 | ||
4e92c31f | 765 | if (dem) |
7b6ffd11 | 766 | { |
4e92c31f JM |
767 | /* We found a demangled name. If this is the name of a |
768 | constructor or destructor, there can be several mangled names | |
769 | that match it, so choose or unchoose all of them. If some are | |
770 | chosen and some not, leave the later ones that don't match | |
1aa95df7 | 771 | alone for now; either this will cause the link to succeed, or |
4e92c31f JM |
772 | on the next attempt we will switch all of them the other way |
773 | and that will cause it to succeed. */ | |
774 | int chosen = 0; | |
9771b263 | 775 | int len = dem->mangled.length (); |
4e92c31f | 776 | ok = true; |
9771b263 | 777 | FOR_EACH_VEC_ELT (dem->mangled, ix, s) |
4e92c31f JM |
778 | { |
779 | sym = symbol_hash_lookup (s, false); | |
780 | if (ix == 0) | |
781 | chosen = sym->chosen; | |
782 | else if (sym->chosen != chosen) | |
783 | /* Mismatch. */ | |
784 | continue; | |
785 | /* Avoid an error about re-tweaking when we guess wrong in | |
786 | the case of mismatch. */ | |
787 | if (len > 1) | |
788 | sym->tweaked = false; | |
789 | ok = start_tweaking (sym); | |
790 | } | |
aa32d841 | 791 | } |
4e92c31f JM |
792 | else |
793 | ok = start_tweaking (sym); | |
d92b4486 | 794 | |
aa32d841 | 795 | obstack_free (&temporary_obstack, temporary_firstobj); |
4e92c31f JM |
796 | |
797 | if (!ok) | |
798 | { | |
799 | fclose (stream); | |
800 | return 0; | |
801 | } | |
aa32d841 JL |
802 | } |
803 | ||
7b6ffd11 | 804 | fclose (stream); |
aa32d841 JL |
805 | return (file_stack != NULL); |
806 | } | |
807 | ||
eb686064 JM |
808 | /* Entry point for tlink. Called from main in collect2.c. |
809 | ||
810 | Iteratively try to provide definitions for all the unresolved symbols | |
811 | mentioned in the linker error messages. | |
812 | ||
813 | LD_ARGV is an array of arguments for the linker. | |
814 | OBJECT_LST is an array of object files that we may be able to recompile | |
815 | to provide missing definitions. Currently ignored. */ | |
816 | ||
aa32d841 | 817 | void |
46c5ad27 | 818 | do_tlink (char **ld_argv, char **object_lst ATTRIBUTE_UNUSED) |
aa32d841 | 819 | { |
e1f9340b | 820 | int ret = tlink_execute ("ld", ld_argv, ldout, lderrout); |
aa32d841 JL |
821 | |
822 | tlink_init (); | |
823 | ||
e1f9340b | 824 | if (ret) |
aa32d841 JL |
825 | { |
826 | int i = 0; | |
827 | ||
828 | /* Until collect does a better job of figuring out which are object | |
829 | files, assume that everything on the command line could be. */ | |
830 | if (read_repo_files (ld_argv)) | |
e1f9340b | 831 | while (ret && i++ < MAX_ITERATIONS) |
aa32d841 JL |
832 | { |
833 | if (tlink_verbose >= 3) | |
68ec3111 | 834 | { |
be7a421e SB |
835 | dump_ld_file (ldout, stdout); |
836 | dump_ld_file (lderrout, stderr); | |
68ec3111 | 837 | } |
aa32d841 | 838 | demangle_new_symbols (); |
68ec3111 ILT |
839 | if (! scan_linker_output (ldout) |
840 | && ! scan_linker_output (lderrout)) | |
aa32d841 JL |
841 | break; |
842 | if (! recompile_files ()) | |
843 | break; | |
844 | if (tlink_verbose) | |
5e4adfba | 845 | fprintf (stderr, _("collect: relinking\n")); |
e1f9340b | 846 | ret = tlink_execute ("ld", ld_argv, ldout, lderrout); |
aa32d841 JL |
847 | } |
848 | } | |
849 | ||
be7a421e | 850 | dump_ld_file (ldout, stdout); |
aa32d841 | 851 | unlink (ldout); |
be7a421e | 852 | dump_ld_file (lderrout, stderr); |
68ec3111 | 853 | unlink (lderrout); |
e1f9340b | 854 | if (ret) |
aa32d841 | 855 | { |
e1f9340b DE |
856 | error ("ld returned %d exit status", ret); |
857 | exit (ret); | |
aa32d841 | 858 | } |
9178a345 OH |
859 | else |
860 | { | |
861 | /* We have just successfully produced an output file, so assume that we | |
862 | may unlink it if need be for now on. */ | |
863 | may_unlink_output_file = true; | |
864 | } | |
aa32d841 | 865 | } |