From patchwork Fri Oct 20 18:51:01 2017 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Keith Seitz X-Patchwork-Id: 23737 Received: (qmail 122834 invoked by alias); 20 Oct 2017 18:51:05 -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 122285 invoked by uid 89); 20 Oct 2017 18:51:04 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No 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, RP_MATCHES_RCVD, SPF_HELO_PASS autolearn=ham version=3.3.2 spammy=H*m:1736, H*MI:1736, formerly X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 20 Oct 2017 18:51:03 +0000 Received: from smtp.corp.redhat.com (int-mx04.intmail.prod.int.phx2.redhat.com [10.5.11.14]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id C6970C02C733 for ; Fri, 20 Oct 2017 18:51:01 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mx1.redhat.com C6970C02C733 Authentication-Results: ext-mx07.extmail.prod.ext.phx2.redhat.com; dmarc=none (p=none dis=none) header.from=redhat.com Authentication-Results: ext-mx07.extmail.prod.ext.phx2.redhat.com; spf=fail smtp.mailfrom=keiths@redhat.com Received: from theo.Home (ovpn04.gateway.prod.ext.phx2.redhat.com [10.5.9.4]) by smtp.corp.redhat.com (Postfix) with ESMTP id 8F1A118503 for ; Fri, 20 Oct 2017 18:51:01 +0000 (UTC) From: Keith Seitz To: gdb-patches@sourceware.org Subject: [PATCH v2] Use SaL symbol name when reporting breakpoint locations Date: Fri, 20 Oct 2017 11:51:01 -0700 Message-Id: <20171020185101.1736-1-keiths@redhat.com> X-IsSubscribed: yes This was formerly called "Report call site for inlined functions," but given the feedback of that patch, I've removed the actual call-site information from the patch entirely. That greatly simplifies this patch, highlighting the fundamental bug/feature that I trying to fix/implement. --- Currently, "info break" can show some (perhaps) unexpected results when setting a breakpoint on an inlined function: (gdb) list 1 #include 2 3 static inline void foo() 4 { 5 printf("Hello world\n"); 6 } 7 8 int main() 9 { 10 foo(); 11 return 0; 12 } 13 (gdb) b foo Breakpoint 1 at 0x400434: file foo.c, line 5. (gdb) i b Num Type Disp Enb Address What 1 breakpoint keep y 0x0000000000400434 in main at foo.c:5 GDB reported that we understood what "foo" was, but we then report that the breakpoint is actually set in main. While that is literally true, we can do a little better. This is accomplished by copying the symbol for which the breakpoint was set into the bp_location. From there, print_breakpoint_location can use this information to print out symbol information (if available) instead of calling find_pc_sect_function. With the patch installed, (gdb) i b Num Type Disp Enb Address What 1 breakpoint keep y 0x0000000000400434 in foo at foo.c:5 gdb/ChangeLog: * breakpoint.c (print_breakpoint_location): Use the symbol saved in the bp_location, falling back to find_pc_sect_function when needed. (add_location_to_breakpoint): Save sal->symbol. * breakpoint.h (struct bp_location) : New field. * symtab.c (find_function_start_sal): Save the symbol into the SaL. * symtab.h (struct symtab_and_line) : New field. gdb/testsuite/ChangeLog: * gdb.opt/inline-break.exp (break_info_1): New procedure. Test "info break" for every inlined function breakpoint. --- gdb/breakpoint.c | 8 +++- gdb/breakpoint.h | 5 +++ gdb/testsuite/gdb.opt/inline-break.exp | 75 ++++++++++++++++++++++++++++++++++ 3 files changed, 86 insertions(+), 2 deletions(-) diff --git a/gdb/breakpoint.c b/gdb/breakpoint.c index 32ceea7c9b..2ede1cef96 100644 --- a/gdb/breakpoint.c +++ b/gdb/breakpoint.c @@ -5956,8 +5956,11 @@ print_breakpoint_location (struct breakpoint *b, uiout->field_string ("what", event_location_to_string (b->location.get ())); else if (loc && loc->symtab) { - struct symbol *sym - = find_pc_sect_function (loc->address, loc->section); + const struct symbol *sym = loc->symbol; + + if (sym == NULL) + sym = find_pc_sect_function (loc->address, loc->section); + if (sym) { uiout->text ("in "); @@ -8742,6 +8745,7 @@ add_location_to_breakpoint (struct breakpoint *b, loc->gdbarch = loc_gdbarch; loc->line_number = sal->line; loc->symtab = sal->symtab; + loc->symbol = sal->symbol; set_breakpoint_location_function (loc, sal->explicit_pc || sal->explicit_line); diff --git a/gdb/breakpoint.h b/gdb/breakpoint.h index 2b80ed9f46..2cc235c3a8 100644 --- a/gdb/breakpoint.h +++ b/gdb/breakpoint.h @@ -486,6 +486,11 @@ public: to find the corresponding source file name. */ struct symtab *symtab = NULL; + + /* The symbol found by the location parser, if any. This may be used to + ascertain when an event location was set at a different location than + the one originally selected by parsing, e.g., inlined symbols. */ + const struct symbol *symbol = NULL; }; /* The possible return values for print_bpstat, print_it_normal, diff --git a/gdb/testsuite/gdb.opt/inline-break.exp b/gdb/testsuite/gdb.opt/inline-break.exp index 7be3a34dbc..ec9ee74ec1 100644 --- a/gdb/testsuite/gdb.opt/inline-break.exp +++ b/gdb/testsuite/gdb.opt/inline-break.exp @@ -24,6 +24,62 @@ if { [prepare_for_testing "failed to prepare" $testfile $srcfile \ return -1 } +# Return a string that may be used to match the output of "info break NUM". +# +# Optional arguments: +# +# source - the name of the source file +# func - the name of the function +# disp - the event disposition +# enabled - enable state +# locs - number of locations +# line - source line number (ignored without -source) + +proc break_info_1 {num args} { + global decimal + + # Column delimiter + set c {[\t ]+} + + # Row delimiter + set end {[\r\n \t]+} + + # Table header + set header "[join [list Num Type Disp Enb Address What] ${c}]" + + # Get/configure any optional parameters. + parse_args [list {source ""} {func ".*"} {disp "keep"} \ + {enabled "y"} {locs 1} [list line $decimal] \ + {type "breakpoint"}] + + if {$source != ""} { + set source "/$source:$line" + } + + # Result starts with the standard header. + set result "$header${end}" + + # Set up for multi-location breakpoint marker. + if {$locs == 1} { + set multi ".*" + } else { + set multi "${end}" + } + append result "[join [list $num $type $disp $enabled $multi] $c]" + + # Add location info. + for {set i 1} {$i <= $locs} {incr i} { + if {$locs > 1} { + append result "[join [list $num.$i $enabled] $c].*" + } + + # Add function/source file info. + append result "in $func at .*$source${end}" + } + + return $result +} + # # func1 is a static inlined function that is called once. # The result should be a single-location breakpoint. @@ -111,3 +167,22 @@ gdb_test "print func1" \ # gdb_test "print func2" \ "\\\$.* = {int \\(int\\)} .* " + +# Test that "info break" reports the location of the breakpoints "inside" +# the inlined functions + +set results(1) [break_info_1 1 -source $srcfile -func "func1"] +set results(2) [break_info_1 2 -locs 2 -source $srcfile -func "func2"] +set results(3) [break_info_1 3 -source $srcfile -func "func3b"] +set results(4) [break_info_1 4 -locs 2 -source $srcfile -func "func4b"] +set results(5) [break_info_1 5 -locs 2 -source $srcfile -func "func5b"] +set results(6) [break_info_1 6 -locs 3 -source $srcfile -func "func6b"] +set results(7) [break_info_1 7 -locs 2 -source $srcfile -func "func7b"] +set results(8) [break_info_1 8 -locs 3 -source $srcfile -func "func8b"] + +for {set i 1} {$i <= [array size results]} {incr i} { + send_log "Expecting: $results($i)\n" + gdb_test "info break $i" $results($i) +} + +unset -nocomplain results