diff options
Diffstat (limited to 'gdb/testsuite/gdb.base')
| -rw-r--r-- | gdb/testsuite/gdb.base/break-unload-file.c | 35 | ||||
| -rw-r--r-- | gdb/testsuite/gdb.base/break-unload-file.exp | 128 | ||||
| -rw-r--r-- | gdb/testsuite/gdb.base/sym-file-lib.c | 6 | ||||
| -rw-r--r-- | gdb/testsuite/gdb.base/sym-file-loader.c | 28 | ||||
| -rw-r--r-- | gdb/testsuite/gdb.base/sym-file-loader.h | 4 | ||||
| -rw-r--r-- | gdb/testsuite/gdb.base/sym-file-main.c | 26 | ||||
| -rw-r--r-- | gdb/testsuite/gdb.base/sym-file.exp | 49 |
7 files changed, 273 insertions, 3 deletions
diff --git a/gdb/testsuite/gdb.base/break-unload-file.c b/gdb/testsuite/gdb.base/break-unload-file.c new file mode 100644 index 00000000000..b0524f2025c --- /dev/null +++ b/gdb/testsuite/gdb.base/break-unload-file.c @@ -0,0 +1,35 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2014 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/>. */ + +void +foo (void) +{ +} + +void +bar (void) +{ +} + +int +main (void) +{ + foo (); + bar (); + + return 0; +} diff --git a/gdb/testsuite/gdb.base/break-unload-file.exp b/gdb/testsuite/gdb.base/break-unload-file.exp new file mode 100644 index 00000000000..35c0f5fd23b --- /dev/null +++ b/gdb/testsuite/gdb.base/break-unload-file.exp @@ -0,0 +1,128 @@ +# Copyright 2014 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/>. */ + +# Test that "file" doesn't leave stale breakpoints planted in the +# target. + +standard_testfile + +if {[prepare_for_testing "failed to prepare" $testfile $srcfile debug]} { + return -1 +} + +if ![runto_main] then { + fail "Can't run to main" + return 0 +} + +# Run the test proper. ALWAYS_INSERT determines whether +# always-inserted mode is on/off, and BREAK_COMMAND is the break +# command being tested. +# +proc test_break { always_inserted break_command } { + global gdb_prompt binfile hex + + with_test_prefix "always-inserted $always_inserted: $break_command" { + clean_restart $binfile + + if ![runto_main] then { + fail "Can't run to main" + return + } + + delete_breakpoints + + gdb_test_no_output "set breakpoint always-inserted $always_inserted" + + set test "$break_command foo" + gdb_test_multiple "$break_command foo" $test { + -re "No hardware breakpoint support in the target.*$gdb_prompt $" { + unsupported $test + return + } + -re "Hardware breakpoints used exceeds limit.*$gdb_prompt $" { + unsupported $test + return + } + -re "Cannot insert hardware breakpoint.*$gdb_prompt $" { + unsupported $test + return + } + -re ".*reakpoint .* at .*$gdb_prompt $" { + pass $test + } + } + + # The breakpoint shouldn't be pending now. + gdb_test "info break" "y.*$hex.*in foo at.*" \ + "breakpoint is not pending" + + # Remove the file, while the breakpoint above is inserted in a + # function in the main objfile. GDB used to have a bug where + # it would mark the breakpoint as uninserted, but actually + # would leave it inserted in the target. + set test "file" + gdb_test_multiple "file" $test { + -re "Are you sure you want to change the file. .*y or n. $" { + send_gdb "y\n" + exp_continue + } + -re "Discard symbol table from `.*'? .y or n. $" { + send_gdb "y\n" + exp_continue + } + -re "No symbol file now\\.\r\n$gdb_prompt $" { + pass $test + } + } + + gdb_test "info break" "y.*PENDING.*foo" \ + "breakpoint is not pending" + + # Now delete the breakpoint from GDB's tables, to make sure + # GDB doesn't reinsert it, masking the bug (with the bug, on + # re-insert, GDB would fill the shadow buffer with a + # breakpoint instruction). Avoid delete_breakpoints as that + # doesn't record a pass/fail. + gdb_test "delete" "" "delete all breakpoints" \ + "Delete all breakpoints.*y or n.*$" "y" + + # Re-add symbols back. + set test "file \$binfile" + gdb_test_multiple "file $binfile" $test { + -re "Are you sure you want to change the file. .*y or n. $" { + send_gdb "y\n" + exp_continue + } + -re "Reading symbols from.*done.*$gdb_prompt $" { + pass $test + } + } + + # Run to another function now. With the bug, GDB would trip + # on a spurious trap at foo. + gdb_test "b bar" ".*reakpoint .* at .*" + gdb_test "continue" "Breakpoint .*, bar .*" + } +} + +# While it doesn't trigger the original bug this is a regression test +# for, test with breakpoint always-inserted off for extra coverage. +foreach always_inserted { "off" "on" } { + test_break $always_inserted "break" + if {![skip_hw_breakpoint_tests]} { + test_break $always_inserted "hbreak" + } +} diff --git a/gdb/testsuite/gdb.base/sym-file-lib.c b/gdb/testsuite/gdb.base/sym-file-lib.c index d0c8847ee46..67ac9ad2f22 100644 --- a/gdb/testsuite/gdb.base/sym-file-lib.c +++ b/gdb/testsuite/gdb.base/sym-file-lib.c @@ -24,3 +24,9 @@ foo (int a) { return a; /* gdb break at foo */ } + +extern int +baz (int a) +{ + return a; /* gdb break at baz */ +} diff --git a/gdb/testsuite/gdb.base/sym-file-loader.c b/gdb/testsuite/gdb.base/sym-file-loader.c index d10065e93a1..0b0039d0881 100644 --- a/gdb/testsuite/gdb.base/sym-file-loader.c +++ b/gdb/testsuite/gdb.base/sym-file-loader.c @@ -60,6 +60,7 @@ sizeof ((hdr)->field) == sizeof (Elf_Addr) ? *(Elf_Addr *) (hdr)->field : \ struct segment { uint8_t *mapped_addr; + size_t mapped_size; Elf_External_Phdr *phdr; struct segment *next; }; @@ -101,6 +102,7 @@ load (uint8_t *addr, Elf_External_Phdr *phdr, struct segment *tail_seg) { struct segment *seg = NULL; uint8_t *mapped_addr = NULL; + size_t mapped_size = 0; void *from = NULL; void *to = NULL; @@ -110,6 +112,7 @@ load (uint8_t *addr, Elf_External_Phdr *phdr, struct segment *tail_seg) mapped_addr = (uint8_t *) mmap ((void *) GETADDR (phdr, p_vaddr), GET (phdr, p_memsz), perm, MAP_ANONYMOUS | MAP_PRIVATE, -1, 0); + mapped_size = GET (phdr, p_memsz); from = (void *) (addr + GET (phdr, p_offset)); to = (void *) mapped_addr; @@ -122,6 +125,7 @@ load (uint8_t *addr, Elf_External_Phdr *phdr, struct segment *tail_seg) return 0; seg->mapped_addr = mapped_addr; + seg->mapped_size = mapped_size; seg->phdr = phdr; seg->next = 0; @@ -173,6 +177,30 @@ get_origin (void) return self_path; } +/* Unload/unmap a segment. */ + +static void +unload (struct segment *seg) +{ + munmap (seg->mapped_addr, seg->mapped_size); + free (seg); +} + +void +unload_shlib (struct library *lib) +{ + struct segment *seg, *next_seg; + + for (seg = lib->segments; seg != NULL; seg = next_seg) + { + next_seg = seg->next; + unload (seg); + } + + close (lib->fd); + free (lib); +} + /* Mini shared library loader. No reallocation is performed for the sake of simplicity. */ diff --git a/gdb/testsuite/gdb.base/sym-file-loader.h b/gdb/testsuite/gdb.base/sym-file-loader.h index c6b1af3a584..7798a40f040 100644 --- a/gdb/testsuite/gdb.base/sym-file-loader.h +++ b/gdb/testsuite/gdb.base/sym-file-loader.h @@ -25,6 +25,10 @@ struct library; struct library *load_shlib (const char *file); +/* Unload a library. */ + +void unload_shlib (struct library *lib); + /* Lookup the address of FUNC. */ int lookup_function (struct library *lib, const char *func, void **addr); diff --git a/gdb/testsuite/gdb.base/sym-file-main.c b/gdb/testsuite/gdb.base/sym-file-main.c index b48a1c285d5..b6e36df127f 100644 --- a/gdb/testsuite/gdb.base/sym-file-main.c +++ b/gdb/testsuite/gdb.base/sym-file-main.c @@ -42,6 +42,8 @@ main (int argc, const char *argv[]) char *text_addr = NULL; int (*pbar) () = NULL; int (*pfoo) (int) = NULL; + int (*pbaz) () = NULL; + int i; lib = load_shlib (file); if (lib == NULL) @@ -64,8 +66,28 @@ main (int argc, const char *argv[]) (*pfoo) (2); - /* Notify GDB to remove the symbol file. */ + /* Unload the library, invalidating all memory breakpoints. */ + unload_shlib (lib); + + /* Notify GDB to remove the symbol file. Also check that GDB + doesn't complain that it can't remove breakpoints from the + unmapped library. */ gdb_remove_symbol_file (text_addr); - return 0; + /* Reload the library. */ + lib = load_shlib (file); /* reload lib here */ + if (lib == NULL) + return 1; + + if (get_text_addr (lib, (void **) &text_addr) != 0) + return 1; + + gdb_add_symbol_file (text_addr, file); + + if (lookup_function (lib, "baz", (void *) &pbaz) != 0) + return 1; + + (*pbaz) (); + + return 0; /* end here */ } diff --git a/gdb/testsuite/gdb.base/sym-file.exp b/gdb/testsuite/gdb.base/sym-file.exp index c87c3c7704a..48fb1939eaf 100644 --- a/gdb/testsuite/gdb.base/sym-file.exp +++ b/gdb/testsuite/gdb.base/sym-file.exp @@ -27,6 +27,7 @@ # 11) 'info files' must not display ${lib_basename}, anymore. # 12) Check that the breakpoints at foo and bar are pending. # 13) Check that the execution can continue without error. +# 14) Regression test for a stale breakpoints bug. if {![is_elf_target]} { return 0 @@ -159,4 +160,50 @@ gdb_test "info breakpoints 4" \ "breakpoint at bar is pending" # 13) Check that the execution can continue without error. -gdb_continue_to_end +set lnum_reload [gdb_get_line_number "reload lib here"] +gdb_breakpoint $lnum_reload +gdb_continue_to_breakpoint reload ".*${srcfile}:$lnum_reload.*" + +# 14) Regression test for a stale breakpoints bug. Check whether +# unloading symbols manually without the program actually unloading +# the library, when breakpoints are inserted doesn't leave stale +# breakpoints behind. +with_test_prefix "stale bkpts" { + # Force breakpoints always inserted. + gdb_test_no_output "set breakpoint always-inserted on" + + # Get past the library reload. + gdb_continue_to_breakpoint gdb_add_symbol_file + + # Load the library's symbols. + gdb_test "add-symbol-file ${lib_syms} addr" \ + "Reading symbols from .*${lib_syms}\\.\\.\\.done\\." \ + "add-symbol-file ${lib_basename}.so addr" \ + "add symbol table from file \".*${lib_syms}\"\ +at.*\\(y or n\\) " \ + "y" + + # Set a breakpoint at baz, in the library. + gdb_breakpoint baz + + gdb_test "info breakpoints 7" ".*y.*0x.*in baz.*" \ + "breakpoint at baz is resolved" + + # Unload symbols manually without the program actually unloading + # the library. + gdb_test "remove-symbol-file -a addr" \ + "" \ + "remove-symbol-file -a addr" \ + "Remove symbol table from file \".*${lib_basename}\\.so\"\\?\ +.*\\(y or n\\) " \ + "y" + + gdb_test "info breakpoints 7" ".*PENDING.*" \ + "breakpoint at baz is pending" + + # Check that execution can continue without error. If GDB leaves + # breakpoints behind, we'll get back a spurious SIGTRAP. + set lnum_end [gdb_get_line_number "end here"] + gdb_breakpoint $lnum_end + gdb_continue_to_breakpoint "end here" ".*end here.*" +} |