Restore readelf's warnings that describe real problems with the file being examined. Fix bug displaying empty file name tables.

binutils* dwarf.c (do_checks): New global variable.
	(display_formatted_table): Warn about an unexpected number of
	columns in the table, if checks are enabled.  Do not complain
	about the lack of data following the number of entries in the
	table if the table is empty.
	(display_debug_lines_decoded): Only warn about an unexpected
	number of columns in a table if checks are enabled.
	* dwarf.h (do_checks): Add a prototype.
	* elfcomm.c (error): Remove weak attribute.
	(warn): Likewise.
	* readelf.c (do_checks): Delete.
	(warn): Delete.
	(process_section_headers): Only warn about empty sections if
	checks are enabled.

gas	* dwarf2dbg.c (out_dir_and_file_list): Add comments describing the
	construction of a DWARF-5 directory name table.
	* testsuite/gas/elf/pr25917.d: Update expected output.
This commit is contained in:
Nick Clifton 2020-05-05 16:16:03 +01:00
parent 7d0bd48744
commit 546cb2d85e
9 changed files with 57 additions and 49 deletions

View File

@ -1,3 +1,20 @@
2020-05-05 Nick Clifton <nickc@redhat.com>
* dwarf.c (do_checks): New global variable.
(display_formatted_table): Warn about an unexpected number of
columns in the table, if checks are enabled. Do not complain
about the lack of data following the number of entries in the
table if the table is empty.
(display_debug_lines_decoded): Only warn about an unexpected
number of columns in a table if checks are enabled.
* dwarf.h (do_checks): Add a prototype.
* elfcomm.c (error): Remove weak attribute.
(warn): Likewise.
* readelf.c (do_checks): Delete.
(warn): Delete.
(process_section_headers): Only warn about empty sections if
checks are enabled.
2020-05-04 Fangrui Song <maskray@google.com>
* objcopy.c (copy_object): Allow empty section.

View File

@ -98,6 +98,7 @@ int do_debug_cu_index;
int do_wide;
int do_debug_links;
int do_follow_links;
bfd_boolean do_checks;
int dwarf_cutoff_level = -1;
unsigned long dwarf_start_die;
@ -3739,6 +3740,10 @@ display_formatted_table (unsigned char * data,
const char * table_name = is_dir ? N_("Directory Table") : N_("File Name Table");
SAFE_BYTE_GET_AND_INC (format_count, data, 1, end);
if (do_checks && format_count > 5)
warn (_("Unexpectedly large number of columns in the %s (%u)\n"),
table_name, format_count);
format_start = data;
for (formati = 0; formati < format_count; formati++)
{
@ -3752,17 +3757,18 @@ display_formatted_table (unsigned char * data,
}
READ_ULEB (data_count, data, end);
if (data == end)
{
warn (_("%s: Corrupt entry count\n"), table_name);
return data;
}
if (data_count == 0)
{
printf (_("\n The %s is empty.\n"), table_name);
return data;
}
else if (data == end)
{
warn (_("%s: Corrupt entry count - expected %s but none found\n"),
table_name, dwarf_vmatoa ("x", data_count));
return data;
}
else if (format_count == 0)
{
warn (_("%s: format count is zero, but the table is not empty\n"),
@ -4343,8 +4349,9 @@ display_debug_lines_decoded (struct dwarf_section * section,
/* Skip directories format. */
SAFE_BYTE_GET_AND_INC (format_count, data, 1, end);
if (format_count > 1)
warn ("Unexpectedly large number of columns in the directory name table (%u)\n", format_count);
if (do_checks && format_count > 1)
warn (_("Unexpectedly large number of columns in the directory name table (%u)\n"),
format_count);
format_start = data;
for (formati = 0; formati < format_count; formati++)
{
@ -4416,9 +4423,9 @@ display_debug_lines_decoded (struct dwarf_section * section,
/* Skip files format. */
SAFE_BYTE_GET_AND_INC (format_count, data, 1, end);
if (format_count > 5)
warn ("Unexpectedly large number of columns in the file name table (%u)\n", format_count);
format_count = 2;
if (do_checks && format_count > 5)
warn (_("Unexpectedly large number of columns in the file name table (%u)\n"),
format_count);
format_start = data;
for (formati = 0; formati < format_count; formati++)
{

View File

@ -221,6 +221,7 @@ extern int do_debug_cu_index;
extern int do_wide;
extern int do_debug_links;
extern int do_follow_links;
extern bfd_boolean do_checks;
extern int dwarf_cutoff_level;
extern unsigned long dwarf_start_die;

View File

@ -34,15 +34,6 @@
extern char *program_name;
/* FIXME: This definition really ought to be in ansidecl.h. */
#ifndef ATTRIBUTE_WEAK
#define ATTRIBUTE_WEAK __attribute__((weak))
#endif
/* Allow the following two functions to be overridden if desired. */
void error (const char *, ...) ATTRIBUTE_WEAK;
void warn (const char *, ...) ATTRIBUTE_WEAK;
void
error (const char *message, ...)
{

View File

@ -26,8 +26,8 @@
#include "aout/ar.h"
void error (const char *, ...) ATTRIBUTE_PRINTF_1;
void warn (const char *, ...) ATTRIBUTE_PRINTF_1;
extern void error (const char *, ...) ATTRIBUTE_PRINTF_1;
extern void warn (const char *, ...) ATTRIBUTE_PRINTF_1;
typedef unsigned HOST_WIDEST_INT elf_vma;

View File

@ -231,7 +231,6 @@ static bfd_boolean do_ctf = FALSE;
static bfd_boolean do_arch = FALSE;
static bfd_boolean do_notes = FALSE;
static bfd_boolean do_archive_index = FALSE;
static bfd_boolean do_checks = FALSE;
static bfd_boolean check_all = FALSE;
static bfd_boolean is_32bit_elf = FALSE;
static bfd_boolean decompress_dumps = FALSE;
@ -387,25 +386,6 @@ bfd_vmatoa (char *fmtch, bfd_vma value)
return ret;
}
/* A version of the warn() function that is disabled if do_checks is not active. */
void
warn (const char *message, ...)
{
va_list args;
if (!do_checks)
return;
/* Try to keep warning messages in sync with the program's normal output. */
fflush (stdout);
va_start (args, message);
fprintf (stderr, _("%s: Warning: "), program_name);
vfprintf (stderr, message, args);
va_end (args);
}
/* Retrieve NMEMB structures, each SIZE bytes long from FILEDATA starting at
OFFSET + the offset of the current archive member, if we are examining an
archive. Put the retrieved data into VAR, if it is not NULL. Otherwise
@ -6378,21 +6358,22 @@ process_section_headers (Filedata * filedata)
case SHT_REL:
CHECK_ENTSIZE (section, i, Rel);
if (section->sh_size == 0)
if (do_checks && section->sh_size == 0)
warn (_("Section '%s': zero-sized relocation section\n"), name);
break;
case SHT_RELA:
CHECK_ENTSIZE (section, i, Rela);
if (section->sh_size == 0)
if (do_checks && section->sh_size == 0)
warn (_("Section '%s': zero-sized relocation section\n"), name);
break;
case SHT_NOTE:
case SHT_PROGBITS:
if (section->sh_size == 0)
/* This is not illegal according to the ELF standard, but
it might be an indication that something is wrong. */
/* Having a zero sized section is not illegal according to the
ELF standard, but it might be an indication that something
is wrong. So issue a warning if we are running in lint mode. */
if (do_checks && section->sh_size == 0)
warn (_("Section '%s': has a size of zero - is this intended ?\n"), name);
break;

View File

@ -1,3 +1,9 @@
2020-05-05 Nick Clifton <nickc@redhat.com>
* dwarf2dbg.c (out_dir_and_file_list): Add comments describing the
construction of a DWARF-5 directory name table.
* testsuite/gas/elf/pr25917.d: Update expected output.
2020-05-05 Gunther Nikl <gnikl@justmail.de>
* config/tc-rx.c (elf_flags): Initialize for non-linux targets.

View File

@ -1983,11 +1983,16 @@ out_dir_and_file_list (void)
/* Output the Directory Table. */
if (DWARF2_LINE_VERSION >= 5)
{
/* We only have one column in the directory table. */
out_byte (1);
/* Describe the purpose and format of the column. */
out_uleb128 (DW_LNCT_path);
/* FIXME: it would be better to store these strings in
the .debug_line_str section and reference them here. */
out_uleb128 (DW_FORM_string);
/* Now state how many rows there are in the table. */
out_uleb128 (dirs_in_use);
}

View File

@ -1,9 +1,9 @@
#as: --gdwarf-5
#name: DWARF5: no files or directories
#name: DWARF5: no files or directories (PR 25917)
#readelf: -wl
#...
The Directory Table is empty.
No Line Number Statements.
The File Name Table is empty.
#pass