aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Burgess <andrew.burgess@embecosm.com>2021-03-17 16:48:25 +0000
committerAndrew Burgess <andrew.burgess@embecosm.com>2021-03-22 14:34:53 +0000
commit702cf3f5df18818eb62da7ffbd70544fa98da3c7 (patch)
tree6bfe50fd3c8410defe99271d207617e94f727cff
parent46fec6428ef7504be486ebd57e2509bde4382918 (diff)
downloadgdb-702cf3f5df18818eb62da7ffbd70544fa98da3c7.zip
gdb-702cf3f5df18818eb62da7ffbd70544fa98da3c7.tar.gz
gdb-702cf3f5df18818eb62da7ffbd70544fa98da3c7.tar.bz2
gdb: handle invalid DWARF when compilation unit is missing
Replace an abort call in process_psymtab_comp_unit with a real error, and add a test to cover this case. The case is question is when badly formed DWARF is missing a DW_TAG_compile_unit, DW_TAG_partial_unit, or DW_TAG_type_unit as its top level tag. I then tested with --target_board=readnow and added additional code to also validate the top-level tag in this case. I added an assert that would trigger for the readnow case before I added the fix. I suspect there's lots of places where badly formed DWARF could result in the builder being nullptr when it shouldn't be, but I only added this one assert, as this is the one that would have helped me in this case. gdb/ChangeLog: * dwarf2/read.c (process_psymtab_comp_unit): Replace abort with an error. (process_full_comp_unit): Validate the top-level tag before processing the first DIE. (read_func_scope): Ensure we have a valid builder. gdb/testsuite/ChangeLog: * gdb.dwarf2/dw2-missing-cu-tag.c: New file. * gdb.dwarf2/dw2-missing-cu-tag.exp: New file.
-rw-r--r--gdb/ChangeLog8
-rw-r--r--gdb/dwarf2/read.c21
-rw-r--r--gdb/testsuite/ChangeLog5
-rw-r--r--gdb/testsuite/gdb.dwarf2/dw2-missing-cu-tag.c25
-rw-r--r--gdb/testsuite/gdb.dwarf2/dw2-missing-cu-tag.exp76
5 files changed, 134 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index f3e7f3f..1e07654 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,5 +1,13 @@
2021-03-22 Andrew Burgess <andrew.burgess@embecosm.com>
+ * dwarf2/read.c (process_psymtab_comp_unit): Replace abort with an
+ error.
+ (process_full_comp_unit): Validate the top-level tag before
+ processing the first DIE.
+ (read_func_scope): Ensure we have a valid builder.
+
+2021-03-22 Andrew Burgess <andrew.burgess@embecosm.com>
+
* objc-lang.c (objc_demangle): Renamed to
objc_language::demangle_symbol, and moved later in the file.
(objc_language::sniff_from_mangled_name): Call demangle_symbol
diff --git a/gdb/dwarf2/read.c b/gdb/dwarf2/read.c
index acbc5fa..2bfb13d 100644
--- a/gdb/dwarf2/read.c
+++ b/gdb/dwarf2/read.c
@@ -7737,7 +7737,10 @@ process_psymtab_comp_unit (dwarf2_per_cu_data *this_cu,
this_cu->unit_type = DW_UT_type;
break;
default:
- abort ();
+ error (_("Dwarf Error: unexpected tag '%s' at offset %s [in module %s]"),
+ dwarf_tag_name (reader.comp_unit_die->tag),
+ sect_offset_str (reader.cu->per_cu->sect_off),
+ objfile_name (per_objfile->objfile));
}
if (reader.dummy_p)
@@ -9994,6 +9997,21 @@ process_full_comp_unit (dwarf2_cu *cu, enum language pretend_language)
dwarf2_find_base_address (cu->dies, cu);
+ /* Before we start reading the top-level DIE, ensure it has a valid tag
+ type. */
+ switch (cu->dies->tag)
+ {
+ case DW_TAG_compile_unit:
+ case DW_TAG_partial_unit:
+ case DW_TAG_type_unit:
+ break;
+ default:
+ error (_("Dwarf Error: unexpected tag '%s' at offset %s [in module %s]"),
+ dwarf_tag_name (cu->dies->tag),
+ sect_offset_str (cu->per_cu->sect_off),
+ objfile_name (per_objfile->objfile));
+ }
+
/* Do line number decoding in read_file_scope () */
process_die (cu->dies, cu);
@@ -13628,6 +13646,7 @@ read_func_scope (struct die_info *die, struct dwarf2_cu *cu)
}
}
+ gdb_assert (cu->get_builder () != nullptr);
newobj = cu->get_builder ()->push_context (0, lowpc);
newobj->name = new_symbol (die, read_type_die (die, cu), cu,
(struct symbol *) templ_func);
diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog
index cb5dc81..848e089 100644
--- a/gdb/testsuite/ChangeLog
+++ b/gdb/testsuite/ChangeLog
@@ -1,5 +1,10 @@
2021-03-22 Andrew Burgess <andrew.burgess@embecosm.com>
+ * gdb.dwarf2/dw2-missing-cu-tag.c: New file.
+ * gdb.dwarf2/dw2-missing-cu-tag.exp: New file.
+
+2021-03-22 Andrew Burgess <andrew.burgess@embecosm.com>
+
* gdb.dwarf2/dw2-using-debug-str.c: New file.
* gdb.dwarf2/dw2-using-debug-str.exp: New file.
* lib/dwarf.exp (Dwarf::DW_FORM_strp): Create .debug_str section,
diff --git a/gdb/testsuite/gdb.dwarf2/dw2-missing-cu-tag.c b/gdb/testsuite/gdb.dwarf2/dw2-missing-cu-tag.c
new file mode 100644
index 0000000..a361f59
--- /dev/null
+++ b/gdb/testsuite/gdb.dwarf2/dw2-missing-cu-tag.c
@@ -0,0 +1,25 @@
+/* This testcase is part of GDB, the GNU debugger.
+
+ Copyright 2021 Free Software Foundation, Inc.
+
+ 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, see
+ <http://www.gnu.org/licenses/>. */
+
+int
+main (int argc, char **argv)
+{
+ asm ("main_label: .globl main_label");
+
+ return 0;
+}
diff --git a/gdb/testsuite/gdb.dwarf2/dw2-missing-cu-tag.exp b/gdb/testsuite/gdb.dwarf2/dw2-missing-cu-tag.exp
new file mode 100644
index 0000000..8a11d1d
--- /dev/null
+++ b/gdb/testsuite/gdb.dwarf2/dw2-missing-cu-tag.exp
@@ -0,0 +1,76 @@
+# Copyright 2021 Free Software Foundation, Inc.
+
+# 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, see <http://www.gnu.org/licenses/>.
+
+# This test creates some invalid DWARF, compiles this into an
+# executable, then tries to load the executable using the 'file'
+# command. We expect to see an error from the DWARF parser.
+
+load_lib dwarf.exp
+
+# This test can only be run on targets which support DWARF-2 and use
+# gas.
+if {![dwarf2_support]} {
+ return 0
+}
+
+standard_testfile .c -dw.S
+
+set asm_file [standard_output_file $srcfile2]
+Dwarf::assemble $asm_file {
+ cu {} {
+ # We should have either one of DW_TAG_compile_unit,
+ # DW_TAG_partial_unit, or DW_TAG_type_unit here.
+ subprogram {
+ {external 1 flag}
+ {MACRO_AT_func {main}}
+ }
+ }
+}
+
+# Don't use prepare_for_testing here as we want to manually run the
+# file command (so we can check its output).
+if {[build_executable "failed to build executable" $testfile \
+ [list $srcfile $asm_file] {nodebug quiet}]} {
+ return -1
+}
+
+# Restart with no executable.
+clean_restart
+
+# This pattern is hit when GDB does not use -readnow (i.e. the default
+# behaviour).
+set pattern1 \
+ [multi_line \
+ "Reading symbols from \[^\r\n\]+" \
+ "Dwarf Error: unexpected tag 'DW_TAG_subprogram' at offset $hex \\\[\[^\r\n\]+\\\]" \
+ "\\(No debugging symbols \[^\r\n\]+\\)"]
+
+# This pattern is hit when GDB does use -readnow (e.g. running with
+# --target_board=readnow).
+set pattern2 \
+ [multi_line \
+ "Reading symbols from \[^\r\n\]+" \
+ "Expanding full symbols from \[^\r\n\]+" \
+ "Dwarf Error: unexpected tag 'DW_TAG_subprogram' at offset $hex \\\[\[^\r\n\]+\\\]"]
+
+# Load the executable, we expect an error from the DWARF parser.
+gdb_test_multiple "file $binfile" "file $testfile" {
+ -wrap -re $pattern1 {
+ pass $gdb_test_name
+ }
+ -re -wrap "$pattern2" {
+ pass $gdb_test_name
+ }
+}