]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blame - gdb/testsuite/gdb.ada/packed_tagged.exp
Copyright year update in most files of the GDB Project.
[thirdparty/binutils-gdb.git] / gdb / testsuite / gdb.ada / packed_tagged.exp
CommitLineData
0b302171 1# Copyright 2008-2012 Free Software Foundation, Inc.
f9c11282
JB
2#
3# This program is free software; you can redistribute it and/or modify
4# it under the terms of the GNU General Public License as published by
5# the Free Software Foundation; either version 3 of the License, or
6# (at your option) any later version.
7#
8# This program is distributed in the hope that it will be useful,
9# but WITHOUT ANY WARRANTY; without even the implied warranty of
10# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11# GNU General Public License for more details.
12#
13# You should have received a copy of the GNU General Public License
14# along with this program. If not, see <http://www.gnu.org/licenses/>.
15
16if $tracelevel then {
17 strace $tracelevel
18}
19
20load_lib "ada.exp"
21
22set testdir "packed_tagged"
23set testfile "${testdir}/comp_bug"
24set srcfile ${srcdir}/${subdir}/${testfile}.adb
25set binfile ${objdir}/${subdir}/${testfile}
26
27file mkdir ${objdir}/${subdir}/${testdir}
28if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug]] != "" } {
29 return -1
30}
31
32# A convenience function that joins all the arguments together,
33# with a regexp that matches zero-or-more end of lines in between
34# each argument. This function is ideal to write the expected output
35# of a GDB command that generates more than a couple of lines, as
36# this allows us to write each line as a separate string, which is
37# easier to read by a human being.
38
39proc multi_line { args } {
40 return [join $args "\[\r\n\]*"]
41}
42
09050809 43clean_restart ${testfile}
f9c11282
JB
44
45set bp_location [gdb_get_line_number "STOP" ${testdir}/comp_bug.adb]
46runto "comp_bug.adb:$bp_location"
47
48gdb_test "print x" \
b6db24e5 49 "= \\(exists => true, value => 10\\)" \
f9c11282
JB
50 "print x"
51
52gdb_test "ptype x" \
53 [multi_line "type = record" \
2bf448e0 54 " exists: (boolean|range false \\.\\. true);" \
f9c11282
JB
55 " case exists is" \
56 " when true =>" \
57 " value: range 0 \\.\\. 255;" \
58 " when others => null;" \
59 " end case;" \
60 "end record" ] \
61 "ptype x"
62