diff options
Diffstat (limited to 'gdb/testsuite/gdb.base/logical.exp')
-rw-r--r-- | gdb/testsuite/gdb.base/logical.exp | 577 |
1 files changed, 0 insertions, 577 deletions
diff --git a/gdb/testsuite/gdb.base/logical.exp b/gdb/testsuite/gdb.base/logical.exp deleted file mode 100644 index 304f45c66ec..00000000000 --- a/gdb/testsuite/gdb.base/logical.exp +++ /dev/null @@ -1,577 +0,0 @@ -# Copyright 1998, 1999 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 2 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, write to the Free Software -# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. - -# Please email any bugs, comments, and/or additions to this file to: -# bug-gdb@prep.ai.mit.edu - -# This file was written by Elena Zannoni (ezannoni@cygnus.com) - -# This file is part of the gdb testsuite - -# -# tests for correctenss of logical operators, associativity and precedence -# with integer type variables -# - -if $tracelevel then { - strace $tracelevel - } - -# -# test running programs -# -set prms_id 0 -set bug_id 0 - -set testfile "int-type" -set srcfile ${testfile}.c -set binfile ${objdir}/${subdir}/${testfile} - -if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug additional_flags=-w}] != "" } { - gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail." - } - -if [get_compiler_info ${binfile}] { - return -1; -} - -gdb_exit -gdb_start -gdb_reinitialize_dir $srcdir/$subdir -gdb_load ${binfile} - - -# -# set it up at a breakpoint so we can play with the variable values -# - -if ![runto_main] then { - perror "couldn't run to breakpoint" - continue -} - -# -# test expressions with "int" types -# - -gdb_test "set variable x=0" "" "set variable x=0" -gdb_test "set variable y=0" "" "set variable y=0" -gdb_test "set variable z=0" "" "set variable z=0" - -send_gdb "print x\n" -gdb_expect { - -re ".*0.*$gdb_prompt $" { - pass "print value of x" - } - -re ".*$gdb_prompt $" { fail "print value of x" } - timeout { fail "(timeout) print value of x" } - } - - -send_gdb "print y\n" -gdb_expect { - -re ".*0.*$gdb_prompt $" { - pass "print value of y" - } - -re ".*$gdb_prompt $" { fail "print value of y" } - timeout { fail "(timeout) print value of y" } - } - -send_gdb "print z\n" -gdb_expect { - -re ".*0.*$gdb_prompt $" { - pass "print value of z" - } - -re ".*$gdb_prompt $" { fail "print value of z" } - timeout { fail "(timeout) print value of z" } - } - - -# truth tables for && , || , ! - -send_gdb "print x && y\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x<y" - } - -re ".*$gdb_prompt $" { fail "print value of x<y" } - timeout { fail "(timeout) print value of x<y" } - } - - - -send_gdb "print x || y\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x<=y" - } - -re ".*$gdb_prompt $" { fail "print value of x<=y" } - timeout { fail "(timeout) print value of x<=y" } - } - -send_gdb "print !x\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x>y" - } - -re ".*$gdb_prompt $" { fail "print value of x>y" } - timeout { fail "(timeout) print value of x>y" } - } - -gdb_test "set variable y=1" "" "set variable y=1" - -send_gdb "print x && y\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x<y" - } - -re ".*$gdb_prompt $" { fail "print value of x<y" } - timeout { fail "(timeout) print value of x<y" } - } - - - -send_gdb "print x || y\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x<=y" - } - -re ".*$gdb_prompt $" { fail "print value of x<=y" } - timeout { fail "(timeout) print value of x<=y" } - } - -gdb_test "set variable x=1" "" "set variable x=1" - -send_gdb "print x && y\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x<y" - } - -re ".*$gdb_prompt $" { fail "print value of x<y" } - timeout { fail "(timeout) print value of x<y" } - } - - - -send_gdb "print x || y\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x<=y" - } - -re ".*$gdb_prompt $" { fail "print value of x<=y" } - timeout { fail "(timeout) print value of x<=y" } - } - -send_gdb "print !x\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x>y" - } - -re ".*$gdb_prompt $" { fail "print value of x>y" } - timeout { fail "(timeout) print value of x>y" } - } - -gdb_test "set variable y=0" "" "set variable y=0" - -send_gdb "print x && y\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x<y" - } - -re ".*$gdb_prompt $" { fail "print value of x<y" } - timeout { fail "(timeout) print value of x<y" } - } - - - -send_gdb "print x || y\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x<=y" - } - -re ".*$gdb_prompt $" { fail "print value of x<=y" } - timeout { fail "(timeout) print value of x<=y" } - } - - -# end truth tables for &&, ||, ! - - -# test associativity of && , || , ! - -gdb_test "set variable x=0" "" "set variable x=0" -gdb_test "set variable y=0" "" "set variable y=0" -gdb_test "set variable z=0" "" "set variable z=0" - -send_gdb "print x && y && z\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x && y && z (000)" - } - -re ".*$gdb_prompt $" { fail "print value of x && y && z (000) " } - timeout { fail "(timeout) print value of x && y && z (000) " } - } - -send_gdb "print x || y || z\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x || y || z (000)" - } - -re ".*$gdb_prompt $" { fail "print value of x || y || z (000)" } - timeout { fail "(timeout) print value of x || y || z (000) " } - } - -send_gdb "print !!x\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of !!x (0)" - } - -re ".*$gdb_prompt $" { fail "print value of !!x (0)" } - timeout { fail "(timeout) print value of !!x (0) " } - } - - -gdb_test "set variable y=1" "" "set variable y=1" - -send_gdb "print x && y && z\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x && y && z (010)" - } - -re ".*$gdb_prompt $" { fail "print value of x && y && z (010) " } - timeout { fail "(timeout) print value of x && y && z (010) " } - } - -send_gdb "print x || y || z\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x || y || z (010)" - } - -re ".*$gdb_prompt $" { fail "print value of x || y || z (010)" } - timeout { fail "(timeout) print value of x || y || z (010) " } - } - - -gdb_test "set variable z=1" "" "set variable z=1" - -send_gdb "print x && y && z\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x && y && z (011)" - } - -re ".*$gdb_prompt $" { fail "print value of x && y && z (011) " } - timeout { fail "(timeout) print value of x && y && z (011) " } - } - -send_gdb "print x || y || z\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x || y || z (011)" - } - -re ".*$gdb_prompt $" { fail "print value of x || y || z (011)" } - timeout { fail "(timeout) print value of x || y || z (011) " } - } - - -gdb_test "set variable x=1" "" "set variable x=1" - -send_gdb "print x && y && z\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x && y && z (111)" - } - -re ".*$gdb_prompt $" { fail "print value of x && y && z (111) " } - timeout { fail "(timeout) print value of x && y && z (111) " } - } - -send_gdb "print x || y || z\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x || y || z (111)" - } - -re ".*$gdb_prompt $" { fail "print value of x || y || z (111)" } - timeout { fail "(timeout) print value of x || y || z (111) " } - } - -send_gdb "print !!x\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of !!x (1)" - } - -re ".*$gdb_prompt $" { fail "print value of !!x (1)" } - timeout { fail "(timeout) print value of !!x (1) " } - } - - -gdb_test "set variable z=0" "" "set variable z=0" - -send_gdb "print x && y && z\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x && y && z (110)" - } - -re ".*$gdb_prompt $" { fail "print value of x && y && z (110) " } - timeout { fail "(timeout) print value of x && y && z (110) " } - } - -send_gdb "print x || y || z\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x || y || z (110)" - } - -re ".*$gdb_prompt $" { fail "print value of x || y || z (110)" } - timeout { fail "(timeout) print value of x || y || z (110) " } - } - - - - -gdb_test "set variable y=0" "" "set variable y=0" - -send_gdb "print x && y && z\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x && y && z (100)" - } - -re ".*$gdb_prompt $" { fail "print value of x && y && z (100) " } - timeout { fail "(timeout) print value of x && y && z (100) " } - } - -send_gdb "print x || y || z\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x || y || z (100)" - } - -re ".*$gdb_prompt $" { fail "print value of x || y || z (100)" } - timeout { fail "(timeout) print value of x || y || z (100) " } - } - - - - -gdb_test "set variable z=1" "" "set variable z=1" - -send_gdb "print x && y && z\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x && y && z (101)" - } - -re ".*$gdb_prompt $" { fail "print value of x && y && z (101) " } - timeout { fail "(timeout) print value of x && y && z (101) " } - } - -send_gdb "print x || y || z\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x || y || z (101)" - } - -re ".*$gdb_prompt $" { fail "print value of x || y || z (101)" } - timeout { fail "(timeout) print value of x || y || z (101) " } - } - - -gdb_test "set variable x=0" "" "set variable x=0" - -send_gdb "print x && y && z\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x && y && z (001)" - } - -re ".*$gdb_prompt $" { fail "print value of x && y && z (001) " } - timeout { fail "(timeout) print value of x && y && z (001) " } - } - -send_gdb "print x || y || z\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x || y || z (001)" - } - -re ".*$gdb_prompt $" { fail "print value of x || y || z (001)" } - timeout { fail "(timeout) print value of x || y || z (001) " } - } - - - - -# test precedence of &&, || ,! - - -send_gdb "print !x && y\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of !x && y (00)" - } - -re ".*$gdb_prompt $" { fail "print value of !x && y (00)" } - timeout { fail "(timeout) print value of !x && y (00) " } - } - - -gdb_test "set variable x=1" "" "set variable x=1" - - -send_gdb "print !x && y\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of !x && y (10)" - } - -re ".*$gdb_prompt $" { fail "print value of !x && y (10)" } - timeout { fail "(timeout) print value of !x && y (10) " } - } - - - - -gdb_test "set variable y=1" "" "set variable y=1" - -send_gdb "print !x || y\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of !x || y (11)" - } - -re ".*$gdb_prompt $" { fail "print value of !x || y (11)" } - timeout { fail "(timeout) print value of !x || y (11) " } - } - - -gdb_test "set variable x=0" "" "set variable x=0" - - -send_gdb "print !x || y\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of !x || y (01)" - } - -re ".*$gdb_prompt $" { fail "print value of !x || y (01)" } - timeout { fail "(timeout) print value of !x || y (01) " } - } - - - -gdb_test "set variable x=1" "" "set variable x=1" -gdb_test "set variable z=0" "" "set variable z=0" - -send_gdb "print x || y && z\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x || y && z (110)" - } - -re ".*$gdb_prompt $" { fail "print value of x || y && z (110)" } - timeout { fail "(timeout) print value of x || y && z (110) " } - } - - -gdb_test "set variable y=0" "" "set variable y=0" - - -send_gdb "print x || y && z\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x || y && z (100)" - } - -re ".*$gdb_prompt $" { fail "print value of x || y && z (100)" } - timeout { fail "(timeout) print value of x || y && z (100) " } - } - - - -gdb_test "set variable x=0" "" "set variable x=0" - -send_gdb "print x || !y && z\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - - gdb_test "set variable x=1" "" "set variable x=1" - send_gdb "print x || !y && z\n" - gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x || !y && z " - } - -re ".*$gdb_prompt $" { fail "print value of x || !y && z" } - timeout { fail "(timeout) print value of x || !y && z " } - } - } - -re ".*$gdb_prompt $" { fail "print value of x || y && z " } - timeout { fail "(timeout) print value of x || y && z " } - } - - - - - -gdb_test "set variable x=1" "" "set variable x=1" -gdb_test "set variable y=2" "" "set variable y=2" -gdb_test "set variable w=3" "" "set variable w=3" -gdb_test "set variable z=3" "" "set variable z=3" - - -send_gdb "print x > y || w == z\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x > y || w == z" - } - -re ".*$gdb_prompt $" { fail "print value of x > y || w == z" } - timeout { fail "(timeout) print value of x > y || w == z " } - } - - -gdb_test "set variable x=1" "" "set variable x=1" -gdb_test "set variable y=2" "" "set variable y=2" -gdb_test "set variable w=1" "" "set variable w=1" -gdb_test "set variable z=3" "" "set variable z=3" - - -send_gdb "print x >= y && w != z\n" -gdb_expect { - -re ".*$false.*$gdb_prompt $" { - pass "print value of x >= y || w != z" - } - -re ".*$gdb_prompt $" { fail "print value of x >= y || w != z" } - timeout { fail "(timeout) print value of x >= y || w != z " } - } - - - -gdb_test "set variable x=2" "" "set variable x=2" -gdb_test "set variable y=2" "" "set variable y=2" -gdb_test "set variable w=2" "" "set variable w=2" -gdb_test "set variable z=3" "" "set variable z=3" - - -send_gdb "print ! x > y || w + z\n" -gdb_expect { - -re ".*$true.*$gdb_prompt $" { - pass "print value of x > y || w != z" - } - -re ".*$gdb_prompt $" { fail "print value of x > y || w != z" } - timeout { fail "(timeout) print value of x > y || w != z " } - } - - - - - - - - - - - - - - - - - |