Re: [RFA] Add testcase for locals identified with FUNCTION::VAR syntax.

[Doug Evans <dje at google dot com>]

On Tue, Dec 27, 2011 at 11:59 AM, Paul Hilfinger <Hilfinger@adacore.com> wrote:
>
> This test (from Joel Brobecker) stops inside a recursive function
> after a few levels of recursion, goes up some frames, and then
> accesses a local variable with 'print foo::val' rather than the usual
> 'print val' to see if the former pays attention to the selected frame.
>
> 2011-12-27 ?Paul Hilfinger ?<hilfingr@adacore.com>
> ? ? ? ? ? ?Joel Brobecker <brobecker@adacore.com>
>
> ?* gdb.base/recpar.c, gdb.base/recpar.exp: New files.
> ---
> ?gdb/testsuite/ChangeLog ? ? ? ? ? | ? ?4 +++
> ?gdb/testsuite/gdb.base/recpar.c ? | ? 42 +++++++++++++++++++++++++++++++++
> ?gdb/testsuite/gdb.base/recpar.exp | ? 46 +++++++++++++++++++++++++++++++++++++
> ?3 files changed, 92 insertions(+), 0 deletions(-)
> ?create mode 100644 gdb/testsuite/gdb.base/recpar.c
> ?create mode 100644 gdb/testsuite/gdb.base/recpar.exp
>
> diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog
> index e07ac47..e669198 100644
> --- a/gdb/testsuite/ChangeLog
> +++ b/gdb/testsuite/ChangeLog
> @@ -1,3 +1,7 @@
> +2011-12-27 ?Paul Hilfinger ?<hilfingr@adacore.com>
> +
> + ? ? ? * gdb.base/recpar.c, gdb.base/recpar.exp: New files.
> +
> ?2011-12-27 ?Joel Brobecker ?<brobecker@adacore.com>
>
> ? ? ? ?* gdb.base/dmsym.c, gdb.base/dmsym_main.c, gdb.base/dmsym.exp:
> diff --git a/gdb/testsuite/gdb.base/recpar.c b/gdb/testsuite/gdb.base/recpar.c
> new file mode 100644
> index 0000000..bba5f5a
> --- /dev/null
> +++ b/gdb/testsuite/gdb.base/recpar.c
> @@ -0,0 +1,42 @@
> +/* This testcase is part of GDB, the GNU debugger.
> +
> + ? Copyright 2011 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/>. ?*/
> +
> +int
> +foo (int n)
> +{
> + ?int val = n;
> +
> + ?{
> + ? ?char val = n ? 'y' : 'n'; /* Hides upper-level `val'. ?*/
> +
> + ? ?if (val == 'y') /* BREAK */
> + ? ? ?return n + foo (n - 1);
> + ?}
> +
> + ?return 0;
> +}
> +
> +int
> +main (void)
> +{
> + ?int res = foo (5);
> +
> + ?if (res != 15) /* Dummy use of variable res. ?*/
> + ? ?return 1;
> +
> + ?return 0;
> +}
> diff --git a/gdb/testsuite/gdb.base/recpar.exp b/gdb/testsuite/gdb.base/recpar.exp
> new file mode 100644
> index 0000000..22771d2
> --- /dev/null
> +++ b/gdb/testsuite/gdb.base/recpar.exp
> @@ -0,0 +1,46 @@
> +# Copyright (C) 2011 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/>.
> +
> +set testfile recpar
> +set srcfile ${testfile}.c
> +if { [prepare_for_testing ${testfile}.exp ${testfile} ${srcfile}] } {
> + ? ?return -1
> +}
> +
> +if ![runto_main] {
> + ? ?untested ${testfile}.exp
> + ? ?return -1
> +}
> +
> +# Some convenient regular expressions...
> +set num "\[0-9\]+"

Delete, use $decimal.

> +set addr "0x\[0-9a-zA-Z\]+"

This could be replaced with $hex, or do "set addr $hex".  Either is
fine with me.

> +
> +gdb_test "break $srcfile:[gdb_get_line_number BREAK $srcfile] if n == 3" \
> + ? ? ? ? "Breakpoint $num at $addr: file .*recpar\\.c, line $num\\."
> +
> +gdb_test "continue" \
> + ? ? ? ? "Breakpoint .* foo \\(n=3\\) at .*$srcfile:$num.*"
> +
> +gdb_test "backtrace" \
> + ? ? ? ? "#0 +foo \\(n=3\\).*\r\n#1.* foo \\(n=4\\).*\r\n#2.* foo \\(n=5\\).*#3.* main \\(\\).*"
> +
> +gdb_test "frame 2" \
> + ? ? ? ? "#2 .* foo \\(n=5\\) .*"
> +
> +# In the currently selected frame, n=5, and thus foo::val should be 5
> +# as well.
> +gdb_test "print foo::val" \
> + ? ? ? ? " = 5"
> --

I notice scope.exp has similar tests.
Would it make sense to move this there?