From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 7147 invoked by alias); 29 Feb 2012 20:07:47 -0000 Received: (qmail 6996 invoked by uid 22791); 29 Feb 2012 20:07:44 -0000 X-SWARE-Spam-Status: No, hits=-2.0 required=5.0 tests=AWL,BAYES_00,T_RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 29 Feb 2012 20:07:31 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 1CAA21C6B7E; Wed, 29 Feb 2012 15:07:30 -0500 (EST) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id s7I0w9V10wbE; Wed, 29 Feb 2012 15:07:30 -0500 (EST) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id D70281C6B73; Wed, 29 Feb 2012 15:07:29 -0500 (EST) Received: by joel.gnat.com (Postfix, from userid 1000) id 46E02145616; Wed, 29 Feb 2012 12:07:23 -0800 (PST) From: Joel Brobecker To: gdb-patches@sourceware.org Cc: Joel Brobecker Subject: [PATCH 3/3] Testcase: "info locals" with Ada renamings. Date: Wed, 29 Feb 2012 20:07:00 -0000 Message-Id: <1330546034-27156-4-git-send-email-brobecker@adacore.com> In-Reply-To: <1330546034-27156-1-git-send-email-brobecker@adacore.com> References: <1330546034-27156-1-git-send-email-brobecker@adacore.com> Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2012-02/txt/msg00740.txt.bz2 gdb/testsuite/ChangeLog: * gdb.ada/info_locals_renaming: New testcase. Tested on x86_64-linux. Will commit if patch #1 or an equilvalent makes it. --- gdb/testsuite/gdb.ada/info_locals_renaming.exp | 36 ++++++++++++++++++++ gdb/testsuite/gdb.ada/info_locals_renaming/foo.adb | 22 ++++++++++++ gdb/testsuite/gdb.ada/info_locals_renaming/pck.adb | 21 +++++++++++ gdb/testsuite/gdb.ada/info_locals_renaming/pck.ads | 20 +++++++++++ 4 files changed, 99 insertions(+), 0 deletions(-) create mode 100644 gdb/testsuite/gdb.ada/info_locals_renaming.exp create mode 100644 gdb/testsuite/gdb.ada/info_locals_renaming/foo.adb create mode 100644 gdb/testsuite/gdb.ada/info_locals_renaming/pck.adb create mode 100644 gdb/testsuite/gdb.ada/info_locals_renaming/pck.ads diff --git a/gdb/testsuite/gdb.ada/info_locals_renaming.exp b/gdb/testsuite/gdb.ada/info_locals_renaming.exp new file mode 100644 index 0000000..a8c6469 --- /dev/null +++ b/gdb/testsuite/gdb.ada/info_locals_renaming.exp @@ -0,0 +1,36 @@ +# Copyright 2012 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 . + +load_lib "ada.exp" + +if { [skip_ada_tests] } { return -1 } + +set testdir "info_locals_renaming" +set testfile "${testdir}/foo" +set srcfile ${srcdir}/${subdir}/${testfile}.adb +set binfile ${objdir}/${subdir}/${testfile} + +file mkdir ${objdir}/${subdir}/${testdir} +if {[gdb_compile_ada "${srcfile}" "${binfile}" executable {debug}] != ""} { + return -1 +} + +clean_restart ${testfile} + +set bp_location [gdb_get_line_number "STOP" ${testdir}/foo.adb] +runto "foo.adb:$bp_location" + +gdb_test "info locals" "gv = 1" + diff --git a/gdb/testsuite/gdb.ada/info_locals_renaming/foo.adb b/gdb/testsuite/gdb.ada/info_locals_renaming/foo.adb new file mode 100644 index 0000000..8f29709 --- /dev/null +++ b/gdb/testsuite/gdb.ada/info_locals_renaming/foo.adb @@ -0,0 +1,22 @@ +-- Copyright 2012 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 . + +with Pck; use Pck; + +procedure Foo is + GV : Integer renames Pck.Global_Variable; +begin + Increment (GV); -- STOP +end Foo; diff --git a/gdb/testsuite/gdb.ada/info_locals_renaming/pck.adb b/gdb/testsuite/gdb.ada/info_locals_renaming/pck.adb new file mode 100644 index 0000000..e69386d --- /dev/null +++ b/gdb/testsuite/gdb.ada/info_locals_renaming/pck.adb @@ -0,0 +1,21 @@ +-- Copyright 2012 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 . + +package body Pck is + procedure Increment (I : in out Integer) is + begin + I := I + 1; + end Increment; +end Pck; diff --git a/gdb/testsuite/gdb.ada/info_locals_renaming/pck.ads b/gdb/testsuite/gdb.ada/info_locals_renaming/pck.ads new file mode 100644 index 0000000..c795c4b --- /dev/null +++ b/gdb/testsuite/gdb.ada/info_locals_renaming/pck.ads @@ -0,0 +1,20 @@ +-- Copyright 2012 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 . + +package Pck is + Global_Variable : Integer := 1; + + procedure Increment (I : in out Integer); +end Pck; -- 1.7.1