From: Tom Tromey Date: Sat, 29 Dec 2018 17:46:07 +0000 (-0700) Subject: Fix crash in "finish" X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f097f5ad808bd535236a65077f40e9d082a4ec0b;p=binutils-gdb.git Fix crash in "finish" PR gdb/28155 notes a crash in "finish" that occurs with a particular source file compiled by clang. The bug is the typical gdb problem of a missing call to check_typedef. clang emits a function whose return type is a typedef to void. get_return_value asserts that the return type is not void, but the callers were not using check_typedef first. gdb/ChangeLog 2019-01-06 Tom Tromey PR gdb/28155: * python/py-finishbreakpoint.c (bpfinishpy_init): Use check_typedef. * infcmd.c (finish_command_fsm_should_stop): Use check_typedef. (print_return_value): Likewise. gdb/testsuite/ChangeLog 2019-01-06 Tom Tromey PR gdb/28155: * gdb.dwarf2/typedef-void-finish.exp: New file. --- diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 4b60367ffb0..45490e9f1de 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,11 @@ +2019-01-06 Tom Tromey + + PR gdb/28155: + * python/py-finishbreakpoint.c (bpfinishpy_init): Use + check_typedef. + * infcmd.c (finish_command_fsm_should_stop): Use check_typedef. + (print_return_value): Likewise. + 2019-01-05 Tom Tromey * contrib/cleanup_check.py: Remove. diff --git a/gdb/infcmd.c b/gdb/infcmd.c index 182960ab998..3c3add89ab8 100644 --- a/gdb/infcmd.c +++ b/gdb/infcmd.c @@ -1706,7 +1706,8 @@ print_return_value_1 (struct ui_out *uiout, struct return_value_info *rv) void print_return_value (struct ui_out *uiout, struct return_value_info *rv) { - if (rv->type == NULL || TYPE_CODE (rv->type) == TYPE_CODE_VOID) + if (rv->type == NULL + || TYPE_CODE (check_typedef (rv->type)) == TYPE_CODE_VOID) return; TRY @@ -1800,7 +1801,7 @@ finish_command_fsm_should_stop (struct thread_fsm *self, internal_error (__FILE__, __LINE__, _("finish_command: function has no target type")); - if (TYPE_CODE (rv->type) != TYPE_CODE_VOID) + if (TYPE_CODE (check_typedef (rv->type)) != TYPE_CODE_VOID) { struct value *func; diff --git a/gdb/python/py-finishbreakpoint.c b/gdb/python/py-finishbreakpoint.c index bc225823f56..6ad79cddb65 100644 --- a/gdb/python/py-finishbreakpoint.c +++ b/gdb/python/py-finishbreakpoint.c @@ -253,7 +253,7 @@ bpfinishpy_init (PyObject *self, PyObject *args, PyObject *kwargs) if (function != NULL) { struct type *ret_type = - TYPE_TARGET_TYPE (SYMBOL_TYPE (function)); + check_typedef (TYPE_TARGET_TYPE (SYMBOL_TYPE (function))); /* Remember only non-void return types. */ if (TYPE_CODE (ret_type) != TYPE_CODE_VOID) diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index 7c5ee11c6c8..3f7d72cd242 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-01-06 Tom Tromey + + PR gdb/28155: + * gdb.dwarf2/typedef-void-finish.exp: New file. + 2018-12-28 Tom Tromey Simon Marchi diff --git a/gdb/testsuite/gdb.dwarf2/typedef-void-finish.exp b/gdb/testsuite/gdb.dwarf2/typedef-void-finish.exp new file mode 100644 index 00000000000..633409db51c --- /dev/null +++ b/gdb/testsuite/gdb.dwarf2/typedef-void-finish.exp @@ -0,0 +1,102 @@ +# Copyright 2019 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 . + +# PR gdb/21855 concerns a crash in "finish" where the function's +# return type is a typedef of void. + +load_lib dwarf.exp +load_lib gdb-python.exp + +# This test can only be run on targets which support DWARF-2 and use gas. +if {![dwarf2_support]} { + return 0 +} + +standard_testfile void-type.c typedef-void-finish.S + +# Make some DWARF for the test. +set asm_file [standard_output_file $srcfile2] +Dwarf::assemble $asm_file { + global srcdir subdir srcfile + + set func_result [function_range func ${srcdir}/${subdir}/${srcfile}] + set func_start [lindex $func_result 0] + set func_length [lindex $func_result 1] + + set main_result [function_range main ${srcdir}/${subdir}/${srcfile}] + set main_start [lindex $main_result 0] + set main_length [lindex $main_result 1] + + cu {} { + DW_TAG_compile_unit { + {DW_AT_producer "GNU C 8.1"} + {DW_AT_language @DW_LANG_C} + {DW_AT_name void-type.c} + {DW_AT_comp_dir /tmp} + } { + declare_labels main_type void_typedef + + main_type: DW_TAG_base_type { + {DW_AT_byte_size 4 DW_FORM_sdata} + {DW_AT_encoding @DW_ATE_signed} + } + + void_typedef: DW_TAG_typedef { + {name foo} + } + + DW_TAG_subprogram { + {name func} + {low_pc $func_start addr} + {high_pc "$func_start + $func_length" addr} + {type :$void_typedef} + } + DW_TAG_subprogram { + {name main} + {low_pc $main_start addr} + {high_pc "$main_start + $main_length" addr} + {type :$main_type} + } + } + } +} + +if { [prepare_for_testing "failed to prepare" ${testfile} \ + [list $srcfile $asm_file] {nodebug}] } { + return -1 +} + +if {![runto_main]} { + return -1 +} + +gdb_test "break func" "Breakpoint .*" \ + "set breakpoint in func" +gdb_continue_to_breakpoint "continue to func" + +set skip_python [skip_python_tests] +if {!$skip_python} { + gdb_test "python finishbp = gdb.FinishBreakpoint()" \ + "Temporary breakpoint.*" "set FinishBreakpoint" +} + +gdb_test "finish" [multi_line \ + "Run till exit from #0 $hex in func \\\(\\\)" \ + ".*$hex in main \\\(\\\)"] + +if {!$skip_python} { + gdb_test "python print (finishbp.return_value)" "None" \ + "check that return_value is None" +}