1 /* Scan linker error messages for missing template instantiations and provide
4 Copyright (C) 1995, 1998, 1999, 2000, 2001, 2003, 2004, 2005, 2007, 2008,
5 2009, 2010 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 3, 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 COPYING3. If not see
22 <http://www.gnu.org/licenses/>. */
26 #include "coretypes.h"
34 /* TARGET_64BIT may be defined to use driver specific functionality. */
36 #define TARGET_64BIT TARGET_64BIT_DEFAULT
38 #define MAX_ITERATIONS 17
40 /* Defined in the automatically-generated underscore.c. */
41 extern int prepends_underscore
;
43 static int tlink_verbose
;
45 static char *initial_cwd
;
47 /* Hash table boilerplate for working with htab_t. We have hash tables
48 for symbol names, file names, and demangled symbols. */
50 typedef struct symbol_hash_entry
53 struct file_hash_entry
*file
;
59 typedef struct file_hash_entry
68 typedef struct demangled_hash_entry
74 /* Hash and comparison functions for these hash tables. */
76 static int hash_string_eq (const void *, const void *);
77 static hashval_t
hash_string_hash (const void *);
80 hash_string_eq (const void *s1_p
, const void *s2_p
)
82 const char *const *s1
= (const char *const *) s1_p
;
83 const char *s2
= (const char *) s2_p
;
84 return strcmp (*s1
, s2
) == 0;
88 hash_string_hash (const void *s_p
)
90 const char *const *s
= (const char *const *) s_p
;
91 return (*htab_hash_string
) (*s
);
94 static htab_t symbol_table
;
96 static struct symbol_hash_entry
* symbol_hash_lookup (const char *, int);
97 static struct file_hash_entry
* file_hash_lookup (const char *);
98 static struct demangled_hash_entry
*demangled_hash_lookup (const char *, int);
99 static void symbol_push (symbol
*);
100 static symbol
* symbol_pop (void);
101 static void file_push (file
*);
102 static file
* file_pop (void);
103 static void tlink_init (void);
104 static int tlink_execute (const char *, char **, const char *, const char *);
105 static char * frob_extension (const char *, const char *);
106 static char * obstack_fgets (FILE *, struct obstack
*);
107 static char * tfgets (FILE *);
108 static char * pfgets (FILE *);
109 static void freadsym (FILE *, file
*, int);
110 static void read_repo_file (file
*);
111 static void maybe_tweak (char *, file
*);
112 static int recompile_files (void);
113 static int read_repo_files (char **);
114 static void demangle_new_symbols (void);
115 static int scan_linker_output (const char *);
117 /* Look up an entry in the symbol hash table. */
119 static struct symbol_hash_entry
*
120 symbol_hash_lookup (const char *string
, int create
)
123 e
= htab_find_slot_with_hash (symbol_table
, string
,
124 (*htab_hash_string
) (string
),
125 create
? INSERT
: NO_INSERT
);
130 struct symbol_hash_entry
*v
;
131 *e
= v
= XCNEW (struct symbol_hash_entry
);
132 v
->key
= xstrdup (string
);
134 return (struct symbol_hash_entry
*) *e
;
137 static htab_t file_table
;
139 /* Look up an entry in the file hash table. */
141 static struct file_hash_entry
*
142 file_hash_lookup (const char *string
)
145 e
= htab_find_slot_with_hash (file_table
, string
,
146 (*htab_hash_string
) (string
),
150 struct file_hash_entry
*v
;
151 *e
= v
= XCNEW (struct file_hash_entry
);
152 v
->key
= xstrdup (string
);
154 return (struct file_hash_entry
*) *e
;
157 static htab_t demangled_table
;
159 /* Look up an entry in the demangled name hash table. */
161 static struct demangled_hash_entry
*
162 demangled_hash_lookup (const char *string
, int create
)
165 e
= htab_find_slot_with_hash (demangled_table
, string
,
166 (*htab_hash_string
) (string
),
167 create
? INSERT
: NO_INSERT
);
172 struct demangled_hash_entry
*v
;
173 *e
= v
= XCNEW (struct demangled_hash_entry
);
174 v
->key
= xstrdup (string
);
176 return (struct demangled_hash_entry
*) *e
;
181 struct symbol_stack_entry
184 struct symbol_stack_entry
*next
;
186 struct obstack symbol_stack_obstack
;
187 struct symbol_stack_entry
*symbol_stack
;
189 struct file_stack_entry
192 struct file_stack_entry
*next
;
194 struct obstack file_stack_obstack
;
195 struct file_stack_entry
*file_stack
;
198 symbol_push (symbol
*p
)
200 struct symbol_stack_entry
*ep
201 = XOBNEW (&symbol_stack_obstack
, struct symbol_stack_entry
);
203 ep
->next
= symbol_stack
;
210 struct symbol_stack_entry
*ep
= symbol_stack
;
215 symbol_stack
= ep
->next
;
216 obstack_free (&symbol_stack_obstack
, ep
);
223 struct file_stack_entry
*ep
;
228 ep
= XOBNEW (&file_stack_obstack
, struct file_stack_entry
);
230 ep
->next
= file_stack
;
238 struct file_stack_entry
*ep
= file_stack
;
243 file_stack
= ep
->next
;
244 obstack_free (&file_stack_obstack
, ep
);
249 /* Other machinery. */
251 /* Initialize the tlink machinery. Called from do_tlink. */
258 symbol_table
= htab_create (500, hash_string_hash
, hash_string_eq
,
260 file_table
= htab_create (500, hash_string_hash
, hash_string_eq
,
262 demangled_table
= htab_create (500, hash_string_hash
, hash_string_eq
,
265 obstack_begin (&symbol_stack_obstack
, 0);
266 obstack_begin (&file_stack_obstack
, 0);
268 p
= getenv ("TLINK_VERBOSE");
270 tlink_verbose
= atoi (p
);
280 initial_cwd
= getpwd ();
284 tlink_execute (const char *prog
, char **argv
, const char *outname
,
289 pex
= collect_execute (prog
, argv
, outname
, errname
, PEX_LAST
| PEX_SEARCH
);
290 return collect_wait (prog
, pex
);
294 frob_extension (const char *s
, const char *ext
)
296 const char *p
= strrchr (s
, '/');
299 p
= strrchr (p
, '.');
303 obstack_grow (&temporary_obstack
, s
, p
- s
);
304 return (char *) obstack_copy0 (&temporary_obstack
, ext
, strlen (ext
));
308 obstack_fgets (FILE *stream
, struct obstack
*ob
)
311 while ((c
= getc (stream
)) != EOF
&& c
!= '\n')
312 obstack_1grow (ob
, c
);
313 if (obstack_object_size (ob
) == 0)
315 obstack_1grow (ob
, '\0');
316 return XOBFINISH (ob
, char *);
320 tfgets (FILE *stream
)
322 return obstack_fgets (stream
, &temporary_obstack
);
326 pfgets (FILE *stream
)
328 return xstrdup (tfgets (stream
));
331 /* Real tlink code. */
333 /* Subroutine of read_repo_file. We are reading the repo file for file F,
334 which is coming in on STREAM, and the symbol that comes next in STREAM
335 is offered, chosen or provided if CHOSEN is 0, 1 or 2, respectively.
337 XXX "provided" is unimplemented, both here and in the compiler. */
340 freadsym (FILE *stream
, file
*f
, int chosen
)
345 const char *name
= tfgets (stream
);
346 sym
= symbol_hash_lookup (name
, true);
349 if (sym
->file
== NULL
)
351 /* We didn't have this symbol already, so we choose this file. */
355 sym
->chosen
= chosen
;
359 /* We want this file; cast aside any pretender. */
361 if (sym
->chosen
&& sym
->file
!= f
)
363 if (sym
->chosen
== 1)
364 file_push (sym
->file
);
369 chosen
= sym
->chosen
;
373 sym
->chosen
= chosen
;
377 /* Read in the repo file denoted by F, and record all its information. */
380 read_repo_file (file
*f
)
383 FILE *stream
= fopen (f
->key
, "r");
385 if (tlink_verbose
>= 2)
386 fprintf (stderr
, _("collect: reading %s\n"), f
->key
);
388 while (fscanf (stream
, "%c ", &c
) == 1)
393 f
->args
= pfgets (stream
);
396 f
->dir
= pfgets (stream
);
399 f
->main
= pfgets (stream
);
402 freadsym (stream
, f
, 2);
405 freadsym (stream
, f
, 1);
408 freadsym (stream
, f
, 0);
411 obstack_free (&temporary_obstack
, temporary_firstobj
);
415 f
->args
= getenv ("COLLECT_GCC_OPTIONS");
420 /* We might want to modify LINE, which is a symbol line from file F. We do
421 this if either we saw an error message referring to the symbol in
422 question, or we have already allocated the symbol to another file and
423 this one wants to emit it as well. */
426 maybe_tweak (char *line
, file
*f
)
428 symbol
*sym
= symbol_hash_lookup (line
+ 2, false);
430 if ((sym
->file
== f
&& sym
->tweaking
)
431 || (sym
->file
!= f
&& line
[0] == 'C'))
443 /* Update the repo files for each of the object files we have adjusted and
447 recompile_files (void)
451 putenv (xstrdup ("COMPILER_PATH="));
452 putenv (xstrdup ("LIBRARY_PATH="));
454 while ((f
= file_pop ()) != NULL
)
459 struct obstack arg_stack
;
460 FILE *stream
= fopen (f
->key
, "r");
461 const char *const outname
= frob_extension (f
->key
, ".rnw");
462 FILE *output
= fopen (outname
, "w");
464 while ((line
= tfgets (stream
)) != NULL
)
470 maybe_tweak (line
, f
);
472 fprintf (output
, "%s\n", line
);
476 /* On Windows "rename" returns -1 and sets ERRNO to EACCESS if
477 the new file name already exists. Therefore, we explicitly
478 remove the old file first. */
479 if (remove (f
->key
) == -1)
480 fatal_perror ("removing .rpo file");
481 if (rename (outname
, f
->key
) == -1)
482 fatal_perror ("renaming .rpo file");
486 error ("repository file '%s' does not contain command-line "
487 "arguments", f
->key
);
491 /* Build a null-terminated argv array suitable for
492 tlink_execute(). Manipulate arguments on the arg_stack while
493 building argv on the temporary_obstack. */
495 obstack_init (&arg_stack
);
496 obstack_ptr_grow (&temporary_obstack
, c_file_name
);
498 for (p
= f
->args
; *p
!= '\0'; p
= q
+ 1)
500 /* Arguments are delimited by single-quotes. Find the
502 p
= strchr (p
, '\'');
506 /* Find the closing quote. */
507 q
= strchr (p
+ 1, '\'');
511 obstack_grow (&arg_stack
, p
+ 1, q
- (p
+ 1));
513 /* Replace '\'' with '. This is how set_collect_gcc_options
514 encodes a single-quote. */
515 while (q
[1] == '\\' && q
[2] == '\'' && q
[3] == '\'')
519 r
= strchr (q
+ 4, '\'');
523 obstack_grow (&arg_stack
, q
+ 3, r
- (q
+ 3));
527 obstack_1grow (&arg_stack
, '\0');
528 obstack_ptr_grow (&temporary_obstack
, obstack_finish (&arg_stack
));
531 obstack_ptr_grow (&temporary_obstack
, f
->main
);
532 obstack_ptr_grow (&temporary_obstack
, NULL
);
533 argv
= XOBFINISH (&temporary_obstack
, char **);
536 fprintf (stderr
, _("collect: recompiling %s\n"), f
->main
);
538 if (chdir (f
->dir
) != 0
539 || tlink_execute (c_file_name
, argv
, NULL
, NULL
) != 0
540 || chdir (initial_cwd
) != 0)
545 obstack_free (&arg_stack
, NULL
);
546 obstack_free (&temporary_obstack
, temporary_firstobj
);
551 /* The first phase of processing: determine which object files have
552 .rpo files associated with them, and read in the information. */
555 read_repo_files (char **object_lst
)
557 char **object
= object_lst
;
559 for (; *object
; object
++)
564 /* Don't bother trying for ld flags. */
565 if (*object
[0] == '-')
568 p
= frob_extension (*object
, ".rpo");
570 if (! file_exists (p
))
573 f
= file_hash_lookup (p
);
578 if (file_stack
!= NULL
&& ! recompile_files ())
581 return (symbol_stack
!= NULL
);
584 /* Add the demangled forms of any new symbols to the hash table. */
587 demangle_new_symbols (void)
591 while ((sym
= symbol_pop ()) != NULL
)
594 const char *p
= cplus_demangle (sym
->key
, DMGL_PARAMS
| DMGL_ANSI
);
599 dem
= demangled_hash_lookup (p
, true);
600 dem
->mangled
= sym
->key
;
604 /* Step through the output of the linker, in the file named FNAME, and
605 adjust the settings for each symbol encountered. */
608 scan_linker_output (const char *fname
)
610 FILE *stream
= fopen (fname
, "r");
612 int skip_next_in_line
= 0;
614 while ((line
= tfgets (stream
)) != NULL
)
621 /* On darwin9, we might have to skip " in " lines as well. */
622 if (skip_next_in_line
623 && strstr (p
, " in "))
625 skip_next_in_line
= 0;
627 while (*p
&& ISSPACE ((unsigned char) *p
))
633 for (q
= p
; *q
&& ! ISSPACE ((unsigned char) *q
); ++q
)
636 /* Try the first word on the line. */
639 if (!strncmp (p
, USER_LABEL_PREFIX
, strlen (USER_LABEL_PREFIX
)))
640 p
+= strlen (USER_LABEL_PREFIX
);
644 sym
= symbol_hash_lookup (p
, false);
646 /* Some SVR4 linkers produce messages like
647 ld: 0711-317 ERROR: Undefined symbol: .g__t3foo1Zi
649 if (! sym
&& ! end
&& strstr (q
+ 1, "Undefined symbol: "))
651 char *p
= strrchr (q
+ 1, ' ');
655 if (!strncmp (p
, USER_LABEL_PREFIX
, strlen (USER_LABEL_PREFIX
)))
656 p
+= strlen (USER_LABEL_PREFIX
);
657 sym
= symbol_hash_lookup (p
, false);
661 /* Try a mangled name in quotes. */
667 /* On darwin9, we look for "foo" referenced from:\n\(.* in .*\n\)* */
668 if (strcmp (oldq
, "referenced from:") == 0)
670 /* We have to remember that we found a symbol to tweak. */
673 /* We actually want to start from the first word on the
677 /* Since the format is multiline, we have to skip
678 following lines with " in ". */
679 skip_next_in_line
= 1;
682 /* First try `GNU style'. */
683 p
= strchr (oldq
, '`');
685 p
++, q
= strchr (p
, '\'');
686 /* Then try "double quotes". */
687 else if (p
= strchr (oldq
, '"'), p
)
688 p
++, q
= strchr (p
, '"');
689 /* Then try 'single quotes'. */
690 else if (p
= strchr (oldq
, '\''), p
)
691 p
++, q
= strchr (p
, '\'');
693 /* Then try entire line. */
694 q
= strchr (oldq
, 0);
701 /* Don't let the strstr's below see the demangled name; we
702 might get spurious matches. */
705 /* powerpc64-linux references .foo when calling function foo. */
710 /* We need to check for certain error keywords here, or we would
711 mistakenly use GNU ld's "In function `foo':" message. */
713 || strstr (oldq
, "ndefined")
714 || strstr (oldq
, "nresolved")
715 || strstr (oldq
, "nsatisfied")
716 || strstr (oldq
, "ultiple")))
719 dem
= demangled_hash_lookup (p
, false);
721 sym
= symbol_hash_lookup (dem
->mangled
, false);
724 if (!strncmp (p
, USER_LABEL_PREFIX
,
725 strlen (USER_LABEL_PREFIX
)))
726 p
+= strlen (USER_LABEL_PREFIX
);
727 sym
= symbol_hash_lookup (p
, false);
732 if (sym
&& sym
->tweaked
)
734 error ("'%s' was assigned to '%s', but was not defined "
735 "during recompilation, or vice versa",
736 sym
->key
, sym
->file
->key
);
740 if (sym
&& !sym
->tweaking
)
742 if (tlink_verbose
>= 2)
743 fprintf (stderr
, _("collect: tweaking %s in %s\n"),
744 sym
->key
, sym
->file
->key
);
746 file_push (sym
->file
);
749 obstack_free (&temporary_obstack
, temporary_firstobj
);
753 return (file_stack
!= NULL
);
756 /* Entry point for tlink. Called from main in collect2.c.
758 Iteratively try to provide definitions for all the unresolved symbols
759 mentioned in the linker error messages.
761 LD_ARGV is an array of arguments for the linker.
762 OBJECT_LST is an array of object files that we may be able to recompile
763 to provide missing definitions. Currently ignored. */
766 do_tlink (char **ld_argv
, char **object_lst ATTRIBUTE_UNUSED
)
768 int exit
= tlink_execute ("ld", ld_argv
, ldout
, lderrout
);
776 /* Until collect does a better job of figuring out which are object
777 files, assume that everything on the command line could be. */
778 if (read_repo_files (ld_argv
))
779 while (exit
&& i
++ < MAX_ITERATIONS
)
781 if (tlink_verbose
>= 3)
783 dump_file (ldout
, stdout
);
784 dump_file (lderrout
, stderr
);
786 demangle_new_symbols ();
787 if (! scan_linker_output (ldout
)
788 && ! scan_linker_output (lderrout
))
790 if (! recompile_files ())
793 fprintf (stderr
, _("collect: relinking\n"));
794 exit
= tlink_execute ("ld", ld_argv
, ldout
, lderrout
);
798 dump_file (ldout
, stdout
);
800 dump_file (lderrout
, stderr
);
804 error ("ld returned %d exit status", exit
);