-# Copyright (C) 1998 Free Software Foundation, Inc.
+# Copyright 1998-2021 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
+# 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, 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
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
# This file was written by Elena Zannoni (ezannoni@cygnus.com)
# 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;
+if { [prepare_for_testing "failed to prepare" relational int-type.c {debug nowarnings}] } {
+ return -1
}
-gdb_exit
-gdb_start
-gdb_reinitialize_dir $srcdir/$subdir
-gdb_load ${binfile}
-
+if [get_compiler_info] {
+ return -1
+}
#
# set it up at a breakpoint so we can play with the variable values
# test expressions with "int" types
#
-gdb_test "set variable x=14" "" "set variable x=14"
-gdb_test "set variable y=2" "" "set variable y=2"
-gdb_test "set variable z=2" "" "set variable z=2"
-gdb_test "set variable w=3" "" "set variable w=3"
-
-send_gdb "print x\n"
-gdb_expect {
- -re ".*14.*$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 ".*2.*$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 ".*2.*$gdb_prompt $" {
- pass "print value of z"
- }
- -re ".*$gdb_prompt $" { fail "print value of z" }
- timeout { fail "(timeout) print value of z" }
- }
-
-send_gdb "print w\n"
-gdb_expect {
- -re ".*3.*$gdb_prompt $" {
- pass "print value of w"
- }
- -re ".*$gdb_prompt $" { fail "print value of w" }
- timeout { fail "(timeout) print value of w" }
- }
-
-
-
-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 > 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 == 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" }
- }
+with_test_prefix "int types" {
+
+ gdb_test_no_output "set variable x=14" "set variable x=14"
+ gdb_test_no_output "set variable y=2" "set variable y=2"
+ gdb_test_no_output "set variable z=2" "set variable z=2"
+ gdb_test_no_output "set variable w=3" "set variable w=3"
+
+ gdb_test "print x" " = 14" "print value of x"
+
+ gdb_test "print y" " = 2" "print value of y"
+
+ gdb_test "print z" " = 2" "print value of z"
+ gdb_test "print w" " = 3" "print value of w"
+ gdb_test "print x < y" "$false" "print value of x<y"
+
+ gdb_test "print x <= y" "$false" "print value of x<=y"
+
+ gdb_test "print x > y" "$true" "print value of x>y"
+
+ gdb_test "print x >= y" "$true" "print value of x>=y"
+
+ gdb_test "print x == y" "$false" "print value of x==y"
+
+ gdb_test "print x != y" "$true" "print value of x!=y"
+}
# Test associativity of <, >, <=, >=, ==, !=
+with_test_prefix "basic associativity" {
-gdb_test "set variable x=3" "" "set variable x"
-gdb_test "set variable y=5" "" "set variable y"
-gdb_test "set variable z=2" "" "set variable z"
-
-
-
-send_gdb "print x < y < z\n"
-gdb_expect {
- -re ".*$true.*\r\n$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" }
- }
-
-send_gdb "print x <= y <= z\n"
-gdb_expect {
- -re ".*$true\r\n$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" }
- }
-
-send_gdb "print x > y > z\n"
-gdb_expect {
- -re ".*$false.*\r\n$gdb_prompt $" {
- pass "print value of x>y>z"
- }
- -re 8".*$gdb_prompt $" { fail "print value of x>y>z" }
- timeout { fail "(timeout) print value of x>y>z" }
- }
-
-send_gdb "print x >= y >= z\n"
-gdb_expect {
- -re ".*$false.*\r\n$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" }
- }
-
-gdb_test "set variable x=2" "" "set variable x"
-gdb_test "set variable y=2" "" "set variable y"
-gdb_test "set variable z=1" "" "set variable z"
-
-
-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" }
- }
-
-gdb_test "set variable z=0" "" "set variable z"
-
-
-send_gdb "print x != y != z\n"
-gdb_expect {
- -re ".*$false\r\n$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" }
- }
-
-
-# test precedence rules on pairs of relational operators
-
-gdb_test "set variable x=0" "" "set variable x"
-gdb_test "set variable y=2" "" "set variable y"
-gdb_test "set variable z=2" "" "set variable z"
-
-
-send_gdb "print x < y == z\n"
-gdb_expect {
- -re ".*$false.*$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" }
- }
-
-# 0 2 2
-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" }
- }
-
-gdb_test "set variable x=2" "" "set variable x"
-gdb_test "set variable y=3" "" "set variable y"
-gdb_test "set variable z=1" "" "set variable z"
-
-
-# 2 3 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" }
- }
-
-
-# 2 3 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" }
- }
-
-
-gdb_test "set variable z=0" "" " set variable z"
-
-
-# 2 3 0
-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" }
- }
-
-
-gdb_test "set variable x=1" "" " set variable x"
-
-# 1 3 0
-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" }
- }
-
-
-gdb_test "set variable z=2" "" " set variable z"
-
-# 1 3 2
-send_gdb "print x > y == z\n"
-gdb_expect {
- -re ".*$false.*$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" }
- }
-
-
-gdb_test "set variable x=2" "" " set variable x"
-gdb_test "set variable z=0" "" " set variable z"
-
-# 2 3 0
-send_gdb "print x > y != z\n"
-gdb_expect {
- -re ".*$false.*$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" }
- }
-
-
-gdb_test "set variable x=4" "" "set x to 4"
-
-# 4 3 0
-send_gdb "print x > y <= z\n"
-gdb_expect {
- -re ".*$false.*$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" }
- }
-
-# 4 3 0
-send_gdb "print x >= y == z\n"
-gdb_expect {
- -re ".*$false\r\n$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" }
- }
-
-
-gdb_test "set variable x=2" "" " set variable x"
-
-# 2 3 0
-send_gdb "print x >= y != z\n"
-gdb_expect {
- -re ".*$false\r\n$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" }
- }
-
-
-gdb_test "set variable x=0" "" " set variable x"
-gdb_test "set variable z=4" "" " set variable z"
-
-# 0 3 4
-send_gdb "print x >= y <= z\n"
-gdb_expect {
- -re ".*$true\r\n$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" }
- }
-
-# 0 3 4
-send_gdb "print x <= y == z\n"
-gdb_expect {
- -re ".*$false\r\n$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" }
- }
-
-gdb_test "set variable x=2" "" " set variable x"
-
-# 2 3 4
-send_gdb "print x <= y != z\n"
-gdb_expect {
- -re ".*$true\r\n$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" }
- }
-
-
-# 2 3 4
-send_gdb "print x == y != z\n"
-gdb_expect {
- -re ".*$true\r\n$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" }
- }
-
-
+ gdb_test_no_output "set variable x=3" "set variable x=3"
+ gdb_test_no_output "set variable y=5" "set variable y=5"
+ gdb_test_no_output "set variable z=2" "set variable z=2"
-# test use of parenthesis to enforce different order of evaluation
+ gdb_test "print x < y < z" "$true" "print value of x<y<z"
+
+ gdb_test "print x <= y <= z" "$true" "print value of x<=y<=z"
+
+ gdb_test "print x > y > z" "$false" "print value of x>y>z"
+
+ gdb_test "print x >= y >= z" "$false" "print value of x>=y>=z"
+
+ gdb_test_no_output "set variable x=2" "set variable x=2"
+ gdb_test_no_output "set variable y=2" "set variable y=2"
+ gdb_test_no_output "set variable z=1" "set variable z=1"
+
+ gdb_test "print x == y == z" "$true" "print value of x==y==z"
+
+ gdb_test_no_output "set variable z=0" "set variable z"
+ gdb_test "print x != y != z" "$false" "print value of x!=y!=z"
+}
+
+# Test precedence rules on pairs of relational operators. The use of
+# with_test_prefix with keys 1, 2, 3, etc is only to ensure that the
+# test names are unique. Each nested group of tests starts at a
+# location where we are setting a variable to a value it has had in
+# the past, which would result in a test name repeating.
+with_test_prefix "pair associativity" {
+ with_test_prefix "1" {
+ gdb_test_no_output "set variable x=0" "set variable x=0"
+ gdb_test_no_output "set variable y=2" "set variable y=2"
+ gdb_test_no_output "set variable z=2" "set variable z=2"
+
+ gdb_test "print x < y == z" "$false" "print value of x<y==z"
+
+ # 0 2 2
+ gdb_test "print x < y != z" "$true" "print value of x<y!=z"
+
+ gdb_test_no_output "set variable x=2" "set variable x=2"
+ gdb_test_no_output "set variable y=3" "set variable y=3"
+ gdb_test_no_output "set variable z=1" "set variable z=1"
+
+ # 2 3 1
+ gdb_test "print x < y <= z" "$true" "print value of x<y<=z"
+
+ # 2 3 1
+ gdb_test "print x < y >= z" "$true" "print value of x<y>=z"
+
+ gdb_test_no_output "set variable z=0" " set variable z=0"
+
+ # 2 3 0
+ gdb_test "print x < y > z" "$true" "print value of x<y>z"
+
+ gdb_test_no_output "set variable x=1" " set variable x=1"
+
+ # 1 3 0
+ gdb_test "print x > y >= z" "$true" "print value of x>y>=z"
+ }
+
+ with_test_prefix "2" {
+ gdb_test_no_output "set variable z=2" " set variable z=2"
-gdb_test "set variable z=0" "" " set variable z"
+ # 1 3 2
+ gdb_test "print x > y == z" "$false" "print value of x>y==z"
-# 2 3 0
-send_gdb "print x >= (y < z)\n"
-gdb_expect {
- -re ".*$true\r\n$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)" }
- }
+ gdb_test_no_output "set variable x=2" " set variable x=2"
+ gdb_test_no_output "set variable z=0" " set variable z=0"
+ # 2 3 0
+ gdb_test "print x > y != z" "$false" "print value of x>y!=z"
-# 2 3 0
-send_gdb "print x >= (y != z)\n"
-gdb_expect {
- -re ".*$true\r\n$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)" }
- }
+ gdb_test_no_output "set variable x=4" "set variable x=4"
-# 2 3 0
-send_gdb "print x == (y == z)\n"
-gdb_expect {
- -re ".*$false\r\n$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)" }
- }
+ # 4 3 0
+ gdb_test "print x > y <= z" "$false" "print value of x>y<=z"
+ # 4 3 0
+ gdb_test "print x >= y == z" "$false" "print value of x>=y==z"
+ }
+
+ with_test_prefix "3" {
+ gdb_test_no_output "set variable x=2" " set variable x=2"
-gdb_test "set variable x=1" "" " set variable x"
-gdb_test "set variable z=4" "" " set variable z"
+ # 2 3 0
+ gdb_test "print x >= y != z" "$false" "print value of x>=y!=z"
-# 1 3 4
-send_gdb "print (x == y) < z\n"
-gdb_expect {
- -re ".*$true\r\n$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" }
- }
+ gdb_test_no_output "set variable x=0" " set variable x=0"
+ gdb_test_no_output "set variable z=4" " set variable z=4"
+ # 0 3 4
+ gdb_test "print x >= y <= z" "$true" "print value of x>=y<=z"
+ # 0 3 4
+ gdb_test "print x <= y == z" "$false" "print value of x<=y==z"
+ }
+ with_test_prefix "4" {
+ gdb_test_no_output "set variable x=2" " set variable x=2"
+ # 2 3 4
+ gdb_test "print x <= y != z" "$true" "print value of x<=y!=z"
+ # 2 3 4
+ gdb_test "print x == y != z" "$true" "print value of x==y!=z"
+ }
+}
+
+# test use of parenthesis to enforce different order of evaluation
+with_test_prefix "with parenthesis" {
+ gdb_test_no_output "set variable z=0" " set variable z=0"
+
+ # 2 3 0
+ gdb_test "print x >= (y < z)" "$true" "print value of x>=(y<z)"
+
+ # 2 3 0
+ gdb_test "print x >= (y != z)" "$true" "print value of x>=(y!=z)"
+
+ # 2 3 0
+ gdb_test "print x == (y == z)" "$false" "print value of x==(y==z)"
+
+ gdb_test_no_output "set variable x=1" " set variable x=1"
+ gdb_test_no_output "set variable z=4" " set variable z=4"
+
+ # 1 3 4
+ gdb_test "print (x == y) < z" "$true" "print value of (x==y)<z"
+}