From 9124fe4822e9f9bf1b746dcf987541ebb31bd67a Mon Sep 17 00:00:00 2001 From: Joel Brobecker Date: Tue, 7 Oct 2008 14:10:31 +0000 Subject: [PATCH] * gdb.ada/ref_tick_size.exp: New testcase. --- gdb/testsuite/ChangeLog | 4 ++ gdb/testsuite/gdb.ada/ref_tick_size.exp | 48 +++++++++++++++++++++ gdb/testsuite/gdb.ada/ref_tick_size/p.adb | 29 +++++++++++++ gdb/testsuite/gdb.ada/ref_tick_size/pck.adb | 25 +++++++++++ gdb/testsuite/gdb.ada/ref_tick_size/pck.ads | 22 ++++++++++ 5 files changed, 128 insertions(+) create mode 100644 gdb/testsuite/gdb.ada/ref_tick_size.exp create mode 100644 gdb/testsuite/gdb.ada/ref_tick_size/p.adb create mode 100644 gdb/testsuite/gdb.ada/ref_tick_size/pck.adb create mode 100644 gdb/testsuite/gdb.ada/ref_tick_size/pck.ads diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index 12d1624b722..2991d164185 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-10-07 Joel Brobecker + + * gdb.ada/ref_tick_size.exp: New testcase. + 2008-10-06 Doug Evans * gdb.dwarf2/dw2-cu-size.exp: New file. diff --git a/gdb/testsuite/gdb.ada/ref_tick_size.exp b/gdb/testsuite/gdb.ada/ref_tick_size.exp new file mode 100644 index 00000000000..ea4db3bddc3 --- /dev/null +++ b/gdb/testsuite/gdb.ada/ref_tick_size.exp @@ -0,0 +1,48 @@ +# Copyright 2008 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 . + +if $tracelevel then { + strace $tracelevel +} + +load_lib "ada.exp" + +set testdir "ref_tick_size" +set testfile "${testdir}/p" +set srcfile ${srcdir}/${subdir}/${testfile}.adb +set binfile ${objdir}/${subdir}/${testfile} + +file mkdir ${objdir}/${subdir}/${testdir} +if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug]] != "" } { + return -1 +} + +gdb_exit +gdb_start +gdb_reinitialize_dir $srcdir/$subdir +gdb_load ${binfile} + +set bp_location [gdb_get_line_number "START" ${testdir}/p.adb] +runto "p.adb:$bp_location" + +# Verify that the debugger computes the correct value for d2'size +# (due to how this variable is declared, it is sometimes implemented +# as a reference). We know it should be correct if it is equal to +# the size of d1. + +gdb_test "print d1'size = d2'size" \ + "= true" \ + "print d1'size = d2'size" + diff --git a/gdb/testsuite/gdb.ada/ref_tick_size/p.adb b/gdb/testsuite/gdb.ada/ref_tick_size/p.adb new file mode 100644 index 00000000000..816bc02ca54 --- /dev/null +++ b/gdb/testsuite/gdb.ada/ref_tick_size/p.adb @@ -0,0 +1,29 @@ +-- Copyright 2008 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 Interfaces; +with Pck; use Pck; + +procedure P is + subtype Double is Interfaces.IEEE_Float_64; + D1 : Double := 123.0; + D2 : Double; + pragma Import (Ada, D2); + for D2'Address use D1'Address; +begin + Do_Nothing (D1'Address); -- START + Do_Nothing (D2'Address); +end P; + diff --git a/gdb/testsuite/gdb.ada/ref_tick_size/pck.adb b/gdb/testsuite/gdb.ada/ref_tick_size/pck.adb new file mode 100644 index 00000000000..efd828b3a87 --- /dev/null +++ b/gdb/testsuite/gdb.ada/ref_tick_size/pck.adb @@ -0,0 +1,25 @@ +-- Copyright 2008 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 System; + +package body Pck is + + procedure Do_Nothing (A : System.Address) is + begin + null; + end Do_Nothing; + +end Pck; diff --git a/gdb/testsuite/gdb.ada/ref_tick_size/pck.ads b/gdb/testsuite/gdb.ada/ref_tick_size/pck.ads new file mode 100644 index 00000000000..1dab9581782 --- /dev/null +++ b/gdb/testsuite/gdb.ada/ref_tick_size/pck.ads @@ -0,0 +1,22 @@ +-- Copyright 2008 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 System; + +package Pck is + + procedure Do_Nothing (A : System.Address); + +end Pck; -- 2.30.2