713 lines
16 KiB
C
713 lines
16 KiB
C
/* Scan linker error messages for missing template instantiations and provide
|
||
them.
|
||
|
||
Copyright (C) 1995, 1998, 1999, 2000, 2001, 2003
|
||
Free Software Foundation, Inc.
|
||
Contributed by Jason Merrill (jason@cygnus.com).
|
||
|
||
This file is part of GCC.
|
||
|
||
GCC is free software; you can redistribute it and/or modify it under
|
||
the terms of the GNU General Public License as published by the Free
|
||
Software Foundation; either version 2, or (at your option) any later
|
||
version.
|
||
|
||
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
||
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
||
for more details.
|
||
|
||
You should have received a copy of the GNU General Public License
|
||
along with GCC; see the file COPYING. If not, write to the Free
|
||
Software Foundation, 59 Temple Place - Suite 330, Boston, MA
|
||
02111-1307, USA. */
|
||
|
||
#include "config.h"
|
||
#include "system.h"
|
||
#include "coretypes.h"
|
||
#include "tm.h"
|
||
#include "intl.h"
|
||
#include "obstack.h"
|
||
#include "hashtab.h"
|
||
#include "demangle.h"
|
||
#include "collect2.h"
|
||
|
||
#define MAX_ITERATIONS 17
|
||
|
||
/* Defined in the automatically-generated underscore.c. */
|
||
extern int prepends_underscore;
|
||
|
||
static int tlink_verbose;
|
||
|
||
/* Hash table boilerplate for working with htab_t. We have hash tables
|
||
for symbol names, file names, and demangled symbols. */
|
||
|
||
typedef struct symbol_hash_entry
|
||
{
|
||
const char *key;
|
||
struct file_hash_entry *file;
|
||
int chosen;
|
||
int tweaking;
|
||
int tweaked;
|
||
} symbol;
|
||
|
||
typedef struct file_hash_entry
|
||
{
|
||
const char *key;
|
||
const char *args;
|
||
const char *dir;
|
||
const char *main;
|
||
int tweaking;
|
||
} file;
|
||
|
||
typedef struct demangled_hash_entry
|
||
{
|
||
const char *key;
|
||
const char *mangled;
|
||
} demangled;
|
||
|
||
/* Hash and comparison functions for these hash tables. */
|
||
|
||
static int hash_string_eq (const void *, const void *);
|
||
static hashval_t hash_string_hash (const void *);
|
||
|
||
static int
|
||
hash_string_eq (const void *s1_p, const void *s2_p)
|
||
{
|
||
const char *const *s1 = (const char *const *) s1_p;
|
||
const char *s2 = (const char *) s2_p;
|
||
return strcmp (*s1, s2) == 0;
|
||
}
|
||
|
||
static hashval_t
|
||
hash_string_hash (const void *s_p)
|
||
{
|
||
const char *const *s = (const char *const *) s_p;
|
||
return (*htab_hash_string) (*s);
|
||
}
|
||
|
||
static htab_t symbol_table;
|
||
|
||
static struct symbol_hash_entry * symbol_hash_lookup (const char *, int);
|
||
static struct file_hash_entry * file_hash_lookup (const char *);
|
||
static struct demangled_hash_entry *demangled_hash_lookup (const char *, int);
|
||
static void symbol_push (symbol *);
|
||
static symbol * symbol_pop (void);
|
||
static void file_push (file *);
|
||
static file * file_pop (void);
|
||
static void tlink_init (void);
|
||
static int tlink_execute (const char *, char **, const char *);
|
||
static char * frob_extension (const char *, const char *);
|
||
static char * obstack_fgets (FILE *, struct obstack *);
|
||
static char * tfgets (FILE *);
|
||
static char * pfgets (FILE *);
|
||
static void freadsym (FILE *, file *, int);
|
||
static void read_repo_file (file *);
|
||
static void maybe_tweak (char *, file *);
|
||
static int recompile_files (void);
|
||
static int read_repo_files (char **);
|
||
static void demangle_new_symbols (void);
|
||
static int scan_linker_output (const char *);
|
||
|
||
/* Look up an entry in the symbol hash table. */
|
||
|
||
static struct symbol_hash_entry *
|
||
symbol_hash_lookup (const char *string, int create)
|
||
{
|
||
void **e;
|
||
e = htab_find_slot_with_hash (symbol_table, string,
|
||
(*htab_hash_string) (string),
|
||
create ? INSERT : NO_INSERT);
|
||
if (e == NULL)
|
||
return NULL;
|
||
if (*e == NULL)
|
||
{
|
||
struct symbol_hash_entry *v;
|
||
*e = v = xcalloc (1, sizeof (*v));
|
||
v->key = xstrdup (string);
|
||
}
|
||
return *e;
|
||
}
|
||
|
||
static htab_t file_table;
|
||
|
||
/* Look up an entry in the file hash table. */
|
||
|
||
static struct file_hash_entry *
|
||
file_hash_lookup (const char *string)
|
||
{
|
||
void **e;
|
||
e = htab_find_slot_with_hash (file_table, string,
|
||
(*htab_hash_string) (string),
|
||
INSERT);
|
||
if (*e == NULL)
|
||
{
|
||
struct file_hash_entry *v;
|
||
*e = v = xcalloc (1, sizeof (*v));
|
||
v->key = xstrdup (string);
|
||
}
|
||
return *e;
|
||
}
|
||
|
||
static htab_t demangled_table;
|
||
|
||
/* Look up an entry in the demangled name hash table. */
|
||
|
||
static struct demangled_hash_entry *
|
||
demangled_hash_lookup (const char *string, int create)
|
||
{
|
||
void **e;
|
||
e = htab_find_slot_with_hash (demangled_table, string,
|
||
(*htab_hash_string) (string),
|
||
create ? INSERT : NO_INSERT);
|
||
if (e == NULL)
|
||
return NULL;
|
||
if (*e == NULL)
|
||
{
|
||
struct demangled_hash_entry *v;
|
||
*e = v = xcalloc (1, sizeof (*v));
|
||
v->key = xstrdup (string);
|
||
}
|
||
return *e;
|
||
}
|
||
|
||
/* Stack code. */
|
||
|
||
struct symbol_stack_entry
|
||
{
|
||
symbol *value;
|
||
struct symbol_stack_entry *next;
|
||
};
|
||
struct obstack symbol_stack_obstack;
|
||
struct symbol_stack_entry *symbol_stack;
|
||
|
||
struct file_stack_entry
|
||
{
|
||
file *value;
|
||
struct file_stack_entry *next;
|
||
};
|
||
struct obstack file_stack_obstack;
|
||
struct file_stack_entry *file_stack;
|
||
|
||
static void
|
||
symbol_push (symbol *p)
|
||
{
|
||
struct symbol_stack_entry *ep = obstack_alloc
|
||
(&symbol_stack_obstack, sizeof (struct symbol_stack_entry));
|
||
ep->value = p;
|
||
ep->next = symbol_stack;
|
||
symbol_stack = ep;
|
||
}
|
||
|
||
static symbol *
|
||
symbol_pop (void)
|
||
{
|
||
struct symbol_stack_entry *ep = symbol_stack;
|
||
symbol *p;
|
||
if (ep == NULL)
|
||
return NULL;
|
||
p = ep->value;
|
||
symbol_stack = ep->next;
|
||
obstack_free (&symbol_stack_obstack, ep);
|
||
return p;
|
||
}
|
||
|
||
static void
|
||
file_push (file *p)
|
||
{
|
||
struct file_stack_entry *ep;
|
||
|
||
if (p->tweaking)
|
||
return;
|
||
|
||
ep = obstack_alloc
|
||
(&file_stack_obstack, sizeof (struct file_stack_entry));
|
||
ep->value = p;
|
||
ep->next = file_stack;
|
||
file_stack = ep;
|
||
p->tweaking = 1;
|
||
}
|
||
|
||
static file *
|
||
file_pop (void)
|
||
{
|
||
struct file_stack_entry *ep = file_stack;
|
||
file *p;
|
||
if (ep == NULL)
|
||
return NULL;
|
||
p = ep->value;
|
||
file_stack = ep->next;
|
||
obstack_free (&file_stack_obstack, ep);
|
||
p->tweaking = 0;
|
||
return p;
|
||
}
|
||
|
||
/* Other machinery. */
|
||
|
||
/* Initialize the tlink machinery. Called from do_tlink. */
|
||
|
||
static void
|
||
tlink_init (void)
|
||
{
|
||
const char *p;
|
||
|
||
symbol_table = htab_create (500, hash_string_hash, hash_string_eq,
|
||
NULL);
|
||
file_table = htab_create (500, hash_string_hash, hash_string_eq,
|
||
NULL);
|
||
demangled_table = htab_create (500, hash_string_hash, hash_string_eq,
|
||
NULL);
|
||
|
||
obstack_begin (&symbol_stack_obstack, 0);
|
||
obstack_begin (&file_stack_obstack, 0);
|
||
|
||
p = getenv ("TLINK_VERBOSE");
|
||
if (p)
|
||
tlink_verbose = atoi (p);
|
||
else
|
||
{
|
||
tlink_verbose = 1;
|
||
if (vflag)
|
||
tlink_verbose = 2;
|
||
if (debug)
|
||
tlink_verbose = 3;
|
||
}
|
||
}
|
||
|
||
static int
|
||
tlink_execute (const char *prog, char **argv, const char *redir)
|
||
{
|
||
collect_execute (prog, argv, redir);
|
||
return collect_wait (prog);
|
||
}
|
||
|
||
static char *
|
||
frob_extension (const char *s, const char *ext)
|
||
{
|
||
const char *p = strrchr (s, '/');
|
||
if (! p)
|
||
p = s;
|
||
p = strrchr (p, '.');
|
||
if (! p)
|
||
p = s + strlen (s);
|
||
|
||
obstack_grow (&temporary_obstack, s, p - s);
|
||
return obstack_copy0 (&temporary_obstack, ext, strlen (ext));
|
||
}
|
||
|
||
static char *
|
||
obstack_fgets (FILE *stream, struct obstack *ob)
|
||
{
|
||
int c;
|
||
while ((c = getc (stream)) != EOF && c != '\n')
|
||
obstack_1grow (ob, c);
|
||
if (obstack_object_size (ob) == 0)
|
||
return NULL;
|
||
obstack_1grow (ob, '\0');
|
||
return obstack_finish (ob);
|
||
}
|
||
|
||
static char *
|
||
tfgets (FILE *stream)
|
||
{
|
||
return obstack_fgets (stream, &temporary_obstack);
|
||
}
|
||
|
||
static char *
|
||
pfgets (FILE *stream)
|
||
{
|
||
return xstrdup (tfgets (stream));
|
||
}
|
||
|
||
/* Real tlink code. */
|
||
|
||
/* Subroutine of read_repo_file. We are reading the repo file for file F,
|
||
which is coming in on STREAM, and the symbol that comes next in STREAM
|
||
is offered, chosen or provided if CHOSEN is 0, 1 or 2, respectively.
|
||
|
||
XXX "provided" is unimplemented, both here and in the compiler. */
|
||
|
||
static void
|
||
freadsym (FILE *stream, file *f, int chosen)
|
||
{
|
||
symbol *sym;
|
||
|
||
{
|
||
const char *name = tfgets (stream);
|
||
sym = symbol_hash_lookup (name, true);
|
||
}
|
||
|
||
if (sym->file == NULL)
|
||
{
|
||
/* We didn't have this symbol already, so we choose this file. */
|
||
|
||
symbol_push (sym);
|
||
sym->file = f;
|
||
sym->chosen = chosen;
|
||
}
|
||
else if (chosen)
|
||
{
|
||
/* We want this file; cast aside any pretender. */
|
||
|
||
if (sym->chosen && sym->file != f)
|
||
{
|
||
if (sym->chosen == 1)
|
||
file_push (sym->file);
|
||
else
|
||
{
|
||
file_push (f);
|
||
f = sym->file;
|
||
chosen = sym->chosen;
|
||
}
|
||
}
|
||
sym->file = f;
|
||
sym->chosen = chosen;
|
||
}
|
||
}
|
||
|
||
/* Read in the repo file denoted by F, and record all its information. */
|
||
|
||
static void
|
||
read_repo_file (file *f)
|
||
{
|
||
char c;
|
||
FILE *stream = fopen (f->key, "r");
|
||
|
||
if (tlink_verbose >= 2)
|
||
fprintf (stderr, _("collect: reading %s\n"), f->key);
|
||
|
||
while (fscanf (stream, "%c ", &c) == 1)
|
||
{
|
||
switch (c)
|
||
{
|
||
case 'A':
|
||
f->args = pfgets (stream);
|
||
break;
|
||
case 'D':
|
||
f->dir = pfgets (stream);
|
||
break;
|
||
case 'M':
|
||
f->main = pfgets (stream);
|
||
break;
|
||
case 'P':
|
||
freadsym (stream, f, 2);
|
||
break;
|
||
case 'C':
|
||
freadsym (stream, f, 1);
|
||
break;
|
||
case 'O':
|
||
freadsym (stream, f, 0);
|
||
break;
|
||
}
|
||
obstack_free (&temporary_obstack, temporary_firstobj);
|
||
}
|
||
fclose (stream);
|
||
if (f->args == NULL)
|
||
f->args = getenv ("COLLECT_GCC_OPTIONS");
|
||
if (f->dir == NULL)
|
||
f->dir = ".";
|
||
}
|
||
|
||
/* We might want to modify LINE, which is a symbol line from file F. We do
|
||
this if either we saw an error message referring to the symbol in
|
||
question, or we have already allocated the symbol to another file and
|
||
this one wants to emit it as well. */
|
||
|
||
static void
|
||
maybe_tweak (char *line, file *f)
|
||
{
|
||
symbol *sym = symbol_hash_lookup (line + 2, false);
|
||
|
||
if ((sym->file == f && sym->tweaking)
|
||
|| (sym->file != f && line[0] == 'C'))
|
||
{
|
||
sym->tweaking = 0;
|
||
sym->tweaked = 1;
|
||
|
||
if (line[0] == 'O')
|
||
line[0] = 'C';
|
||
else
|
||
line[0] = 'O';
|
||
}
|
||
}
|
||
|
||
/* Update the repo files for each of the object files we have adjusted and
|
||
recompile.
|
||
|
||
XXX Should this use collect_execute instead of system? */
|
||
|
||
static int
|
||
recompile_files (void)
|
||
{
|
||
file *f;
|
||
|
||
putenv (xstrdup ("COMPILER_PATH="));
|
||
putenv (xstrdup ("LIBRARY_PATH="));
|
||
|
||
while ((f = file_pop ()) != NULL)
|
||
{
|
||
char *line, *command;
|
||
FILE *stream = fopen (f->key, "r");
|
||
const char *const outname = frob_extension (f->key, ".rnw");
|
||
FILE *output = fopen (outname, "w");
|
||
|
||
while ((line = tfgets (stream)) != NULL)
|
||
{
|
||
switch (line[0])
|
||
{
|
||
case 'C':
|
||
case 'O':
|
||
maybe_tweak (line, f);
|
||
}
|
||
fprintf (output, "%s\n", line);
|
||
}
|
||
fclose (stream);
|
||
fclose (output);
|
||
rename (outname, f->key);
|
||
|
||
obstack_grow (&temporary_obstack, "cd ", 3);
|
||
obstack_grow (&temporary_obstack, f->dir, strlen (f->dir));
|
||
obstack_grow (&temporary_obstack, "; ", 2);
|
||
obstack_grow (&temporary_obstack, c_file_name, strlen (c_file_name));
|
||
obstack_1grow (&temporary_obstack, ' ');
|
||
obstack_grow (&temporary_obstack, f->args, strlen (f->args));
|
||
obstack_1grow (&temporary_obstack, ' ');
|
||
command = obstack_copy0 (&temporary_obstack, f->main, strlen (f->main));
|
||
|
||
if (tlink_verbose)
|
||
fprintf (stderr, _("collect: recompiling %s\n"), f->main);
|
||
if (tlink_verbose >= 3)
|
||
fprintf (stderr, "%s\n", command);
|
||
|
||
if (system (command) != 0)
|
||
return 0;
|
||
|
||
read_repo_file (f);
|
||
|
||
obstack_free (&temporary_obstack, temporary_firstobj);
|
||
}
|
||
return 1;
|
||
}
|
||
|
||
/* The first phase of processing: determine which object files have
|
||
.rpo files associated with them, and read in the information. */
|
||
|
||
static int
|
||
read_repo_files (char **object_lst)
|
||
{
|
||
char **object = object_lst;
|
||
|
||
for (; *object; object++)
|
||
{
|
||
const char *p;
|
||
file *f;
|
||
|
||
/* Don't bother trying for ld flags. */
|
||
if (*object[0] == '-')
|
||
continue;
|
||
|
||
p = frob_extension (*object, ".rpo");
|
||
|
||
if (! file_exists (p))
|
||
continue;
|
||
|
||
f = file_hash_lookup (p);
|
||
|
||
read_repo_file (f);
|
||
}
|
||
|
||
if (file_stack != NULL && ! recompile_files ())
|
||
return 0;
|
||
|
||
return (symbol_stack != NULL);
|
||
}
|
||
|
||
/* Add the demangled forms of any new symbols to the hash table. */
|
||
|
||
static void
|
||
demangle_new_symbols (void)
|
||
{
|
||
symbol *sym;
|
||
|
||
while ((sym = symbol_pop ()) != NULL)
|
||
{
|
||
demangled *dem;
|
||
const char *p = cplus_demangle (sym->key, DMGL_PARAMS | DMGL_ANSI);
|
||
|
||
if (! p)
|
||
continue;
|
||
|
||
dem = demangled_hash_lookup (p, true);
|
||
dem->mangled = sym->key;
|
||
}
|
||
}
|
||
|
||
/* Step through the output of the linker, in the file named FNAME, and
|
||
adjust the settings for each symbol encountered. */
|
||
|
||
static int
|
||
scan_linker_output (const char *fname)
|
||
{
|
||
FILE *stream = fopen (fname, "r");
|
||
char *line;
|
||
|
||
while ((line = tfgets (stream)) != NULL)
|
||
{
|
||
char *p = line, *q;
|
||
symbol *sym;
|
||
int end;
|
||
|
||
while (*p && ISSPACE ((unsigned char) *p))
|
||
++p;
|
||
|
||
if (! *p)
|
||
continue;
|
||
|
||
for (q = p; *q && ! ISSPACE ((unsigned char) *q); ++q)
|
||
;
|
||
|
||
/* Try the first word on the line. */
|
||
if (*p == '.')
|
||
++p;
|
||
if (!strncmp (p, USER_LABEL_PREFIX, strlen (USER_LABEL_PREFIX)))
|
||
p += strlen (USER_LABEL_PREFIX);
|
||
|
||
end = ! *q;
|
||
*q = 0;
|
||
sym = symbol_hash_lookup (p, false);
|
||
|
||
/* Some SVR4 linkers produce messages like
|
||
ld: 0711-317 ERROR: Undefined symbol: .g__t3foo1Zi
|
||
*/
|
||
if (! sym && ! end && strstr (q + 1, "Undefined symbol: "))
|
||
{
|
||
char *p = strrchr (q + 1, ' ');
|
||
p++;
|
||
if (*p == '.')
|
||
p++;
|
||
if (!strncmp (p, USER_LABEL_PREFIX, strlen (USER_LABEL_PREFIX)))
|
||
p += strlen (USER_LABEL_PREFIX);
|
||
sym = symbol_hash_lookup (p, false);
|
||
}
|
||
|
||
if (! sym && ! end)
|
||
/* Try a mangled name in quotes. */
|
||
{
|
||
const char *oldq = q + 1;
|
||
demangled *dem = 0;
|
||
q = 0;
|
||
|
||
/* First try `GNU style'. */
|
||
p = strchr (oldq, '`');
|
||
if (p)
|
||
p++, q = strchr (p, '\'');
|
||
/* Then try "double quotes". */
|
||
else if (p = strchr (oldq, '"'), p)
|
||
p++, q = strchr (p, '"');
|
||
else {
|
||
/* Then try entire line. */
|
||
q = strchr (oldq, 0);
|
||
if (q != oldq)
|
||
p = (char *)oldq;
|
||
}
|
||
|
||
if (p)
|
||
{
|
||
/* Don't let the strstr's below see the demangled name; we
|
||
might get spurious matches. */
|
||
p[-1] = '\0';
|
||
|
||
/* powerpc64-linux references .foo when calling function foo. */
|
||
if (*p == '.')
|
||
p++;
|
||
}
|
||
|
||
/* We need to check for certain error keywords here, or we would
|
||
mistakenly use GNU ld's "In function `foo':" message. */
|
||
if (q && (strstr (oldq, "ndefined")
|
||
|| strstr (oldq, "nresolved")
|
||
|| strstr (oldq, "nsatisfied")
|
||
|| strstr (oldq, "ultiple")))
|
||
{
|
||
*q = 0;
|
||
dem = demangled_hash_lookup (p, false);
|
||
if (dem)
|
||
sym = symbol_hash_lookup (dem->mangled, false);
|
||
else
|
||
{
|
||
if (!strncmp (p, USER_LABEL_PREFIX,
|
||
strlen (USER_LABEL_PREFIX)))
|
||
p += strlen (USER_LABEL_PREFIX);
|
||
sym = symbol_hash_lookup (p, false);
|
||
}
|
||
}
|
||
}
|
||
|
||
if (sym && sym->tweaked)
|
||
{
|
||
fclose (stream);
|
||
return 0;
|
||
}
|
||
if (sym && !sym->tweaking)
|
||
{
|
||
if (tlink_verbose >= 2)
|
||
fprintf (stderr, _("collect: tweaking %s in %s\n"),
|
||
sym->key, sym->file->key);
|
||
sym->tweaking = 1;
|
||
file_push (sym->file);
|
||
}
|
||
|
||
obstack_free (&temporary_obstack, temporary_firstobj);
|
||
}
|
||
|
||
fclose (stream);
|
||
return (file_stack != NULL);
|
||
}
|
||
|
||
/* Entry point for tlink. Called from main in collect2.c.
|
||
|
||
Iteratively try to provide definitions for all the unresolved symbols
|
||
mentioned in the linker error messages.
|
||
|
||
LD_ARGV is an array of arguments for the linker.
|
||
OBJECT_LST is an array of object files that we may be able to recompile
|
||
to provide missing definitions. Currently ignored. */
|
||
|
||
void
|
||
do_tlink (char **ld_argv, char **object_lst ATTRIBUTE_UNUSED)
|
||
{
|
||
int exit = tlink_execute ("ld", ld_argv, ldout);
|
||
|
||
tlink_init ();
|
||
|
||
if (exit)
|
||
{
|
||
int i = 0;
|
||
|
||
/* Until collect does a better job of figuring out which are object
|
||
files, assume that everything on the command line could be. */
|
||
if (read_repo_files (ld_argv))
|
||
while (exit && i++ < MAX_ITERATIONS)
|
||
{
|
||
if (tlink_verbose >= 3)
|
||
dump_file (ldout);
|
||
demangle_new_symbols ();
|
||
if (! scan_linker_output (ldout))
|
||
break;
|
||
if (! recompile_files ())
|
||
break;
|
||
if (tlink_verbose)
|
||
fprintf (stderr, _("collect: relinking\n"));
|
||
exit = tlink_execute ("ld", ld_argv, ldout);
|
||
}
|
||
}
|
||
|
||
dump_file (ldout);
|
||
unlink (ldout);
|
||
if (exit)
|
||
{
|
||
error ("ld returned %d exit status", exit);
|
||
collect_exit (exit);
|
||
}
|
||
}
|