1 /* Scan linker error messages for missing template instantiations and provide
4 Copyright (C) 1995, 1998, 1999, 2000, 2001, 2003, 2004, 2005
5 Free Software Foundation, Inc.
6 Contributed by Jason Merrill (jason@cygnus.com).
8 This file is part of GCC.
10 GCC is free software; you can redistribute it and/or modify it under
11 the terms of the GNU General Public License as published by the Free
12 Software Foundation; either version 2, or (at your option) any later
15 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
16 WARRANTY; without even the implied warranty of MERCHANTABILITY or
17 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
20 You should have received a copy of the GNU General Public License
21 along with GCC; see the file COPYING. If not, write to the Free
22 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
27 #include "coretypes.h"
35 #define MAX_ITERATIONS 17
37 /* Defined in the automatically-generated underscore.c. */
38 extern int prepends_underscore
;
40 static int tlink_verbose
;
42 static char initial_cwd
[MAXPATHLEN
+ 1];
44 /* Hash table boilerplate for working with htab_t. We have hash tables
45 for symbol names, file names, and demangled symbols. */
47 typedef struct symbol_hash_entry
50 struct file_hash_entry
*file
;
56 typedef struct file_hash_entry
65 typedef struct demangled_hash_entry
71 /* Hash and comparison functions for these hash tables. */
73 static int hash_string_eq (const void *, const void *);
74 static hashval_t
hash_string_hash (const void *);
77 hash_string_eq (const void *s1_p
, const void *s2_p
)
79 const char *const *s1
= (const char *const *) s1_p
;
80 const char *s2
= (const char *) s2_p
;
81 return strcmp (*s1
, s2
) == 0;
85 hash_string_hash (const void *s_p
)
87 const char *const *s
= (const char *const *) s_p
;
88 return (*htab_hash_string
) (*s
);
91 static htab_t symbol_table
;
93 static struct symbol_hash_entry
* symbol_hash_lookup (const char *, int);
94 static struct file_hash_entry
* file_hash_lookup (const char *);
95 static struct demangled_hash_entry
*demangled_hash_lookup (const char *, int);
96 static void symbol_push (symbol
*);
97 static symbol
* symbol_pop (void);
98 static void file_push (file
*);
99 static file
* file_pop (void);
100 static void tlink_init (void);
101 static int tlink_execute (const char *, char **, const char *, const char *);
102 static char * frob_extension (const char *, const char *);
103 static char * obstack_fgets (FILE *, struct obstack
*);
104 static char * tfgets (FILE *);
105 static char * pfgets (FILE *);
106 static void freadsym (FILE *, file
*, int);
107 static void read_repo_file (file
*);
108 static void maybe_tweak (char *, file
*);
109 static int recompile_files (void);
110 static int read_repo_files (char **);
111 static void demangle_new_symbols (void);
112 static int scan_linker_output (const char *);
114 /* Look up an entry in the symbol hash table. */
116 static struct symbol_hash_entry
*
117 symbol_hash_lookup (const char *string
, int create
)
120 e
= htab_find_slot_with_hash (symbol_table
, string
,
121 (*htab_hash_string
) (string
),
122 create
? INSERT
: NO_INSERT
);
127 struct symbol_hash_entry
*v
;
128 *e
= v
= XCNEW (struct symbol_hash_entry
);
129 v
->key
= xstrdup (string
);
134 static htab_t file_table
;
136 /* Look up an entry in the file hash table. */
138 static struct file_hash_entry
*
139 file_hash_lookup (const char *string
)
142 e
= htab_find_slot_with_hash (file_table
, string
,
143 (*htab_hash_string
) (string
),
147 struct file_hash_entry
*v
;
148 *e
= v
= XCNEW (struct file_hash_entry
);
149 v
->key
= xstrdup (string
);
154 static htab_t demangled_table
;
156 /* Look up an entry in the demangled name hash table. */
158 static struct demangled_hash_entry
*
159 demangled_hash_lookup (const char *string
, int create
)
162 e
= htab_find_slot_with_hash (demangled_table
, string
,
163 (*htab_hash_string
) (string
),
164 create
? INSERT
: NO_INSERT
);
169 struct demangled_hash_entry
*v
;
170 *e
= v
= XCNEW (struct demangled_hash_entry
);
171 v
->key
= xstrdup (string
);
178 struct symbol_stack_entry
181 struct symbol_stack_entry
*next
;
183 struct obstack symbol_stack_obstack
;
184 struct symbol_stack_entry
*symbol_stack
;
186 struct file_stack_entry
189 struct file_stack_entry
*next
;
191 struct obstack file_stack_obstack
;
192 struct file_stack_entry
*file_stack
;
195 symbol_push (symbol
*p
)
197 struct symbol_stack_entry
*ep
= obstack_alloc
198 (&symbol_stack_obstack
, sizeof (struct symbol_stack_entry
));
200 ep
->next
= symbol_stack
;
207 struct symbol_stack_entry
*ep
= symbol_stack
;
212 symbol_stack
= ep
->next
;
213 obstack_free (&symbol_stack_obstack
, ep
);
220 struct file_stack_entry
*ep
;
226 (&file_stack_obstack
, sizeof (struct file_stack_entry
));
228 ep
->next
= file_stack
;
236 struct file_stack_entry
*ep
= file_stack
;
241 file_stack
= ep
->next
;
242 obstack_free (&file_stack_obstack
, ep
);
247 /* Other machinery. */
249 /* Initialize the tlink machinery. Called from do_tlink. */
256 symbol_table
= htab_create (500, hash_string_hash
, hash_string_eq
,
258 file_table
= htab_create (500, hash_string_hash
, hash_string_eq
,
260 demangled_table
= htab_create (500, hash_string_hash
, hash_string_eq
,
263 obstack_begin (&symbol_stack_obstack
, 0);
264 obstack_begin (&file_stack_obstack
, 0);
266 p
= getenv ("TLINK_VERBOSE");
268 tlink_verbose
= atoi (p
);
278 getcwd (initial_cwd
, sizeof (initial_cwd
));
282 tlink_execute (const char *prog
, char **argv
, const char *outname
,
287 pex
= collect_execute (prog
, argv
, outname
, errname
);
288 return collect_wait (prog
, pex
);
292 frob_extension (const char *s
, const char *ext
)
294 const char *p
= strrchr (s
, '/');
297 p
= strrchr (p
, '.');
301 obstack_grow (&temporary_obstack
, s
, p
- s
);
302 return obstack_copy0 (&temporary_obstack
, ext
, strlen (ext
));
306 obstack_fgets (FILE *stream
, struct obstack
*ob
)
309 while ((c
= getc (stream
)) != EOF
&& c
!= '\n')
310 obstack_1grow (ob
, c
);
311 if (obstack_object_size (ob
) == 0)
313 obstack_1grow (ob
, '\0');
314 return XOBFINISH (ob
, char *);
318 tfgets (FILE *stream
)
320 return obstack_fgets (stream
, &temporary_obstack
);
324 pfgets (FILE *stream
)
326 return xstrdup (tfgets (stream
));
329 /* Real tlink code. */
331 /* Subroutine of read_repo_file. We are reading the repo file for file F,
332 which is coming in on STREAM, and the symbol that comes next in STREAM
333 is offered, chosen or provided if CHOSEN is 0, 1 or 2, respectively.
335 XXX "provided" is unimplemented, both here and in the compiler. */
338 freadsym (FILE *stream
, file
*f
, int chosen
)
343 const char *name
= tfgets (stream
);
344 sym
= symbol_hash_lookup (name
, true);
347 if (sym
->file
== NULL
)
349 /* We didn't have this symbol already, so we choose this file. */
353 sym
->chosen
= chosen
;
357 /* We want this file; cast aside any pretender. */
359 if (sym
->chosen
&& sym
->file
!= f
)
361 if (sym
->chosen
== 1)
362 file_push (sym
->file
);
367 chosen
= sym
->chosen
;
371 sym
->chosen
= chosen
;
375 /* Read in the repo file denoted by F, and record all its information. */
378 read_repo_file (file
*f
)
381 FILE *stream
= fopen (f
->key
, "r");
383 if (tlink_verbose
>= 2)
384 fprintf (stderr
, _("collect: reading %s\n"), f
->key
);
386 while (fscanf (stream
, "%c ", &c
) == 1)
391 f
->args
= pfgets (stream
);
394 f
->dir
= pfgets (stream
);
397 f
->main
= pfgets (stream
);
400 freadsym (stream
, f
, 2);
403 freadsym (stream
, f
, 1);
406 freadsym (stream
, f
, 0);
409 obstack_free (&temporary_obstack
, temporary_firstobj
);
413 f
->args
= getenv ("COLLECT_GCC_OPTIONS");
418 /* We might want to modify LINE, which is a symbol line from file F. We do
419 this if either we saw an error message referring to the symbol in
420 question, or we have already allocated the symbol to another file and
421 this one wants to emit it as well. */
424 maybe_tweak (char *line
, file
*f
)
426 symbol
*sym
= symbol_hash_lookup (line
+ 2, false);
428 if ((sym
->file
== f
&& sym
->tweaking
)
429 || (sym
->file
!= f
&& line
[0] == 'C'))
441 /* Update the repo files for each of the object files we have adjusted and
445 recompile_files (void)
449 putenv (xstrdup ("COMPILER_PATH="));
450 putenv (xstrdup ("LIBRARY_PATH="));
452 while ((f
= file_pop ()) != NULL
)
457 struct obstack arg_stack
;
458 FILE *stream
= fopen (f
->key
, "r");
459 const char *const outname
= frob_extension (f
->key
, ".rnw");
460 FILE *output
= fopen (outname
, "w");
462 while ((line
= tfgets (stream
)) != NULL
)
468 maybe_tweak (line
, f
);
470 fprintf (output
, "%s\n", line
);
474 /* On Windows "rename" returns -1 and sets ERRNO to EACCESS if
475 the new file name already exists. Therefore, we explicitly
476 remove the old file first. */
477 if (remove (f
->key
) == -1)
478 fatal_perror ("removing .rpo file");
479 if (rename (outname
, f
->key
) == -1)
480 fatal_perror ("renaming .rpo file");
484 error ("repository file '%s' does not contain command-line "
485 "arguments", f
->key
);
489 /* Build a null-terminated argv array suitable for
490 tlink_execute(). Manipulate arguments on the arg_stack while
491 building argv on the temporary_obstack. */
493 obstack_init (&arg_stack
);
494 obstack_ptr_grow (&temporary_obstack
, c_file_name
);
496 for (p
= f
->args
; *p
!= '\0'; p
= q
+ 1)
498 /* Arguments are delimited by single-quotes. Find the
500 p
= strchr (p
, '\'');
504 /* Find the closing quote. */
505 q
= strchr (p
+ 1, '\'');
509 obstack_grow (&arg_stack
, p
+ 1, q
- (p
+ 1));
511 /* Replace '\'' with '. This is how set_collect_gcc_options
512 encodes a single-quote. */
513 while (q
[1] == '\\' && q
[2] == '\'' && q
[3] == '\'')
517 r
= strchr (q
+ 4, '\'');
521 obstack_grow (&arg_stack
, q
+ 3, r
- (q
+ 3));
525 obstack_1grow (&arg_stack
, '\0');
526 obstack_ptr_grow (&temporary_obstack
, obstack_finish (&arg_stack
));
529 obstack_ptr_grow (&temporary_obstack
, f
->main
);
530 obstack_ptr_grow (&temporary_obstack
, NULL
);
531 argv
= XOBFINISH (&temporary_obstack
, char **);
534 fprintf (stderr
, _("collect: recompiling %s\n"), f
->main
);
536 if (chdir (f
->dir
) != 0
537 || tlink_execute (c_file_name
, argv
, NULL
, NULL
) != 0
538 || chdir (initial_cwd
) != 0)
543 obstack_free (&arg_stack
, NULL
);
544 obstack_free (&temporary_obstack
, temporary_firstobj
);
549 /* The first phase of processing: determine which object files have
550 .rpo files associated with them, and read in the information. */
553 read_repo_files (char **object_lst
)
555 char **object
= object_lst
;
557 for (; *object
; object
++)
562 /* Don't bother trying for ld flags. */
563 if (*object
[0] == '-')
566 p
= frob_extension (*object
, ".rpo");
568 if (! file_exists (p
))
571 f
= file_hash_lookup (p
);
576 if (file_stack
!= NULL
&& ! recompile_files ())
579 return (symbol_stack
!= NULL
);
582 /* Add the demangled forms of any new symbols to the hash table. */
585 demangle_new_symbols (void)
589 while ((sym
= symbol_pop ()) != NULL
)
592 const char *p
= cplus_demangle (sym
->key
, DMGL_PARAMS
| DMGL_ANSI
);
597 dem
= demangled_hash_lookup (p
, true);
598 dem
->mangled
= sym
->key
;
602 /* Step through the output of the linker, in the file named FNAME, and
603 adjust the settings for each symbol encountered. */
606 scan_linker_output (const char *fname
)
608 FILE *stream
= fopen (fname
, "r");
610 int skip_next_in_line
= 0;
612 while ((line
= tfgets (stream
)) != NULL
)
619 /* On darwin9, we might have to skip " in " lines as well. */
620 if (skip_next_in_line
621 && strstr (p
, " in "))
623 skip_next_in_line
= 0;
625 while (*p
&& ISSPACE ((unsigned char) *p
))
631 for (q
= p
; *q
&& ! ISSPACE ((unsigned char) *q
); ++q
)
634 /* Try the first word on the line. */
637 if (!strncmp (p
, USER_LABEL_PREFIX
, strlen (USER_LABEL_PREFIX
)))
638 p
+= strlen (USER_LABEL_PREFIX
);
642 sym
= symbol_hash_lookup (p
, false);
644 /* Some SVR4 linkers produce messages like
645 ld: 0711-317 ERROR: Undefined symbol: .g__t3foo1Zi
647 if (! sym
&& ! end
&& strstr (q
+ 1, "Undefined symbol: "))
649 char *p
= strrchr (q
+ 1, ' ');
653 if (!strncmp (p
, USER_LABEL_PREFIX
, strlen (USER_LABEL_PREFIX
)))
654 p
+= strlen (USER_LABEL_PREFIX
);
655 sym
= symbol_hash_lookup (p
, false);
659 /* Try a mangled name in quotes. */
661 const char *oldq
= q
+ 1;
665 /* On darwin9, we look for "foo" referenced from:\n\(.* in .*\n\)* */
666 if (strcmp (oldq
, "referenced from:") == 0)
668 /* We have to remember that we found a symbol to tweak. */
671 /* We actually want to start from the first word on the
675 /* Since the format is multiline, we have to skip
676 following lines with " in ". */
677 skip_next_in_line
= 1;
680 /* First try `GNU style'. */
681 p
= strchr (oldq
, '`');
683 p
++, q
= strchr (p
, '\'');
684 /* Then try "double quotes". */
685 else if (p
= strchr (oldq
, '"'), p
)
686 p
++, q
= strchr (p
, '"');
688 /* Then try entire line. */
689 q
= strchr (oldq
, 0);
696 /* Don't let the strstr's below see the demangled name; we
697 might get spurious matches. */
700 /* powerpc64-linux references .foo when calling function foo. */
705 /* We need to check for certain error keywords here, or we would
706 mistakenly use GNU ld's "In function `foo':" message. */
708 || strstr (oldq
, "ndefined")
709 || strstr (oldq
, "nresolved")
710 || strstr (oldq
, "nsatisfied")
711 || strstr (oldq
, "ultiple")))
714 dem
= demangled_hash_lookup (p
, false);
716 sym
= symbol_hash_lookup (dem
->mangled
, false);
719 if (!strncmp (p
, USER_LABEL_PREFIX
,
720 strlen (USER_LABEL_PREFIX
)))
721 p
+= strlen (USER_LABEL_PREFIX
);
722 sym
= symbol_hash_lookup (p
, false);
727 if (sym
&& sym
->tweaked
)
729 error ("'%s' was assigned to '%s', but was not defined "
730 "during recompilation, or vice versa",
731 sym
->key
, sym
->file
->key
);
735 if (sym
&& !sym
->tweaking
)
737 if (tlink_verbose
>= 2)
738 fprintf (stderr
, _("collect: tweaking %s in %s\n"),
739 sym
->key
, sym
->file
->key
);
741 file_push (sym
->file
);
744 obstack_free (&temporary_obstack
, temporary_firstobj
);
748 return (file_stack
!= NULL
);
751 /* Entry point for tlink. Called from main in collect2.c.
753 Iteratively try to provide definitions for all the unresolved symbols
754 mentioned in the linker error messages.
756 LD_ARGV is an array of arguments for the linker.
757 OBJECT_LST is an array of object files that we may be able to recompile
758 to provide missing definitions. Currently ignored. */
761 do_tlink (char **ld_argv
, char **object_lst ATTRIBUTE_UNUSED
)
763 int exit
= tlink_execute ("ld", ld_argv
, ldout
, lderrout
);
771 /* Until collect does a better job of figuring out which are object
772 files, assume that everything on the command line could be. */
773 if (read_repo_files (ld_argv
))
774 while (exit
&& i
++ < MAX_ITERATIONS
)
776 if (tlink_verbose
>= 3)
778 dump_file (ldout
, stdout
);
779 dump_file (lderrout
, stderr
);
781 demangle_new_symbols ();
782 if (! scan_linker_output (ldout
)
783 && ! scan_linker_output (lderrout
))
785 if (! recompile_files ())
788 fprintf (stderr
, _("collect: relinking\n"));
789 exit
= tlink_execute ("ld", ld_argv
, ldout
, lderrout
);
793 dump_file (ldout
, stdout
);
795 dump_file (lderrout
, stderr
);
799 error ("ld returned %d exit status", exit
);