From a0f49112e606aaf0ce3926cfb9873265418ddaff Mon Sep 17 00:00:00 2001 From: Jan Kratochvil Date: Tue, 19 Jan 2010 20:31:38 +0000 Subject: [PATCH] gdb/ * breakpoint.c (watchpoint_check): Check the call gdbarch_in_function_epilogue_p before calling frame_find_by_id. Extend the comment. * config/djgpp/fnchange.lst: Add translations for watchpoint-cond-gone.exp, watchpoint-cond-gone.c and watchpoint-cond-gone-stripped.c. gdb/testsuite/ * gdb.base/watchpoint-cond-gone.exp, gdb.base/watchpoint-cond-gone.c, gdb.base/watchpoint-cond-gone-stripped.c: New. --- gdb/ChangeLog | 9 ++++ gdb/breakpoint.c | 22 ++++---- gdb/config/djgpp/fnchange.lst | 3 ++ gdb/testsuite/ChangeLog | 5 ++ .../gdb.base/watchpoint-cond-gone-stripped.c | 22 ++++++++ gdb/testsuite/gdb.base/watchpoint-cond-gone.c | 36 +++++++++++++ .../gdb.base/watchpoint-cond-gone.exp | 51 +++++++++++++++++++ 7 files changed, 137 insertions(+), 11 deletions(-) create mode 100644 gdb/testsuite/gdb.base/watchpoint-cond-gone-stripped.c create mode 100644 gdb/testsuite/gdb.base/watchpoint-cond-gone.c create mode 100644 gdb/testsuite/gdb.base/watchpoint-cond-gone.exp diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 84f6736fe8d..a0cc7599df7 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,12 @@ +2010-01-19 Jan Kratochvil + + * breakpoint.c (watchpoint_check): Check the call + gdbarch_in_function_epilogue_p before calling frame_find_by_id. + Extend the comment. + * config/djgpp/fnchange.lst: Add translations for + watchpoint-cond-gone.exp, watchpoint-cond-gone.c and + watchpoint-cond-gone-stripped.c. + 2010-01-19 Tom Tromey PR c++/8000: diff --git a/gdb/breakpoint.c b/gdb/breakpoint.c index 61c67436e14..d404ee7e8d5 100644 --- a/gdb/breakpoint.c +++ b/gdb/breakpoint.c @@ -3217,6 +3217,17 @@ watchpoint_check (void *p) struct gdbarch *frame_arch = get_frame_arch (frame); CORE_ADDR frame_pc = get_frame_pc (frame); + /* in_function_epilogue_p() returns a non-zero value if we're still + in the function but the stack frame has already been invalidated. + Since we can't rely on the values of local variables after the + stack has been destroyed, we are treating the watchpoint in that + state as `not changed' without further checking. Don't mark + watchpoints as changed if the current frame is in an epilogue - + even if they are in some other frame, our view of the stack + is likely to be wrong and frame_find_by_id could error out. */ + if (gdbarch_in_function_epilogue_p (frame_arch, frame_pc)) + return WP_VALUE_NOT_CHANGED; + fr = frame_find_by_id (b->watchpoint_frame); within_current_scope = (fr != NULL); @@ -3233,17 +3244,6 @@ watchpoint_check (void *p) within_current_scope = 0; } - /* in_function_epilogue_p() returns a non-zero value if we're still - in the function but the stack frame has already been invalidated. - Since we can't rely on the values of local variables after the - stack has been destroyed, we are treating the watchpoint in that - state as `not changed' without further checking. Don't mark - watchpoints as changed if the current frame is in an epilogue - - even if they are in some other frame, our view of the stack - is likely to be wrong. */ - if (gdbarch_in_function_epilogue_p (frame_arch, frame_pc)) - return WP_VALUE_NOT_CHANGED; - if (within_current_scope) /* If we end up stopping, the current frame will get selected in normal_stop. So this call to select_frame won't affect diff --git a/gdb/config/djgpp/fnchange.lst b/gdb/config/djgpp/fnchange.lst index 88829aca3b9..e30e9013bf5 100644 --- a/gdb/config/djgpp/fnchange.lst +++ b/gdb/config/djgpp/fnchange.lst @@ -401,6 +401,9 @@ @V@/gdb/testsuite/gdb.base/watchpoint-solib.c @V@/gdb/testsuite/gdb.base/wp-solib.c @V@/gdb/testsuite/gdb.base/watchpoint-hw.exp @V@/gdb/testsuite/gdb.base/wp-hw.exp @V@/gdb/testsuite/gdb.base/watchpoint-solib.exp @V@/gdb/testsuite/gdb.base/wp-solib.exp +@V@/gdb/testsuite/gdb.base/watchpoint-cond-gone.exp @V@/gdb/testsuite/gdb.base/wpcondg.exp +@V@/gdb/testsuite/gdb.base/watchpoint-cond-gone.c @V@/gdb/testsuite/gdb.base/wpcondg.c +@V@/gdb/testsuite/gdb.base/watchpoint-cond-gone-stripped.c @V@/gdb/testsuite/gdb.base/wpcondgs.c @V@/gdb/testsuite/gdb.cell/coremaker-spu.c @V@/gdb/testsuite/gdb.cell/core-spu.c @V@/gdb/testsuite/gdb.cell/ea-cache-spu.c @V@/gdb/testsuite/gdb.cell/ea-spu.c @V@/gdb/testsuite/gdb.cell/mem-access-spu.c @V@/gdb/testsuite/gdb.cell/mem-spu.c diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index e302bcb22d7..0777a9e6088 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-01-19 Jan Kratochvil + + * gdb.base/watchpoint-cond-gone.exp, gdb.base/watchpoint-cond-gone.c, + gdb.base/watchpoint-cond-gone-stripped.c: New. + 2010-01-19 Tom Tromey PR c++/8000: diff --git a/gdb/testsuite/gdb.base/watchpoint-cond-gone-stripped.c b/gdb/testsuite/gdb.base/watchpoint-cond-gone-stripped.c new file mode 100644 index 00000000000..bf1b70886b8 --- /dev/null +++ b/gdb/testsuite/gdb.base/watchpoint-cond-gone-stripped.c @@ -0,0 +1,22 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2010 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 . */ + +void +jumper (void (*jumpto) (void)) +{ + (*jumpto) (); +} diff --git a/gdb/testsuite/gdb.base/watchpoint-cond-gone.c b/gdb/testsuite/gdb.base/watchpoint-cond-gone.c new file mode 100644 index 00000000000..c6de7d4767b --- /dev/null +++ b/gdb/testsuite/gdb.base/watchpoint-cond-gone.c @@ -0,0 +1,36 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2010 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 void jumper (void (*jumpto) (void)); + +static void +func (void) +{ + volatile int c; + + c = 5; + c = 10; /* watchpoint-here */ + c = 20; +} + +int +main (void) +{ + jumper (func); + + return 0; +} diff --git a/gdb/testsuite/gdb.base/watchpoint-cond-gone.exp b/gdb/testsuite/gdb.base/watchpoint-cond-gone.exp new file mode 100644 index 00000000000..fa442b44480 --- /dev/null +++ b/gdb/testsuite/gdb.base/watchpoint-cond-gone.exp @@ -0,0 +1,51 @@ +# Copyright 2010 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 . + +set testfile "watchpoint-cond-gone" +set srcfile ${testfile}.c +set srcfilestripped ${testfile}-stripped.c +set objfilestripped ${objdir}/${subdir}/${testfile}-stripped.o +set binfile ${objdir}/${subdir}/${testfile} + +# We need to generate a function without DWARF to crash older GDB. +# Stepping into a dynamic function trampoline or stepping out of MAIN may work +# but it is not a reliable FAIL case. + +if { [gdb_compile "${srcdir}/${subdir}/${srcfilestripped}" "${objfilestripped}" object {}] != "" + || [gdb_compile "${srcdir}/${subdir}/${srcfile} ${objfilestripped}" "${binfile}" executable {debug}] != "" } { + untested watchpoint-cond-gone.exp + return -1 +} + +clean_restart ${testfile} + +# Problem does not occur otherwise. +gdb_test "set can-use-hw-watchpoints 0" + +if ![runto_main] { + return -1 +} + +gdb_breakpoint [gdb_get_line_number "watchpoint-here"] +gdb_continue_to_breakpoint "Place to set the watchpoint" + +# The condition `c == 30' is the subject being tested. +gdb_test "watch c if c == 30" "" "Place the watchpoint" + +# We may stay either in the function itself or only at the first instruction of +# its caller depending on the epilogue unwinder (or valid epilogue CFI) presence. +gdb_test "finish" \ + "Watchpoint .* deleted because the program has left the block in.*which its expression is valid..*in (jumper|func).*" \ + "Catch the no longer valid watchpoint" -- 2.30.2