From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mga02.intel.com (mga02.intel.com [134.134.136.20]) by sourceware.org (Postfix) with ESMTPS id BDEE63858D35 for ; Wed, 26 Jul 2023 12:29:36 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org BDEE63858D35 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=intel.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=intel.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1690374576; x=1721910576; h=from:to:subject:date:message-id:mime-version: content-transfer-encoding; bh=fkhTusMmOBqnvlOJ9dT7tcNNhWTQhcvdPwprIE1mlSE=; b=Z1CqRun/oN+U5gjZIX39++QyWE1lnWAH9GN8jeO/HNcOOyjceTyRE9zK mPHolFeBlY/IqMic5eaDsCOo9H0pR4tkrJmpKvX9ravLqUj3R8pJ8bfFY 5yxJnWY2fCcDA7mGYlEnSvMz5enJqwkf89jujl6ViqLz5pZmjvVuHtKtm WOh1iSBfpWbpRKJlC9SnbjSapRdSZDStu0jifzYDT/rC+NErdkC97nVX9 uuC66+SxHWACmc2y4kzxwCvkmlAXh10cPDtfEEFkVPckJFJf2fYDuqA4z RNiyQ/krZWXwoJmRTkgRg9vCDpRWftzINdwk8edVTMm7u6o1PMSfUbG9I w==; X-IronPort-AV: E=McAfee;i="6600,9927,10783"; a="358002644" X-IronPort-AV: E=Sophos;i="6.01,232,1684825200"; d="scan'208";a="358002644" Received: from fmsmga006.fm.intel.com ([10.253.24.20]) by orsmga101.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 26 Jul 2023 05:29:34 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=McAfee;i="6600,9927,10783"; a="973099582" X-IronPort-AV: E=Sophos;i="6.01,232,1684825200"; d="scan'208";a="973099582" Received: from dut1363dg2frd.igk.intel.com (HELO localhost) ([10.102.47.125]) by fmsmga006-auth.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 26 Jul 2023 05:29:33 -0700 From: Matti Puputti To: gdb-patches@sourceware.org, aburgess@redhat.com Subject: [PATCH v6 1/1] gdb, infcmd: Support jump command in multi-inferior case. Date: Wed, 26 Jul 2023 12:29:15 +0000 Message-Id: <20230726122915.212016-1-matti.puputti@intel.com> X-Mailer: git-send-email 2.25.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-10.3 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_NONE,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: From: "Puputti, Matti" Fixes the issue where jump failed if multiple inferiors run the same source. See the below example $ gdb -q ./simple Reading symbols from ./simple... (gdb) break 2 Breakpoint 1 at 0x114e: file simple.c, line 2. (gdb) run Starting program: /temp/simple Breakpoint 1, main () at simple.c:2 2 int a = 42; (gdb) add-inferior [New inferior 2] Added inferior 2 on connection 1 (native) (gdb) inferior 2 [Switching to inferior 2 [] ()] (gdb) info inferiors Num Description Connection Executable 1 process 6250 1 (native) /temp/simple * 2 1 (native) (gdb) file ./simple Reading symbols from ./simple... (gdb) run Starting program: /temp/simple Thread 2.1 "simple" hit Breakpoint 1, main () at simple.c:2 2 int a = 42; (gdb) info inferiors Num Description Connection Executable 1 process 6250 1 (native) /temp/simple * 2 process 6705 1 (native) /temp/simple (gdb) jump 3 Unreasonable jump request (gdb) In this example, jump fails because the debugger finds two different locations, one for each inferior. Solution is to limit the search to the current program space. --- gdb/infcmd.c | 2 +- gdb/linespec.c | 3 +- gdb/testsuite/gdb.base/jump.exp | 180 +++++++++++++++++--------------- 3 files changed, 98 insertions(+), 87 deletions(-) diff --git a/gdb/infcmd.c b/gdb/infcmd.c index 15702f84894..96c5feafb1a 100644 --- a/gdb/infcmd.c +++ b/gdb/infcmd.c @@ -1068,7 +1068,7 @@ jump_command (const char *arg, int from_tty) error_no_arg (_("starting address")); std::vector sals - = decode_line_with_last_displayed (arg, DECODE_LINE_FUNFIRSTLINE); + = decode_line_with_current_source (arg, DECODE_LINE_FUNFIRSTLINE); if (sals.size () != 1) { /* If multiple sal-objects were found, try dropping those that aren't diff --git a/gdb/linespec.c b/gdb/linespec.c index 7d969f37fbf..afa9eb4d3ac 100644 --- a/gdb/linespec.c +++ b/gdb/linespec.c @@ -3220,7 +3220,8 @@ decode_line_with_current_source (const char *string, int flags) location_spec_up locspec = string_to_location_spec (&string, current_language); std::vector sals - = decode_line_1 (locspec.get (), flags, NULL, cursal.symtab, cursal.line); + = decode_line_1 (locspec.get (), flags, cursal.pspace, cursal.symtab, + cursal.line); if (*string) error (_("Junk at end of line specification: %s"), string); diff --git a/gdb/testsuite/gdb.base/jump.exp b/gdb/testsuite/gdb.base/jump.exp index 032c4a6279d..77765db15ef 100644 --- a/gdb/testsuite/gdb.base/jump.exp +++ b/gdb/testsuite/gdb.base/jump.exp @@ -18,99 +18,109 @@ clear_xfail "*-*-*" standard_testfile .c -# Build the test case -if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug nowarnings}] != "" } { - untested "failed to compile" - return -1 - } +if {[prepare_for_testing "failed to prepare" $testfile $srcfile]} { + return -1 +} -# Start with a fresh gdb +proc do_tests {} { + global decimal srcfile + + # Set a breakpoint on the statement that we're about to jump to. + # The statement doesn't contain a function call. + set non_call_line [gdb_get_line_number "bp-on-non-call"] + gdb_breakpoint "$non_call_line" + set bp_on_non_call \ + [get_integer_valueof "\$bpnum" "INVALID" "bp_on_non_call"] + + # Can we jump to the statement? Do we stop there? + gdb_test "jump $non_call_line" \ + "Breakpoint ${bp_on_non_call}(\.${decimal})?, .*${srcfile}:$non_call_line.*" \ + "jump to non-call" + + # Set a breakpoint on the statement that we're about to jump to. + # The statement does contain a function call. + set call_line [gdb_get_line_number "bp-on-call"] + gdb_breakpoint "$call_line" + set bp_on_call [get_integer_valueof "\$bpnum" "INVALID" "bp_on_call"] + + # Can we jump to the statement? Do we stop there? + gdb_test "jump $call_line" \ + "Breakpoint ${bp_on_call}(\.${decimal})?, .*${srcfile}:$call_line.*" \ + "jump to call" + + # If we disable the breakpoint at the function call, and then + # if we jump to that statement, do we not stop there, but at + # the following breakpoint? + gdb_test_no_output "disable $bp_on_call" "disable breakpoint on call" + + gdb_test "jump $call_line" \ + "Breakpoint ${bp_on_non_call}(\.${decimal})?, .*${srcfile}:$non_call_line.*" \ + "jump to call with disabled breakpoint" + + # Disable the breakpoint at the non-function call, so it won't hit + # if do_test is called again. + gdb_test_no_output "disable ${bp_on_non_call}" "disable bp_on_non_call" + + # Verify that GDB responds gracefully to the "jump" command without + # an argument. + gdb_test "jump" "Argument required .starting address.*" \ + "jump without argument disallowed" + + # Verify that GDB responds gracefully to the "jump" command with + # trailing junk. + gdb_test "jump $call_line 100" \ + "malformed linespec error: unexpected number, \"100\"" \ + "jump with trailing argument junk" + + # Verify that GDB responds gracefully to a request to jump out of + # the current function. (Note that this will very likely cause the + # inferior to die. Be prepared to rerun the inferior, if further + # testing is desired.) + # Try it both ways: confirming and not confirming the jump. + set out_line [gdb_get_line_number "out-of-func"] + gdb_test "jump $out_line" \ + "Not confirmed.*" \ + "aborted jump out of current function" \ + "Line $out_line is not in `main'. Jump anyway.*y or n. $" \ + "n" + + gdb_test "jump $out_line" \ + "Continuing at.*" \ + "jump out of current function" \ + "Line $out_line is not in `main'. Jump anyway.*y or n. $" \ + "y" +} -clean_restart ${binfile} -if {![runto_main]} { - return -1 +set num_inferiors 1 +if {![use_gdb_stub]} { + set num_inferiors 2 } -# Set a breakpoint on the statement that we're about to jump to. -# The statement doesn't contain a function call. -# -set bp_on_non_call 0 -set non_call_line [gdb_get_line_number "bp-on-non-call"] -gdb_test_multiple "break $non_call_line" "break before jump to non-call" { - -re "\[Bb\]reakpoint (${decimal}) at ${hex}: file .*${srcfile}, line $non_call_line.*$gdb_prompt $" { - set bp_on_non_call $expect_out(1,string) - pass "break before jump to non-call" +# Run to main, add inferiors if needed. +if {![runto_main]} { + return -1 +} +for {set inf 2} {$inf <= $num_inferiors} {incr inf} { + # Start a new inferior, and run it with the same executable. + gdb_test "add-inferior -exec ${binfile}" \ + "Added inferior ${inf}.*" \ + "add inferior ${inf} with -exec " + gdb_test "inferior ${inf}" \ + "Switching to inferior ${inf} .*" \ + "switch to inferior ${inf}" + if {![runto_main]} { + return -1 } } -# Can we jump to the statement? Do we stop there? -# -gdb_test "jump $non_call_line" "Breakpoint ${decimal}, .*${srcfile}:$non_call_line.*" \ - "jump to non-call" - -# Set a breakpoint on the statement that we're about to jump to. -# The statement does contain a function call. -# -set bp_on_call 0 -set call_line [gdb_get_line_number "bp-on-call"] -gdb_test_multiple "break $call_line" "break before jump to call" { - -re "\[Bb\]reakpoint (${decimal}) at ${hex}: file .*${srcfile}, line $call_line.*$gdb_prompt $" { - set bp_on_call $expect_out(1,string) - pass "break before jump to call" +# Run tests on all inferiors. +for {set inf 1} {$inf <= $num_inferiors} {incr inf} { + with_test_prefix "inferior $inf" { + # Switch to the target inferior. + gdb_test "inferior $inf" ".*Switching to inferior $inf .*" + # Run the tests. + do_tests } } - -# Can we jump to the statement? Do we stop there? -# -gdb_test "jump $call_line" \ - "Breakpoint ${decimal}, .*${srcfile}:$call_line.*" \ - "jump to call" - -# If we disable the breakpoint at the function call, and then -# if we jump to that statement, do we not stop there, but at -# the following breakpoint? -# -gdb_test_no_output "disable $bp_on_call" "disable breakpoint on call" - -gdb_test "jump $call_line" "Breakpoint ${decimal}, .*${srcfile}:$non_call_line.*" \ - "jump to call with disabled breakpoint" - -# Verify that GDB responds gracefully to the "jump" command without -# an argument. -# -gdb_test "jump" "Argument required .starting address.*" \ - "jump without argument disallowed" - - -# Verify that GDB responds gracefully to the "jump" command with -# trailing junk. -# -gdb_test "jump $call_line 100" \ - "malformed linespec error: unexpected number, \"100\"" \ - "jump with trailing argument junk" - - -# Verify that GDB responds gracefully to a request to jump out of -# the current function. (Note that this will very likely cause the -# inferior to die. Be prepared to rerun the inferior, if further -# testing is desired.) -# -# Try it both ways: confirming and not confirming the jump. -# - -set out_line [gdb_get_line_number "out-of-func"] -gdb_test "jump $out_line" \ - "Not confirmed.*" \ - "aborted jump out of current function" \ - "Line $out_line is not in `main'. Jump anyway.*y or n. $" \ - "n" - -gdb_test "jump $out_line" \ - "Continuing at.*" \ - "jump out of current function" \ - "Line $out_line is not in `main'. Jump anyway.*y or n. $" \ - "y" - -gdb_exit -- 2.25.1 Intel Deutschland GmbH Registered Address: Am Campeon 10, 85579 Neubiberg, Germany Tel: +49 89 99 8853-0, www.intel.de Managing Directors: Christin Eisenschmid, Sharon Heck, Tiffany Doon Silva Chairperson of the Supervisory Board: Nicole Lau Registered Office: Munich Commercial Register: Amtsgericht Muenchen HRB 186928