1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
# Copyright 2020-2024 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/>.
load_lib "ada.exp"
load_lib "gdb-python.exp"
require allow_ada_tests
standard_ada_testfile p
set old_gcc [gnat_version_compare < 8]
proc gdb_test_with_xfail { cmd re re_xfail msg } {
global scenario old_gcc
set have_xfail [expr $old_gcc && [string equal "$scenario" "minimal"]]
gdb_test_multiple $cmd $msg {
-re -wrap $re {
pass $gdb_test_name
}
-re -wrap $re_xfail {
if { $have_xfail } {
# gcc/101633
setup_xfail *-*-*
}
fail $gdb_test_name
}
}
}
foreach_gnat_encoding scenario flags {all minimal} {
lappend flags debug
if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "START" ${testdir}/p.adb]
runto "p.adb:$bp_location"
set v1 "(tag => object, values => (2, 2, 2, 2, 2))"
set v1_xfail "(tag => object, values => ())"
set v2 "(tag => unused)"
set re [string_to_regexp " = ($v1, $v2)"]
set re_xfail [string_to_regexp " = ($v1_xfail, $v2)"]
gdb_test_with_xfail "print objects" $re $re_xfail "print entire array"
set re [string_to_regexp " = $v1"]
set re_xfail [string_to_regexp " = $v1_xfail"]
gdb_test_with_xfail "print objects(1)" $re $re_xfail \
"print first array element"
set re [string_to_regexp " = ($v1)"]
set re_xfail [string_to_regexp " = ($v1_xfail)"]
gdb_test_with_xfail "print objects(1 .. 1)" $re $re_xfail \
"print first array slice"
gdb_test "print objects(2)" \
[string_to_regexp " = $v2"] \
"print second array element"
gdb_test "print objects(2 .. 2)" \
[string_to_regexp " = (2 => $v2)"] \
"print second array slice"
# This is only supported for the DWARF encoding.
if {$scenario == "minimal" && [allow_python_tests]} {
gdb_test_no_output \
"python o = gdb.parse_and_eval('objects')" \
"fetch value for python"
set re [string_to_regexp "($v1, $v2)"]
set re_xfail [string_to_regexp "($v1_xfail, $v2)"]
gdb_test_with_xfail "python print(o)" $re $re_xfail \
"python print array"
set re [string_to_regexp "$v1"]
set re_xfail [string_to_regexp "$v1_xfail"]
gdb_test_with_xfail "python print(o\[1\])" $re $re_xfail \
"python print first array element"
gdb_test "python print(o\[2\])" \
[string_to_regexp "$v2"] \
"python print second array element"
}
set av1 "(initial => 0, rest => (tag => unused, cval => 88 'X'))"
set av2 "(initial => 0, rest => (tag => object, ival => 88))"
set full "($av1, $av2)"
gdb_test "print another_array(1)" " = [string_to_regexp $av1]" \
"print first element of another_array"
gdb_test "print another_array(2)" " = [string_to_regexp $av2]" \
"print second element of another_array"
gdb_test "print another_array" " = [string_to_regexp $full]" \
"print another_array"
}
|
