| # Copyright (C) 1998 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 " } |
| } |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |