diff options
author | Joel Brobecker <brobecker@gnat.com> | 2007-12-28 06:32:46 +0000 |
---|---|---|
committer | Joel Brobecker <brobecker@gnat.com> | 2007-12-28 06:32:46 +0000 |
commit | f652e42f289ce31c0383c762ad3ae5dbe620ec57 (patch) | |
tree | a09f11757fbca3f6b4c1e05012d64505e063ad6e /gdb/testsuite/gdb.ada | |
parent | 6e48bd2c90889f85506f8242209cd2b7e1d65dd1 (diff) | |
download | gdb-f652e42f289ce31c0383c762ad3ae5dbe620ec57.zip gdb-f652e42f289ce31c0383c762ad3ae5dbe620ec57.tar.gz gdb-f652e42f289ce31c0383c762ad3ae5dbe620ec57.tar.bz2 |
* gdb.ada/fixed_cmp/pck.ads, gdb.ada/fixed_cmp/pck.adb,
gdb.ada/fixed_cmp/fixed.adb: New files.
* gdb.ada/fixed_cmp.exp: New testcase.
Diffstat (limited to 'gdb/testsuite/gdb.ada')
-rw-r--r-- | gdb/testsuite/gdb.ada/fixed_cmp.exp | 57 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/fixed_cmp/fixed.adb | 24 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/fixed_cmp/pck.adb | 23 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/fixed_cmp/pck.ads | 22 |
4 files changed, 126 insertions, 0 deletions
diff --git a/gdb/testsuite/gdb.ada/fixed_cmp.exp b/gdb/testsuite/gdb.ada/fixed_cmp.exp new file mode 100644 index 0000000..d1fe787 --- /dev/null +++ b/gdb/testsuite/gdb.ada/fixed_cmp.exp @@ -0,0 +1,57 @@ +# Copyright 2007 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/>. + +if $tracelevel then { + strace $tracelevel +} + +load_lib "ada.exp" + +set testdir "fixed_cmp" +set testfile "${testdir}/fixed" +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 "STOP" ${testdir}/fixed.adb] +runto "fixed.adb:$bp_location" + +gdb_test "print My_Var > 10.0" \ + "true" \ + "print My_Var > 10.0" + +gdb_test "print My_Var > 20.0" \ + "false" \ + "print My_Var > 20.0" + +# Do the same, but with integer values. + +gdb_test "print My_Var > 10" \ + "true" \ + "print My_Var > 10" + +gdb_test "print My_Var > 20" \ + "false" \ + "print My_Var > 20" + diff --git a/gdb/testsuite/gdb.ada/fixed_cmp/fixed.adb b/gdb/testsuite/gdb.ada/fixed_cmp/fixed.adb new file mode 100644 index 0000000..4dd9b9a --- /dev/null +++ b/gdb/testsuite/gdb.ada/fixed_cmp/fixed.adb @@ -0,0 +1,24 @@ +-- Copyright 2007 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/>. + +with Pck; use Pck; + +procedure Fixed is + type Fixed_Point_Type is delta 0.001 range 0.0 .. 1000.0; + + My_Var : Fixed_Point_Type := 14.0; +begin + Do_Nothing (My_Var'Address); -- STOP +end Fixed; diff --git a/gdb/testsuite/gdb.ada/fixed_cmp/pck.adb b/gdb/testsuite/gdb.ada/fixed_cmp/pck.adb new file mode 100644 index 0000000..95ec663 --- /dev/null +++ b/gdb/testsuite/gdb.ada/fixed_cmp/pck.adb @@ -0,0 +1,23 @@ +-- Copyright 2007 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/>. + +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/fixed_cmp/pck.ads b/gdb/testsuite/gdb.ada/fixed_cmp/pck.ads new file mode 100644 index 0000000..334a65d --- /dev/null +++ b/gdb/testsuite/gdb.ada/fixed_cmp/pck.ads @@ -0,0 +1,22 @@ +-- Copyright 2007 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/>. + +with System; + +package Pck is + + procedure Do_Nothing (A : System.Address); + +end Pck; |