From patchwork Thu Oct 11 14:49:05 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Alan Hayward X-Patchwork-Id: 29707 Received: (qmail 60908 invoked by alias); 11 Oct 2018 14:49:25 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Delivered-To: mailing list gdb-patches@sourceware.org Received: (qmail 60764 invoked by uid 89); 11 Oct 2018 14:49:24 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-26.9 required=5.0 tests=BAYES_00, GIT_PATCH_0, GIT_PATCH_1, GIT_PATCH_2, GIT_PATCH_3, KAM_SHORT, RCVD_IN_DNSWL_NONE, SPF_HELO_PASS, SPF_PASS autolearn=ham version=3.3.2 spammy=casted X-HELO: EUR03-VE1-obe.outbound.protection.outlook.com Received: from mail-eopbgr50071.outbound.protection.outlook.com (HELO EUR03-VE1-obe.outbound.protection.outlook.com) (40.107.5.71) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 11 Oct 2018 14:49:20 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector1-arm-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=YiAA0wr2wGHaZ/tCT8mR0dp5OZgMeR3aGO8QU/fWWuA=; b=cH8OKLr6qIop1INWCfsaOvHQNDaowEQ9RTtzRiWuyc4n5fEKhyxYNG03N/xeElN0wWxv+PxyunKCXYvH3q11IxYBhWR1FmoMeaQjJtJlb3UXxG2ruvR5GaQ2E8+V7gbl9doEJl88onAxGALqRk3EiFgdVp9j031N0mOgbGddFrI= Authentication-Results: spf=none (sender IP is ) smtp.mailfrom=Alan.Hayward@arm.com; Received: from C02TF0U7HF1T.manchester.arm.com (217.140.106.32) by DB6PR0802MB2133.eurprd08.prod.outlook.com (2603:10a6:4:83::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1228.24; Thu, 11 Oct 2018 14:49:10 +0000 From: Alan Hayward To: gdb-patches@sourceware.org Cc: nd@arm.com, Alan Hayward Subject: [PATCH v3 3/3] Aarch64: Fix segfault when casting dummy calls Date: Thu, 11 Oct 2018 15:49:05 +0100 Message-Id: <20181011144905.66908-4-alan.hayward@arm.com> In-Reply-To: <20181011144905.66908-1-alan.hayward@arm.com> References: <20181011144905.66908-1-alan.hayward@arm.com> MIME-Version: 1.0 Return-Path: alan.hayward@arm.com Received-SPF: None (protection.outlook.com: arm.com does not designate permitted sender hosts) X-IsSubscribed: yes Prevent the following causing a segfault on aarch64: (gdb) b foo if (int)strcmp(name,"abc") == 0 (gdb) run This is because to aarch64_push_dummy_call determines the return type of the function and then does not check for null pointer. A null pointer for the return type means the call has no debug information. For the code to get here, then either there has been an error or the call has been cast - but we do not have this information available. In addition, aarch64_push_dummy_call does not check if the function is an IFUNC. However, aarch64_push_dummy_call only requires the return value in order to calculate lang_struct_return. This information is available in the return_method enum. The fix is to simply use this instead. Add common test case using a shared library to ensure FUNC resolving. gdb/ChangeLog: 2018-10-11 Alan Hayward PR gdb/22736: * aarch64-tdep.c (aarch64_push_dummy_call): Remove lang_struct_return code. gdb/testsuite/ChangeLog: 2018-10-11 Alan Hayward PR gdb/22736: * gdb.base/condbreak-solib-lib.cc: New test. * gdb.base/condbreak-solib-main.cc: New test. * gdb.base/condbreak-solib.exp: New file. --- gdb/aarch64-tdep.c | 30 +--- gdb/testsuite/gdb.base/condbreak-solib-lib.cc | 22 +++ .../gdb.base/condbreak-solib-main.cc | 39 +++++ gdb/testsuite/gdb.base/condbreak-solib.exp | 136 ++++++++++++++++++ 4 files changed, 200 insertions(+), 27 deletions(-) create mode 100644 gdb/testsuite/gdb.base/condbreak-solib-lib.cc create mode 100644 gdb/testsuite/gdb.base/condbreak-solib-main.cc create mode 100644 gdb/testsuite/gdb.base/condbreak-solib.exp diff --git a/gdb/aarch64-tdep.c b/gdb/aarch64-tdep.c index 63771dc21d..e541e45f61 100644 --- a/gdb/aarch64-tdep.c +++ b/gdb/aarch64-tdep.c @@ -1519,9 +1519,6 @@ aarch64_push_dummy_call (struct gdbarch *gdbarch, struct value *function, { int argnum; struct aarch64_call_info info; - struct type *func_type; - struct type *return_type; - int lang_struct_return; memset (&info, 0, sizeof (info)); @@ -1543,35 +1540,14 @@ aarch64_push_dummy_call (struct gdbarch *gdbarch, struct value *function, If the language code decides to pass in memory we want to move the pointer inserted as the initial argument from the argument list and into X8, the conventional AArch64 struct return pointer - register. - - This is slightly awkward, ideally the flag "lang_struct_return" - would be passed to the targets implementation of push_dummy_call. - Rather that change the target interface we call the language code - directly ourselves. */ - - func_type = check_typedef (value_type (function)); - - /* Dereference function pointer types. */ - if (TYPE_CODE (func_type) == TYPE_CODE_PTR) - func_type = TYPE_TARGET_TYPE (func_type); - - gdb_assert (TYPE_CODE (func_type) == TYPE_CODE_FUNC - || TYPE_CODE (func_type) == TYPE_CODE_METHOD); - - /* If language_pass_by_reference () returned true we will have been - given an additional initial argument, a hidden pointer to the - return slot in memory. */ - return_type = TYPE_TARGET_TYPE (func_type); - lang_struct_return = language_pass_by_reference (return_type); + register. */ /* Set the return address. For the AArch64, the return breakpoint is always at BP_ADDR. */ regcache_cooked_write_unsigned (regcache, AARCH64_LR_REGNUM, bp_addr); - /* If we were given an initial argument for the return slot because - lang_struct_return was true, lose it. */ - if (lang_struct_return) + /* If we were given an initial argument for the return slot, lose it. */ + if (return_method == return_method_hidden_param) { args++; nargs--; diff --git a/gdb/testsuite/gdb.base/condbreak-solib-lib.cc b/gdb/testsuite/gdb.base/condbreak-solib-lib.cc new file mode 100644 index 0000000000..96dfe2182e --- /dev/null +++ b/gdb/testsuite/gdb.base/condbreak-solib-lib.cc @@ -0,0 +1,22 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2018 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 . */ + +int +cmp3 (char *name) +{ + return name[0] == '3'; +} diff --git a/gdb/testsuite/gdb.base/condbreak-solib-main.cc b/gdb/testsuite/gdb.base/condbreak-solib-main.cc new file mode 100644 index 0000000000..10f2e4d474 --- /dev/null +++ b/gdb/testsuite/gdb.base/condbreak-solib-main.cc @@ -0,0 +1,39 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2018 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 . */ + +extern int cmp3 (char *name); + +const char *word = "stuff"; + +int +foo () +{ + return 1; +} + +int +bar () +{ + return 1; +} + +int +main (void) +{ + foo (); + bar (); +} diff --git a/gdb/testsuite/gdb.base/condbreak-solib.exp b/gdb/testsuite/gdb.base/condbreak-solib.exp new file mode 100644 index 0000000000..38169ff81a --- /dev/null +++ b/gdb/testsuite/gdb.base/condbreak-solib.exp @@ -0,0 +1,136 @@ +# This testcase is part of GDB, the GNU debugger. +# Copyright 2018 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 . + +# Test conditional breakpoints on functions in shared libraries. +# See gdb/22736 + +if { [skip_cplus_tests] || [skip_shlib_tests] } { + return 0 +} + +global target_size +set target_size TARGET_UNKNOWN +if {[is_lp64_target]} { + set target_size TARGET_LP64 +} elseif {[is_ilp32_target]} { + set target_size TARGET_ILP32 +} else { + return 0 +} + +set main_basename condbreak-solib-main +set lib_basename condbreak-solib-lib +standard_testfile $main_basename.cc $lib_basename.cc + +if [get_compiler_info "c++"] { + return -1 +} + +set libsrc "${srcdir}/${subdir}/${srcfile2}" + + +# Run to main. Set breakpoint at bar. Set conditional breakpoint CBREAK. +# Continue running. Test that program stops at function STOP, prefixed +# with the text PREFIX. + +proc break_and_run { cbreak stop prefix} { + + if ![runto_main] then { + fail "can't run to main" + return + } + + with_test_prefix $cbreak { + gdb_test "b bar" "Breakpoint .*" + gdb_test "b $cbreak" "Breakpoint .*" + gdb_test "c" ".*${prefix}.*Breakpoint .* $stop .*" + } +} + +# Compile binary linked against shared library containing cmp3, using TYPE +# to build the library as either DEBUG or NODEBUG. Then test conditional +# breakpoints that make a call into the library. + +proc cond_break_test { type } { + + global srcdir subdir srcfile srcfile2 binfile testfile + global target_size main_basename lib_basename libsrc + + switch -regexp -- $type { + "^debug" { + set dir "debug" + set debug_flags "debug" + } + "^nodebug" { + set dir "nodebug" + set debug_flags "" + } + } + + remote_exec build "rm -rf [standard_output_file ${dir}]" + remote_exec build "mkdir [standard_output_file ${dir}]" + + set lib_so [standard_output_file ${dir}/${lib_basename}.so] + set lib_syms [shlib_symbol_file ${dir}/${lib_so}] + set binfile [standard_output_file ${dir}/${testfile}] + + # Compile a shared library containing cmp3. + + set lib_flags "c++ ldflags=-Wl,-Bsymbolic $debug_flags" + + if {[gdb_compile_shlib $libsrc $lib_so ${lib_flags}] != ""} { + untested "failed to compile shared library" + return -1 + } + + # Compile the main test linked against the shared library. + + set bin_flags "debug shlib=${lib_so}" + + if { [gdb_compile $srcdir/$subdir/${srcfile} ${binfile} executable ${bin_flags}] != "" } { + untested "failed to compile" + return -1 + } + + clean_restart $binfile + + with_test_prefix $type { + + # Conditional break with casted function call that fails the condition. + break_and_run "foo if (int)cmp3(\"abc\") == 1" "bar" "Continuing.\r\n\r\n" + + # Conditional break with casted function call that passes the condition. + break_and_run "foo if (int)cmp3(\"345\") == 1" "foo" "Continuing.\r\n\r\n" + + # Conditional break with function call (no cast). + switch -regexp -- $type { + "^debug" { + #Same results as conditional break with casted function. + break_and_run "foo if cmp3(\"abc\") == 1" "bar" "Continuing.\r\n\r\n" + break_and_run "foo if cmp3(\"345\") == 1" "foo" "Continuing.\r\n\r\n" + } + "^nodebug" { + #Call will error due to lack of debug information, causing the condition to pass. + break_and_run "foo if cmp3(\"abc\") == 1" "foo" "Continuing.\r\nError in testing breakpoint condition" + break_and_run "foo if cmp3(\"345\") == 1" "foo" "Continuing.\r\nError in testing breakpoint condition" + } + } + } +} + +cond_break_test debug +cond_break_test nodebug +