/* ldmisc.c
- Copyright 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999,
- 2000, 2002, 2003
- Free Software Foundation, Inc.
+ Copyright (C) 1991-2019 Free Software Foundation, Inc.
Written by Steve Chamberlain of Cygnus Support.
- This file is part of GLD, the Gnu Linker.
+ This file is part of the GNU Binutils.
- GLD is free software; you can redistribute it and/or modify
+ This program 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.
+ the Free Software Foundation; either version 3 of the License, or
+ (at your option) any later version.
- GLD is distributed in the hope that it will be useful,
+ This program 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 GLD; see the file COPYING. If not, write to the Free
- Software Foundation, 59 Temple Place - Suite 330, Boston, MA
- 02111-1307, USA. */
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
+ MA 02110-1301, USA. */
+#include "sysdep.h"
#include "bfd.h"
#include "bfdlink.h"
-#include "sysdep.h"
#include "libiberty.h"
+#include "safe-ctype.h"
+#include "filenames.h"
#include "demangle.h"
#include <stdarg.h>
#include "ld.h"
/*
%% literal %
+ %C clever filename:linenumber with function
+ %D like %C, but no function name
+ %E current bfd error or errno
%F error is fatal
+ %G like %D, but only function name
+ %H like %C but in addition emit section+offset
%P print program name
- %S print script file and linenumber
- %E current bfd error or errno
- %I filename from a lang_input_statement_type
- %B filename from a bfd
- %T symbol name
- %X no object output, fail return
%V hex bfd_vma
- %v hex bfd_vma, no leading zeros
%W hex bfd_vma with 0x with no leading zeros taking up 8 spaces
- %C clever filename:linenumber with function
- %D like %C, but no function name
- %G like %D, but only function name
- %R info about a relent
- %s arbitrary string, like printf
+ %X no object output, fail return
%d integer, like printf
+ %ld long, like printf
+ %lu unsigned long, like printf
+ %p native (host) void* pointer, like printf
+ %pA section name from a section
+ %pB filename from a bfd
+ %pI filename from a lang_input_statement_type
+ %pR info about a relent
+ %pS print script file and linenumber from etree_type.
+ %pT symbol name
+ %s arbitrary string, like printf
%u integer, like printf
+ %v hex bfd_vma, no leading zeros
*/
-static void
-vfinfo (FILE *fp, const char *fmt, va_list arg)
+void
+vfinfo (FILE *fp, const char *fmt, va_list ap, bfd_boolean is_warning)
{
bfd_boolean fatal = FALSE;
+ const char *scan;
+ int arg_type;
+ unsigned int arg_count = 0;
+ unsigned int arg_no;
+ union vfinfo_args
+ {
+ int i;
+ long l;
+ void *p;
+ bfd_vma v;
+ struct {
+ bfd *abfd;
+ asection *sec;
+ bfd_vma off;
+ } reladdr;
+ enum
+ {
+ Bad,
+ Int,
+ Long,
+ Ptr,
+ Vma,
+ RelAddr
+ } type;
+ } args[9];
+
+ for (arg_no = 0; arg_no < sizeof (args) / sizeof (args[0]); arg_no++)
+ args[arg_no].type = Bad;
+
+ arg_count = 0;
+ scan = fmt;
+ while (*scan != '\0')
+ {
+ while (*scan != '%' && *scan != '\0')
+ scan++;
- while (*fmt != '\0')
+ if (*scan == '%')
+ {
+ scan++;
+
+ arg_no = arg_count;
+ if (*scan != '0' && ISDIGIT (*scan) && scan[1] == '$')
+ {
+ arg_no = *scan - '1';
+ scan += 2;
+ }
+
+ arg_type = Bad;
+ switch (*scan++)
+ {
+ case '\0':
+ --scan;
+ break;
+
+ case 'V':
+ case 'v':
+ case 'W':
+ arg_type = Vma;
+ break;
+
+ case 's':
+ arg_type = Ptr;
+ break;
+
+ case 'p':
+ if (*scan == 'A' || *scan == 'B' || *scan == 'I'
+ || *scan == 'R' || *scan == 'S' || *scan == 'T')
+ scan++;
+ arg_type = Ptr;
+ break;
+
+ case 'C':
+ case 'D':
+ case 'G':
+ case 'H':
+ arg_type = RelAddr;
+ break;
+
+ case 'd':
+ case 'u':
+ arg_type = Int;
+ break;
+
+ case 'l':
+ if (*scan == 'd' || *scan == 'u')
+ {
+ ++scan;
+ arg_type = Long;
+ }
+ break;
+
+ default:
+ break;
+ }
+ if (arg_type != Bad)
+ {
+ if (arg_no >= sizeof (args) / sizeof (args[0]))
+ abort ();
+ args[arg_no].type = arg_type;
+ ++arg_count;
+ }
+ }
+ }
+
+ for (arg_no = 0; arg_no < arg_count; arg_no++)
{
- while (*fmt != '%' && *fmt != '\0')
+ switch (args[arg_no].type)
{
- putc (*fmt, fp);
- fmt++;
+ case Int:
+ args[arg_no].i = va_arg (ap, int);
+ break;
+ case Long:
+ args[arg_no].l = va_arg (ap, long);
+ break;
+ case Ptr:
+ args[arg_no].p = va_arg (ap, void *);
+ break;
+ case Vma:
+ args[arg_no].v = va_arg (ap, bfd_vma);
+ break;
+ case RelAddr:
+ args[arg_no].reladdr.abfd = va_arg (ap, bfd *);
+ args[arg_no].reladdr.sec = va_arg (ap, asection *);
+ args[arg_no].reladdr.off = va_arg (ap, bfd_vma);
+ break;
+ default:
+ abort ();
}
+ }
+
+ arg_count = 0;
+ while (*fmt != '\0')
+ {
+ const char *str = fmt;
+ while (*fmt != '%' && *fmt != '\0')
+ fmt++;
+ if (fmt != str)
+ if (fwrite (str, 1, fmt - str, fp))
+ {
+ /* Ignore. */
+ }
if (*fmt == '%')
{
fmt++;
+
+ arg_no = arg_count;
+ if (*fmt != '0' && ISDIGIT (*fmt) && fmt[1] == '$')
+ {
+ arg_no = *fmt - '1';
+ fmt += 2;
+ }
+
switch (*fmt++)
{
- default:
- fprintf (fp, "%%%c", fmt[-1]);
- break;
+ case '\0':
+ --fmt;
+ /* Fall through. */
case '%':
/* literal % */
case 'V':
/* hex bfd_vma */
{
- bfd_vma value = va_arg (arg, bfd_vma);
+ bfd_vma value = args[arg_no].v;
+ ++arg_count;
fprintf_vma (fp, value);
}
break;
{
char buf[100];
char *p = buf;
- bfd_vma value = va_arg (arg, bfd_vma);
+ bfd_vma value = args[arg_no].v;
+ ++arg_count;
sprintf_vma (p, value);
while (*p == '0')
p++;
char *p;
int len;
- value = va_arg (arg, bfd_vma);
+ value = args[arg_no].v;
+ ++arg_count;
sprintf_vma (buf, value);
for (p = buf; *p == '0'; ++p)
;
}
break;
- case 'T':
- /* Symbol name. */
- {
- const char *name = va_arg (arg, const char *);
-
- if (name == NULL || *name == 0)
- fprintf (fp, _("no symbol"));
- else if (! demangling)
- fprintf (fp, "%s", name);
- else
- {
- char *demangled;
-
- demangled = demangle (name);
- fprintf (fp, "%s", demangled);
- free (demangled);
- }
- }
- break;
-
- case 'B':
- /* filename from a bfd */
- {
- bfd *abfd = va_arg (arg, bfd *);
- if (abfd->my_archive)
- fprintf (fp, "%s(%s)", abfd->my_archive->filename,
- abfd->filename);
- else
- fprintf (fp, "%s", abfd->filename);
- }
- break;
-
case 'F':
/* Error is fatal. */
fatal = TRUE;
fprintf (fp, "%s", bfd_errmsg (bfd_get_error ()));
break;
- case 'I':
- /* filename from a lang_input_statement_type */
- {
- lang_input_statement_type *i;
-
- i = va_arg (arg, lang_input_statement_type *);
- if (bfd_my_archive (i->the_bfd) != NULL)
- fprintf (fp, "(%s)",
- bfd_get_filename (bfd_my_archive (i->the_bfd)));
- fprintf (fp, "%s", i->local_sym_name);
- if (bfd_my_archive (i->the_bfd) == NULL
- && strcmp (i->local_sym_name, i->filename) != 0)
- fprintf (fp, " (%s)", i->filename);
- }
- break;
-
- case 'S':
- /* Print script file and linenumber. */
- if (parsing_defsym)
- fprintf (fp, "--defsym %s", lex_string);
- else if (ldfile_input_filename != NULL)
- fprintf (fp, "%s:%u", ldfile_input_filename, lineno);
- else
- fprintf (fp, _("built in linker script:%u"), lineno);
- break;
-
- case 'R':
- /* Print all that's interesting about a relent. */
- {
- arelent *relent = va_arg (arg, arelent *);
-
- lfinfo (fp, "%s+0x%v (type %s)",
- (*(relent->sym_ptr_ptr))->name,
- relent->addend,
- relent->howto->name);
- }
- break;
-
case 'C':
case 'D':
case 'G':
+ case 'H':
/* Clever filename:linenumber with function name if possible.
The arguments are a BFD, a section, and an offset. */
{
static bfd *last_bfd;
- static char *last_file = NULL;
- static char *last_function = NULL;
+ static char *last_file;
+ static char *last_function;
bfd *abfd;
asection *section;
bfd_vma offset;
- lang_input_statement_type *entry;
- asymbol **asymbols;
+ asymbol **asymbols = NULL;
const char *filename;
const char *functionname;
unsigned int linenumber;
bfd_boolean discard_last;
+ bfd_boolean done;
- abfd = va_arg (arg, bfd *);
- section = va_arg (arg, asection *);
- offset = va_arg (arg, bfd_vma);
+ abfd = args[arg_no].reladdr.abfd;
+ section = args[arg_no].reladdr.sec;
+ offset = args[arg_no].reladdr.off;
+ ++arg_count;
- entry = (lang_input_statement_type *) abfd->usrdata;
- if (entry != (lang_input_statement_type *) NULL
- && entry->asymbols != (asymbol **) NULL)
- asymbols = entry->asymbols;
- else
+ if (abfd != NULL)
{
- long symsize;
- long symbol_count;
-
- symsize = bfd_get_symtab_upper_bound (abfd);
- if (symsize < 0)
- einfo (_("%B%F: could not read symbols\n"), abfd);
- asymbols = xmalloc (symsize);
- symbol_count = bfd_canonicalize_symtab (abfd, asymbols);
- if (symbol_count < 0)
- einfo (_("%B%F: could not read symbols\n"), abfd);
- if (entry != (lang_input_statement_type *) NULL)
- {
- entry->asymbols = asymbols;
- entry->symbol_count = symbol_count;
- }
+ if (!bfd_generic_link_read_symbols (abfd))
+ einfo (_("%F%P: %pB: could not read symbols: %E\n"), abfd);
+
+ asymbols = bfd_get_outsymbols (abfd);
}
- lfinfo (fp, "%B(%s+0x%v)", abfd, section->name, offset);
+ /* The GNU Coding Standard requires that error messages
+ be of the form:
+
+ source-file-name:lineno: message
+ We do not always have a line number available so if
+ we cannot find them we print out the section name and
+ offset instead. */
discard_last = TRUE;
- if (bfd_find_nearest_line (abfd, section, asymbols, offset,
- &filename, &functionname,
- &linenumber))
+ if (abfd != NULL
+ && bfd_find_nearest_line (abfd, section, asymbols, offset,
+ &filename, &functionname,
+ &linenumber))
{
- bfd_boolean need_colon = TRUE;
-
- if (functionname != NULL && fmt[-1] == 'C')
+ if (functionname != NULL
+ && (fmt[-1] == 'C' || fmt[-1] == 'H'))
{
+ /* Detect the case where we are printing out a
+ message for the same function as the last
+ call to vinfo ("%C"). In this situation do
+ not print out the ABFD filename or the
+ function name again. Note - we do still
+ print out the source filename, as this will
+ allow programs that parse the linker's output
+ (eg emacs) to correctly locate multiple
+ errors in the same source file. */
if (last_bfd == NULL
- || last_file == NULL
|| last_function == NULL
|| last_bfd != abfd
+ || (last_file == NULL) != (filename == NULL)
|| (filename != NULL
- && strcmp (last_file, filename) != 0)
+ && filename_cmp (last_file, filename) != 0)
|| strcmp (last_function, functionname) != 0)
{
- lfinfo (fp, _(": In function `%T':\n"),
- functionname);
- need_colon = FALSE;
+ lfinfo (fp, _("%pB: in function `%pT':\n"),
+ abfd, functionname);
last_bfd = abfd;
if (last_file != NULL)
}
discard_last = FALSE;
}
+ else
+ lfinfo (fp, "%pB:", abfd);
if (filename != NULL)
- {
- if (need_colon)
- putc (':', fp);
- fputs (filename, fp);
- }
+ fprintf (fp, "%s:", filename);
+ done = fmt[-1] != 'H';
if (functionname != NULL && fmt[-1] == 'G')
- lfinfo (fp, ":%T", functionname);
+ lfinfo (fp, "%pT", functionname);
else if (filename != NULL && linenumber != 0)
- fprintf (fp, ":%u", linenumber);
+ fprintf (fp, "%u%s", linenumber, done ? "" : ":");
+ else
+ done = FALSE;
}
-
- if (asymbols != NULL && entry == NULL)
- free (asymbols);
+ else
+ {
+ lfinfo (fp, "%pB:", abfd);
+ done = FALSE;
+ }
+ if (!done)
+ lfinfo (fp, "(%pA+0x%v)", section, offset);
if (discard_last)
{
}
break;
+ case 'p':
+ if (*fmt == 'A')
+ {
+ /* section name from a section */
+ asection *sec;
+ bfd *abfd;
+
+ fmt++;
+ sec = (asection *) args[arg_no].p;
+ ++arg_count;
+ fprintf (fp, "%s", sec->name);
+ abfd = sec->owner;
+ if (abfd != NULL)
+ {
+ const char *group = bfd_group_name (abfd, sec);
+ if (group != NULL)
+ fprintf (fp, "[%s]", group);
+ }
+ }
+ else if (*fmt == 'B')
+ {
+ /* filename from a bfd */
+ bfd *abfd = (bfd *) args[arg_no].p;
+
+ fmt++;
+ ++arg_count;
+ if (abfd == NULL)
+ fprintf (fp, "%s generated", program_name);
+ else if (abfd->my_archive != NULL
+ && !bfd_is_thin_archive (abfd->my_archive))
+ fprintf (fp, "%s(%s)", abfd->my_archive->filename,
+ abfd->filename);
+ else
+ fprintf (fp, "%s", abfd->filename);
+ }
+ else if (*fmt == 'I')
+ {
+ /* filename from a lang_input_statement_type */
+ lang_input_statement_type *i;
+
+ fmt++;
+ i = (lang_input_statement_type *) args[arg_no].p;
+ ++arg_count;
+ if (i->the_bfd != NULL
+ && i->the_bfd->my_archive != NULL
+ && !bfd_is_thin_archive (i->the_bfd->my_archive))
+ fprintf (fp, "(%s)%s", i->the_bfd->my_archive->filename,
+ i->local_sym_name);
+ else
+ fprintf (fp, "%s", i->filename);
+ }
+ else if (*fmt == 'R')
+ {
+ /* Print all that's interesting about a relent. */
+ arelent *relent = (arelent *) args[arg_no].p;
+
+ fmt++;
+ ++arg_count;
+ lfinfo (fp, "%s+0x%v (type %s)",
+ (*(relent->sym_ptr_ptr))->name,
+ relent->addend,
+ relent->howto->name);
+ }
+ else if (*fmt == 'S')
+ {
+ /* Print script file and linenumber. */
+ etree_type node;
+ etree_type *tp = (etree_type *) args[arg_no].p;
+
+ fmt++;
+ ++arg_count;
+ if (tp == NULL)
+ {
+ tp = &node;
+ tp->type.filename = ldlex_filename ();
+ tp->type.lineno = lineno;
+ }
+ if (tp->type.filename != NULL)
+ fprintf (fp, "%s:%u", tp->type.filename, tp->type.lineno);
+ }
+ else if (*fmt == 'T')
+ {
+ /* Symbol name. */
+ const char *name = (const char *) args[arg_no].p;
+
+ fmt++;
+ ++arg_count;
+ if (name == NULL || *name == 0)
+ {
+ fprintf (fp, _("no symbol"));
+ break;
+ }
+ else if (demangling)
+ {
+ char *demangled;
+
+ demangled = bfd_demangle (link_info.output_bfd, name,
+ DMGL_ANSI | DMGL_PARAMS);
+ if (demangled != NULL)
+ {
+ fprintf (fp, "%s", demangled);
+ free (demangled);
+ break;
+ }
+ }
+ fprintf (fp, "%s", name);
+ }
+ else
+ {
+ /* native (host) void* pointer, like printf */
+ fprintf (fp, "%p", args[arg_no].p);
+ ++arg_count;
+ }
+ break;
+
case 's':
/* arbitrary string, like printf */
- fprintf (fp, "%s", va_arg (arg, char *));
+ fprintf (fp, "%s", (char *) args[arg_no].p);
+ ++arg_count;
break;
case 'd':
/* integer, like printf */
- fprintf (fp, "%d", va_arg (arg, int));
+ fprintf (fp, "%d", args[arg_no].i);
+ ++arg_count;
break;
case 'u':
/* unsigned integer, like printf */
- fprintf (fp, "%u", va_arg (arg, unsigned int));
+ fprintf (fp, "%u", args[arg_no].i);
+ ++arg_count;
+ break;
+
+ case 'l':
+ if (*fmt == 'd')
+ {
+ fprintf (fp, "%ld", args[arg_no].l);
+ ++arg_count;
+ ++fmt;
+ break;
+ }
+ else if (*fmt == 'u')
+ {
+ fprintf (fp, "%lu", args[arg_no].l);
+ ++arg_count;
+ ++fmt;
+ break;
+ }
+ /* Fallthru */
+
+ default:
+ fprintf (fp, "%%%c", fmt[-1]);
break;
}
}
}
- if (config.fatal_warnings)
+ if (is_warning && config.fatal_warnings)
config.make_executable = FALSE;
if (fatal)
xexit (1);
}
-/* Wrapper around cplus_demangle. Strips leading underscores and
- other such chars that would otherwise confuse the demangler. */
-
-char *
-demangle (const char *name)
-{
- char *res;
- const char *p;
-
- if (output_bfd != NULL
- && bfd_get_symbol_leading_char (output_bfd) == name[0])
- ++name;
-
- /* This is a hack for better error reporting on XCOFF, PowerPC64-ELF
- or the MS PE format. These formats have a number of leading '.'s
- on at least some symbols, so we remove all dots to avoid
- confusing the demangler. */
- p = name;
- while (*p == '.')
- ++p;
-
- res = cplus_demangle (p, DMGL_ANSI | DMGL_PARAMS);
- if (res)
- {
- size_t dots = p - name;
-
- /* Now put back any stripped dots. */
- if (dots != 0)
- {
- size_t len = strlen (res) + 1;
- char *add_dots = xmalloc (len + dots);
-
- memcpy (add_dots, name, dots);
- memcpy (add_dots + dots, res, len);
- free (res);
- res = add_dots;
- }
- return res;
- }
- return xstrdup (name);
-}
-
/* Format info message and print on stdout. */
/* (You would think this should be called just "info", but then you
va_list arg;
va_start (arg, fmt);
- vfinfo (stdout, fmt, arg);
+ vfinfo (stdout, fmt, arg, FALSE);
va_end (arg);
}
{
va_list arg;
+ fflush (stdout);
va_start (arg, fmt);
- vfinfo (stderr, fmt, arg);
+ vfinfo (stderr, fmt, arg, TRUE);
va_end (arg);
+ fflush (stderr);
}
void
void
minfo (const char *fmt, ...)
{
- va_list arg;
+ if (config.map_file != NULL)
+ {
+ va_list arg;
- va_start (arg, fmt);
- vfinfo (config.map_file, fmt, arg);
- va_end (arg);
+ va_start (arg, fmt);
+ if (fmt[0] == '%' && fmt[1] == '!' && fmt[2] == 0)
+ {
+ /* Stash info about --as-needed shared libraries. Print
+ later so they don't appear intermingled with archive
+ library info. */
+ struct asneeded_minfo *m = xmalloc (sizeof *m);
+
+ m->next = NULL;
+ m->soname = va_arg (arg, const char *);
+ m->ref = va_arg (arg, bfd *);
+ m->name = va_arg (arg, const char *);
+ *asneeded_list_tail = m;
+ asneeded_list_tail = &m->next;
+ }
+ else
+ vfinfo (config.map_file, fmt, arg, FALSE);
+ va_end (arg);
+ }
}
void
va_list arg;
va_start (arg, fmt);
- vfinfo (file, fmt, arg);
+ vfinfo (file, fmt, arg, FALSE);
va_end (arg);
}
\f
ld_abort (const char *file, int line, const char *fn)
{
if (fn != NULL)
- einfo (_("%P: internal error: aborting at %s line %d in %s\n"),
+ einfo (_("%P: internal error: aborting at %s:%d in %s\n"),
file, line, fn);
else
- einfo (_("%P: internal error: aborting at %s line %d\n"),
+ einfo (_("%P: internal error: aborting at %s:%d\n"),
file, line);
- einfo (_("%P%F: please report this bug\n"));
+ einfo (_("%F%P: please report this bug\n"));
xexit (1);
}
-
-bfd_boolean
-error_handler (int id, const char *fmt, ...)
-{
- va_list arg;
-
- va_start (arg, fmt);
-
- switch (id)
- {
- default:
- break;
-
- /* We can be called with
-
- error_handler (-LD_DEFINITION_IN_DISCARDED_SECTION, "", 0);
-
- to make this error non-fatal and
-
- error_handler (-LD_DEFINITION_IN_DISCARDED_SECTION, "", 1);
-
- to make this error fatal. */
- case -LD_DEFINITION_IN_DISCARDED_SECTION:
- case LD_DEFINITION_IN_DISCARDED_SECTION:
- {
- static struct bfd_hash_table *hash;
- static int fatal = 1;
- const char *name;
-
- if (id == -LD_DEFINITION_IN_DISCARDED_SECTION)
- {
- fatal = va_arg (arg, int);
- goto out;
- }
-
- name = va_arg (arg, const char *);
- /* Only warn once about a particular undefined symbol. */
- if (hash == NULL)
- {
- hash = xmalloc (sizeof (struct bfd_hash_table));
- if (! bfd_hash_table_init (hash, bfd_hash_newfunc))
- einfo (_("%F%P: bfd_hash_table_init failed: %E\n"));
- }
-
- if (bfd_hash_lookup (hash, name, FALSE, FALSE) != NULL)
- goto out;
-
- if (bfd_hash_lookup (hash, name, TRUE, TRUE) == NULL)
- einfo (_("%F%P: bfd_hash_lookup failed: %E\n"));
-
- if (fatal)
- config.make_executable = FALSE;
- }
- break;
- }
- vfinfo (stderr, fmt, arg);
-
-out:
- va_end (arg);
- return TRUE;
-}