mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-15 04:31:49 +08:00
847d518374
This patch is a result of noticing messages like the following: tmpdir/tls32.o: in function `_start': (.text+0x1c): unresolvable R_PPC_REL24 relocation against symbol `__tls_get_addr_opt' ./ld-new: final link failed: symbol needs debug section which does not exist The "needs debug section" comes from attempting to use debug info to find source line information to print the first error message. That error isn't of interest to the user, and any previous bfd_error value which might be of interest is overwritten. So save and restore bfd_error around the fancy error reporting code. That still doesn't leave us with a clean bfd_error. Now we get ./ld-new: final link failed: nonrepresentable section on output An unresolvable relocation surely doesn't mean there is some bfd section that ld doesn't know how to output! Digging into that showed a _bfd_elf_section_from_bfd_section failure attempting to find an elf section correcsponding to ".interp". So don't go looking for elf sections on linker created bfd sections. And then fix the linker testsuite which expected the bogus message.. bfd/ * elflink.c (elf_fixup_link_order): Don't attempt to find an elf_section for linker created bfd sections. ld/ * ldmisc.c (vfinfo): Save and restore bfd_error around bfd function calls that might set it. * testsuite/ld-elf/indirect.exp: Don't expect "nonrepresentable section" message.
697 lines
15 KiB
C
697 lines
15 KiB
C
/* ldmisc.c
|
||
Copyright (C) 1991-2019 Free Software Foundation, Inc.
|
||
Written by Steve Chamberlain of Cygnus Support.
|
||
|
||
This file is part of the GNU Binutils.
|
||
|
||
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 3 of the License, or
|
||
(at your option) any later version.
|
||
|
||
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 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 "libiberty.h"
|
||
#include "ctf-api.h"
|
||
#include "safe-ctype.h"
|
||
#include "filenames.h"
|
||
#include "demangle.h"
|
||
#include <stdarg.h>
|
||
#include "ld.h"
|
||
#include "ldmisc.h"
|
||
#include "ldexp.h"
|
||
#include "ldlang.h"
|
||
#include <ldgram.h>
|
||
#include "ldlex.h"
|
||
#include "ldmain.h"
|
||
#include "ldfile.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
|
||
%V hex bfd_vma
|
||
%W hex bfd_vma with 0x with no leading zeros taking up 8 spaces
|
||
%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
|
||
*/
|
||
|
||
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++;
|
||
|
||
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++)
|
||
{
|
||
switch (args[arg_no].type)
|
||
{
|
||
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++)
|
||
{
|
||
case '\0':
|
||
--fmt;
|
||
/* Fall through. */
|
||
|
||
case '%':
|
||
/* literal % */
|
||
putc ('%', fp);
|
||
break;
|
||
|
||
case 'X':
|
||
/* no object output, fail return */
|
||
config.make_executable = FALSE;
|
||
break;
|
||
|
||
case 'V':
|
||
/* hex bfd_vma */
|
||
{
|
||
bfd_vma value = args[arg_no].v;
|
||
++arg_count;
|
||
fprintf_vma (fp, value);
|
||
}
|
||
break;
|
||
|
||
case 'v':
|
||
/* hex bfd_vma, no leading zeros */
|
||
{
|
||
char buf[100];
|
||
char *p = buf;
|
||
bfd_vma value = args[arg_no].v;
|
||
++arg_count;
|
||
sprintf_vma (p, value);
|
||
while (*p == '0')
|
||
p++;
|
||
if (!*p)
|
||
p--;
|
||
fputs (p, fp);
|
||
}
|
||
break;
|
||
|
||
case 'W':
|
||
/* hex bfd_vma with 0x with no leading zeroes taking up
|
||
8 spaces. */
|
||
{
|
||
char buf[100];
|
||
bfd_vma value;
|
||
char *p;
|
||
int len;
|
||
|
||
value = args[arg_no].v;
|
||
++arg_count;
|
||
sprintf_vma (buf, value);
|
||
for (p = buf; *p == '0'; ++p)
|
||
;
|
||
if (*p == '\0')
|
||
--p;
|
||
len = strlen (p);
|
||
while (len < 8)
|
||
{
|
||
putc (' ', fp);
|
||
++len;
|
||
}
|
||
fprintf (fp, "0x%s", p);
|
||
}
|
||
break;
|
||
|
||
case 'F':
|
||
/* Error is fatal. */
|
||
fatal = TRUE;
|
||
break;
|
||
|
||
case 'P':
|
||
/* Print program name. */
|
||
fprintf (fp, "%s", program_name);
|
||
break;
|
||
|
||
case 'E':
|
||
/* current bfd error or errno */
|
||
fprintf (fp, "%s", bfd_errmsg (bfd_get_error ()));
|
||
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;
|
||
static char *last_function;
|
||
bfd *abfd;
|
||
asection *section;
|
||
bfd_vma offset;
|
||
asymbol **asymbols = NULL;
|
||
const char *filename;
|
||
const char *functionname;
|
||
unsigned int linenumber;
|
||
bfd_boolean discard_last;
|
||
bfd_boolean done;
|
||
bfd_error_type last_bfd_error = bfd_get_error ();
|
||
|
||
abfd = args[arg_no].reladdr.abfd;
|
||
section = args[arg_no].reladdr.sec;
|
||
offset = args[arg_no].reladdr.off;
|
||
++arg_count;
|
||
|
||
if (abfd != NULL)
|
||
{
|
||
if (!bfd_generic_link_read_symbols (abfd))
|
||
einfo (_("%F%P: %pB: could not read symbols: %E\n"), abfd);
|
||
|
||
asymbols = bfd_get_outsymbols (abfd);
|
||
}
|
||
|
||
/* 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 (abfd != NULL
|
||
&& bfd_find_nearest_line (abfd, section, asymbols, offset,
|
||
&filename, &functionname,
|
||
&linenumber))
|
||
{
|
||
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_function == NULL
|
||
|| last_bfd != abfd
|
||
|| (last_file == NULL) != (filename == NULL)
|
||
|| (filename != NULL
|
||
&& filename_cmp (last_file, filename) != 0)
|
||
|| strcmp (last_function, functionname) != 0)
|
||
{
|
||
lfinfo (fp, _("%pB: in function `%pT':\n"),
|
||
abfd, functionname);
|
||
|
||
last_bfd = abfd;
|
||
if (last_file != NULL)
|
||
free (last_file);
|
||
last_file = NULL;
|
||
if (filename)
|
||
last_file = xstrdup (filename);
|
||
if (last_function != NULL)
|
||
free (last_function);
|
||
last_function = xstrdup (functionname);
|
||
}
|
||
discard_last = FALSE;
|
||
}
|
||
else
|
||
lfinfo (fp, "%pB:", abfd);
|
||
|
||
if (filename != NULL)
|
||
fprintf (fp, "%s:", filename);
|
||
|
||
done = fmt[-1] != 'H';
|
||
if (functionname != NULL && fmt[-1] == 'G')
|
||
lfinfo (fp, "%pT", functionname);
|
||
else if (filename != NULL && linenumber != 0)
|
||
fprintf (fp, "%u%s", linenumber, done ? "" : ":");
|
||
else
|
||
done = FALSE;
|
||
}
|
||
else
|
||
{
|
||
lfinfo (fp, "%pB:", abfd);
|
||
done = FALSE;
|
||
}
|
||
if (!done)
|
||
lfinfo (fp, "(%pA+0x%v)", section, offset);
|
||
bfd_set_error (last_bfd_error);
|
||
|
||
if (discard_last)
|
||
{
|
||
last_bfd = NULL;
|
||
if (last_file != NULL)
|
||
{
|
||
free (last_file);
|
||
last_file = NULL;
|
||
}
|
||
if (last_function != NULL)
|
||
{
|
||
free (last_function);
|
||
last_function = NULL;
|
||
}
|
||
}
|
||
}
|
||
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", (char *) args[arg_no].p);
|
||
++arg_count;
|
||
break;
|
||
|
||
case 'd':
|
||
/* integer, like printf */
|
||
fprintf (fp, "%d", args[arg_no].i);
|
||
++arg_count;
|
||
break;
|
||
|
||
case 'u':
|
||
/* unsigned integer, like printf */
|
||
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 (is_warning && config.fatal_warnings)
|
||
config.make_executable = FALSE;
|
||
|
||
if (fatal)
|
||
xexit (1);
|
||
}
|
||
|
||
/* Format info message and print on stdout. */
|
||
|
||
/* (You would think this should be called just "info", but then you
|
||
would be hosed by LynxOS, which defines that name in its libc.) */
|
||
|
||
void
|
||
info_msg (const char *fmt, ...)
|
||
{
|
||
va_list arg;
|
||
|
||
va_start (arg, fmt);
|
||
vfinfo (stdout, fmt, arg, FALSE);
|
||
va_end (arg);
|
||
}
|
||
|
||
/* ('e' for error.) Format info message and print on stderr. */
|
||
|
||
void
|
||
einfo (const char *fmt, ...)
|
||
{
|
||
va_list arg;
|
||
|
||
fflush (stdout);
|
||
va_start (arg, fmt);
|
||
vfinfo (stderr, fmt, arg, TRUE);
|
||
va_end (arg);
|
||
fflush (stderr);
|
||
}
|
||
|
||
void
|
||
info_assert (const char *file, unsigned int line)
|
||
{
|
||
einfo (_("%F%P: internal error %s %d\n"), file, line);
|
||
}
|
||
|
||
/* ('m' for map) Format info message and print on map. */
|
||
|
||
void
|
||
minfo (const char *fmt, ...)
|
||
{
|
||
if (config.map_file != NULL)
|
||
{
|
||
va_list 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
|
||
lfinfo (FILE *file, const char *fmt, ...)
|
||
{
|
||
va_list arg;
|
||
|
||
va_start (arg, fmt);
|
||
vfinfo (file, fmt, arg, FALSE);
|
||
va_end (arg);
|
||
}
|
||
|
||
/* Functions to print the link map. */
|
||
|
||
void
|
||
print_space (void)
|
||
{
|
||
fprintf (config.map_file, " ");
|
||
}
|
||
|
||
void
|
||
print_nl (void)
|
||
{
|
||
fprintf (config.map_file, "\n");
|
||
}
|
||
|
||
/* A more or less friendly abort message. In ld.h abort is defined to
|
||
call this function. */
|
||
|
||
void
|
||
ld_abort (const char *file, int line, const char *fn)
|
||
{
|
||
if (fn != NULL)
|
||
einfo (_("%P: internal error: aborting at %s:%d in %s\n"),
|
||
file, line, fn);
|
||
else
|
||
einfo (_("%P: internal error: aborting at %s:%d\n"),
|
||
file, line);
|
||
einfo (_("%F%P: please report this bug\n"));
|
||
xexit (1);
|
||
}
|