Commit | Line | Data |
---|---|---|
4c38e0a4 | 1 | # Copyright 2007, 2008, 2009, 2010 Free Software Foundation, Inc. |
8d04f9f0 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 | ||
16 | # Author: P. N. Hilfinger, AdaCore Inc. | |
17 | ||
18 | # Note: This test is essentially a transcription of gdb.cp/formatted-ref.exp, | |
19 | # and is thus much more wordy than it needs to be. There are fewer | |
20 | # tests because only a few parameter types in Ada are required to be | |
21 | # passed by reference, and there is no equivalent of &(&x) for reference | |
22 | # values. | |
c332165e JG |
23 | # This also tests that some other arithmetic operations on references |
24 | # work properly: condition expression using a reference object as one of its | |
25 | # operand. | |
8d04f9f0 JB |
26 | |
27 | if $tracelevel then { | |
28 | strace $tracelevel | |
29 | } | |
30 | ||
31 | load_lib "ada.exp" | |
32 | ||
33 | set testdir "formatted_ref" | |
34 | set testfile "${testdir}/formatted_ref" | |
35 | set srcfile ${srcdir}/${subdir}/${testfile}.adb | |
36 | set binfile ${objdir}/${subdir}/${testfile} | |
37 | ||
38 | ||
39 | file mkdir ${objdir}/${subdir}/${testdir} | |
40 | if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug ]] != "" } { | |
41 | untested formatted-ref.exp | |
42 | return -1 | |
43 | } | |
44 | ||
45 | proc get_address { var } { | |
46 | global expect_out | |
47 | global gdb_prompt | |
48 | ||
6acb16a2 | 49 | gdb_test_multiple "print $var'access" "address of $var" { |
8d04f9f0 JB |
50 | -re "\\$\[0-9\]+ = \\(.*\\) (0x\[0-9a-f\]+).*$gdb_prompt $" { |
51 | return $expect_out(1,string) | |
8d04f9f0 JB |
52 | } |
53 | } | |
6acb16a2 MS |
54 | perror "couldn't find address of $var" |
55 | return "" | |
8d04f9f0 JB |
56 | } |
57 | ||
58 | proc test_p_x { var val addr } { | |
59 | global gdb_prompt | |
60 | ||
61 | set test "print/x $var" | |
62 | gdb_test_multiple "$test" $test { | |
63 | -re "\\$\[0-9\]+ = [string_to_regexp $val].*$gdb_prompt $" { | |
64 | pass $test | |
65 | } | |
66 | -re "\\$\[0-9\]+ = $addr.*$gdb_prompt $" { | |
67 | fail "$test (prints just address)" | |
68 | } | |
69 | -re "\\$\[0-9\]+ = 0x\[a-f0-9\]+.*$gdb_prompt $" { | |
70 | fail "$test (prints unexpected address)" | |
71 | } | |
72 | } | |
73 | return 0 | |
74 | } | |
75 | ||
76 | proc test_p_x_addr { var addr } { | |
77 | global gdb_prompt | |
78 | ||
79 | set test "print/x $var'access" | |
80 | gdb_test_multiple $test $test { | |
81 | -re "\\$\[0-9\]+ = $addr.*$gdb_prompt $" { | |
82 | pass $test | |
83 | } | |
84 | -re "\\$\[0-9\]+ = 0x\[a-f0-9+\]+.*$gdb_prompt $" { | |
85 | fail "$test (prints unexpected address)" | |
86 | } | |
87 | } | |
88 | return 0 | |
89 | } | |
90 | ||
c332165e JG |
91 | proc test_p_op1_equals_op2 {op1 op2} { |
92 | set test "print $op1 = $op2" | |
93 | gdb_test $test "\\$\[0-9\]+ = true" | |
94 | } | |
95 | ||
8d04f9f0 JB |
96 | gdb_exit |
97 | gdb_start | |
98 | gdb_reinitialize_dir $srcdir/$subdir | |
99 | gdb_load ${binfile} | |
100 | ||
101 | runto defs.adb:[gdb_get_line_number "marker here" ${testdir}/defs.adb ] | |
102 | ||
103 | set s1_address [get_address "s1"] | |
104 | ||
105 | test_p_x "s" "(x => 0xd, y => 0x13)" $s1_address | |
106 | ||
107 | test_p_x_addr "s" $s1_address | |
c332165e JG |
108 | |
109 | test_p_op1_equals_op2 "s.x" "13" |