diff options
author | Paul N. Hilfinger <hilfinger@adacore.com> | 2008-01-30 07:28:16 +0000 |
---|---|---|
committer | Paul N. Hilfinger <hilfinger@adacore.com> | 2008-01-30 07:28:16 +0000 |
commit | d118ef8764180584e6b42b38d8c68c18bf8c83c4 (patch) | |
tree | 7b0451b86d7f4eb95586ba07e83e7629ee40c041 /gdb/testsuite | |
parent | d56d46f5c7560a45f3a1c6101893ca84969c98a9 (diff) | |
download | fsf-binutils-gdb-d118ef8764180584e6b42b38d8c68c18bf8c83c4.zip fsf-binutils-gdb-d118ef8764180584e6b42b38d8c68c18bf8c83c4.tar.gz fsf-binutils-gdb-d118ef8764180584e6b42b38d8c68c18bf8c83c4.tar.bz2 |
2008-01-30 Paul N. Hilfinger <hilfinger@adacore.com>
* valarith.c (value_binop): Add floating-point BINOP_MIN and
BINOP_MAX cases.
For BINOP_EXP, use length and signedness of left operand only for
result, as for shifts.
For integral operands to BINOP_EXP, use new integer_pow and
uinteger_pow functions so as to get full range of results.
(integer_pow): New function.
(uinteger_pow): New function.
2008-01-30 Paul N. Hilfinger <hilfinger@adacore.com>
* gdb.ada/exprs: New test program.
* gdb.ada/exprs.exp: New testcase.
Diffstat (limited to 'gdb/testsuite')
-rw-r--r-- | gdb/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/exprs.exp | 50 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/exprs/p.adb | 41 |
3 files changed, 96 insertions, 0 deletions
diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index 6bc429a..f198e03 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-01-30 Paul N. Hilfinger <hilfinger@adacore.com> + + * gdb.ada/exprs: New test program. + * gdb.ada/exprs.exp: New testcase. + 2008-01-30 Thiago Jung Bauermann <bauerman@br.ibm.com> * dfp-test.c (DELTA, DELTA_B): New definitions. diff --git a/gdb/testsuite/gdb.ada/exprs.exp b/gdb/testsuite/gdb.ada/exprs.exp new file mode 100644 index 0000000..0283bb1 --- /dev/null +++ b/gdb/testsuite/gdb.ada/exprs.exp @@ -0,0 +1,50 @@ +# Copyright 2005, 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 "exprs" +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" + +gdb_test "print X ** Y = Z" \ + "true" \ + "Long_Long_Integer ** Y" + +gdb_test "print long_float'min (long_float (X), 8.0)" \ + "7.0" \ + "long_float'min" + +gdb_test "print long_float'max (long_float (X), 8.0)" \ + "8.0" \ + "long_float'max" diff --git a/gdb/testsuite/gdb.ada/exprs/p.adb b/gdb/testsuite/gdb.ada/exprs/p.adb new file mode 100644 index 0000000..b342c98 --- /dev/null +++ b/gdb/testsuite/gdb.ada/exprs/p.adb @@ -0,0 +1,41 @@ +-- 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 <http://www.gnu.org/licenses/>. + +-- Test Ada additions to core GDB evaluation. + +with System; +with Text_IO; use Text_IO; + +procedure P is + type Int is range System.Min_Int .. System.Max_Int; + + X, Z : Int; + Y : Integer; + +begin + X := 0; + -- Set X to 7 by disguised means lest a future optimizer interfere. + for I in 1 .. 7 loop + X := X + 1; + end loop; + Z := 1; + Y := 0; + while Z < Int'Last / X loop + Z := Z * X; + Y := Y + 1; + end loop; + + Put_Line (Int'Image (X ** Y)); -- START +end P; |