X-Git-Url: http://git.efficios.com/?a=blobdiff_plain;f=ld%2Fldmisc.c;h=b714b97105369e638f00041079f64ee3d6ff86c5;hb=5e365e474b7561318ddb1a107f05cf0c002e8284;hp=b252a31e77b753dd4b6c3c36173652009525d29c;hpb=8cb5eb316c35daaede8a2b72ae994c7b2df152d9;p=deliverable%2Fbinutils-gdb.git diff --git a/ld/ldmisc.c b/ld/ldmisc.c index b252a31e77..b714b97105 100644 --- a/ld/ldmisc.c +++ b/ld/ldmisc.c @@ -1,303 +1,696 @@ -/* Copyright (C) 1991 Free Software Foundation, Inc. +/* ldmisc.c + Copyright (C) 1991-2020 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 -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 1, or (at your option) -any later version. + 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. -GLD 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. + 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, 675 Mass Ave, Cambridge, MA 02139, USA. */ - -/* - * $Id$ - * - * $Log$ - * Revision 1.2 1991/03/22 23:02:37 steve - * Brought up to sync with Intel again. - * - * Revision 1.2 1991/03/15 18:45:55 rich - * foo - * - * Revision 1.1 1991/03/13 00:48:30 chrisb - * Initial revision - * - * Revision 1.7 1991/03/10 09:31:34 rich - * Modified Files: - * Makefile config.h ld-emul.c ld-emul.h ld-gld.c ld-gld960.c - * ld-lnk960.c ld.h lddigest.c ldexp.c ldexp.h ldfile.c ldfile.h - * ldgram.y ldinfo.h ldlang.c ldlang.h ldlex.h ldlex.l ldmain.c - * ldmain.h ldmisc.c ldmisc.h ldsym.c ldsym.h ldversion.c - * ldversion.h ldwarn.h ldwrite.c ldwrite.h y.tab.h - * - * As of this round of changes, ld now builds on all hosts of (Intel960) - * interest and copy passes my copy test on big endian hosts again. - * - * Revision 1.6 1991/03/09 03:31:01 sac - * After a fatal info message, the output file is deleted. - * - * Revision 1.5 1991/03/06 21:59:54 sac - * Made %C print function name if available - * - * Revision 1.4 1991/03/06 02:27:45 sac - * Added support for linenumber printing via %C - * - * Revision 1.3 1991/02/22 17:15:03 sac - * Added RCS keywords and copyrights - * - */ - -/* - ldmisc.c - -*/ + 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 #include "bfd.h" - +#include "bfdlink.h" +#include "libiberty.h" +#include "ctf-api.h" +#include "safe-ctype.h" +#include "filenames.h" +#include "demangle.h" +#include #include "ld.h" #include "ldmisc.h" +#include "ldexp.h" #include "ldlang.h" - -/* IMPORTS */ - -extern char *program_name; - -extern FILE *ldlex_input_stack; -extern char *ldfile_input_filename; -extern ld_config_type config; - -void -yyerror(arg) -char *arg; -{ - info("%P%F: %S %s\n",arg); -} - -extern int errno; -extern int sys_nerr; -extern char *sys_errlist[]; +#include +#include "ldlex.h" +#include "ldmain.h" +#include "ldfile.h" /* - %F error is fatal - %P print progam name - %S print script file and linenumber + %% literal % + %C clever filename:linenumber with function + %D like %C, but no function name %E current bfd error or errno - %I filename from a lang_input_statement_type - %B filename from a bfd - %T symbol table entry - %X no object output, fail return + %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 - %C Clever filename:linenumber - % + %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 info(va_alist) -va_dcl + +void +vfinfo (FILE *fp, const char *fmt, va_list ap, bfd_boolean is_warning) { - char *fmt; - boolean fatal = false; - va_list arg; - va_start(arg); - fmt = va_arg(arg, char *); - while (*fmt) { - while (*fmt != '%' && *fmt != '\0') { - fputc(*fmt, stderr); - fmt++; - } - if (*fmt == '%') { - fmt ++; - switch (*fmt++) { - case 'X': - config.make_executable = false; - break; - case 'V': - fprintf(stderr,"%08lx", va_arg(arg, bfd_vma)); - break; - case 'T': + 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 == '%') { - asymbol *symbol = va_arg(arg, asymbol *); - if (symbol) { - asection *section = symbol->section; - if ((symbol->flags & BSF_UNDEFINED) == 0) { - char *section_name = section == (asection *)NULL ? - "absolute" : section->name; - fprintf(stderr,"%s (%s)", symbol->name, section_name); + 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; } - else { - fprintf(stderr,"%s", symbol->name); + if (arg_type != Bad) + { + if (arg_no >= sizeof (args) / sizeof (args[0])) + abort (); + args[arg_no].type = arg_type; + ++arg_count; } - } - else { - fprintf(stderr,"no symbol"); - } } - break; - case 'B': - { - bfd *abfd = va_arg(arg, bfd *); - if (abfd->my_archive) { - fprintf(stderr,"%s(%s)", abfd->my_archive->filename, - abfd->filename); - } - else { - fprintf(stderr,"%s", abfd->filename); + } - } + 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 (); } - break; - case 'F': - fatal = true; - break; - case 'P': - fprintf(stderr,"%s", program_name); - break; - case 'E': - /* Replace with the most recent errno explanation */ + } + 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. */ + } - fprintf(stderr, bfd_errmsg(bfd_error)); + if (*fmt == '%') + { + fmt++; + arg_no = arg_count; + if (*fmt != '0' && ISDIGIT (*fmt) && fmt[1] == '$') + { + arg_no = *fmt - '1'; + fmt += 2; + } - break; - case 'I': - { - lang_input_statement_type *i = - va_arg(arg,lang_input_statement_type *); - - fprintf(stderr,"%s", i->local_sym_name); - } - break; - case 'S': - /* Print source script file and line number */ - - if (ldlex_input_stack) { - extern unsigned int lineno; - if (ldfile_input_filename == (char *)NULL) { - fprintf(stderr,"command line"); - } - else { - fprintf(stderr,"%s:%u", ldfile_input_filename, lineno + 1); - } - } - else { - fprintf(stderr,"command line "); - } - break; - case 'C': - { - char *filename; - char *functionname; - unsigned int linenumber; - bfd *abfd = va_arg(arg, bfd *); - asection *section = va_arg(arg, asection *); - asymbol **symbols = va_arg(arg, asymbol **); - bfd_vma offset = va_arg(arg, bfd_vma); - - if (bfd_find_nearest_line(abfd, - section, - symbols, - offset, - &filename, - &functionname, - &linenumber)) + switch (*fmt++) { - if (filename == (char *)NULL) - filename = abfd->filename; - if (functionname != (char *)NULL) - fprintf(stderr,"%s:%u: (%s)", filename, linenumber, functionname); - else if (linenumber != 0) - fprintf(stderr,"%s:%u", filename, linenumber); + 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 - fprintf(stderr,"%s", filename); - + { + 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; } - else { - fprintf(stderr,"%s", abfd->filename); - } } - break; - - case 's': - fprintf(stderr,"%s", va_arg(arg, char *)); - break; - case 'd': - fprintf(stderr,"%d", va_arg(arg, int)); - break; - default: - fprintf(stderr,"%s", va_arg(arg, char *)); - break; - } } - } - if (fatal == true) { - extern char *output_filename; - if (output_filename) - unlink(output_filename); - exit(1); - } - va_end(arg); + + 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_assert(file, line) -char *file; -unsigned int line; +void +info_msg (const char *fmt, ...) { - info("%F%P internal error %s %d\n", file,line); + va_list arg; + + va_start (arg, fmt); + vfinfo (stdout, fmt, arg, FALSE); + va_end (arg); } -/* Return a newly-allocated string - whose contents concatenate those of S1, S2, S3. */ +/* ('e' for error.) Format info message and print on stderr. */ -char * -concat (s1, s2, s3) - char *s1, *s2, *s3; +void +einfo (const char *fmt, ...) { - size_t len1 = strlen (s1); - size_t len2 = strlen (s2); - size_t len3 = strlen (s3); - char *result = ldmalloc (len1 + len2 + len3 + 1); - - if (len1 != 0) - memcpy(result, s1, len1); - if (len2 != 0) - memcpy(result+len1, s2, len2); - if (len3 != 0) - memcpy(result+len1+len2, s2, len3); - *(result + len1 + len2 + len3) = 0; - - return result; + 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. */ -char *ldmalloc (size) -size_t size; +void +minfo (const char *fmt, ...) { - char * result = malloc (size); + if (config.map_file != NULL) + { + va_list arg; - if (result == (char *)NULL && size != 0) - info("%F%P virtual memory exhausted\n"); + 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); + } +} - return result; -} +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, " "); +} -char *buystring(x) -char *x; +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) { - size_t l = strlen(x)+1; - char *r = ldmalloc(l); - memcpy(r, x,l); - return r; + 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); }