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 | # This test checks the behavior of formatted print when applied to a | |
19 | # reference value. The intended behavior is that a formatted print of | |
20 | # such a value should display the same value as a plain print, | |
21 | # modulo format, of course. Older versions of GDB would instead print | |
22 | # the reference's address value itself when doing a formatted print, | |
23 | # rather than printing both that and the dereferenced value. We also | |
24 | # check that the (non-standard) expression &(&x), where x is of type T&, | |
25 | # yields an appropriate value. | |
c332165e JG |
26 | # This also tests that some other arithmetic operations on references |
27 | # work properly: condition expression using a reference object as one of its | |
28 | # operand. | |
8d04f9f0 JB |
29 | |
30 | if $tracelevel then { | |
31 | strace $tracelevel | |
32 | } | |
33 | ||
8d04f9f0 JB |
34 | |
35 | if { [skip_cplus_tests] } { continue } | |
36 | ||
37 | set testfile "formatted-ref" | |
38 | set srcfile ${testfile}.cc | |
39 | set binfile ${objdir}/${subdir}/${testfile} | |
40 | ||
41 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug c++}] != "" } { | |
42 | untested formatted-ref.exp | |
43 | return -1 | |
44 | } | |
45 | ||
46 | proc get_address { var } { | |
47 | global expect_out | |
48 | global gdb_prompt | |
49 | ||
50 | send_gdb "print &$var\n" | |
51 | gdb_expect { | |
52 | -re "\\$\[0-9\]+ = \\(.*\\) (0x\[0-9a-f\]+).*$gdb_prompt $" { | |
53 | return $expect_out(1,string) | |
54 | } | |
55 | timeout { | |
56 | perror "couldn't find address of $var" | |
57 | return "" | |
58 | } | |
59 | } | |
60 | } | |
61 | ||
62 | proc test_p_x { var type val addr } { | |
63 | global gdb_prompt | |
64 | ||
65 | set test "print/x $var" | |
66 | gdb_test_multiple $test $test { | |
67 | -re "\\$\[0-9\]+ = \\([string_to_regexp $type]\\) @0x\[a-f0-9\]+: [string_to_regexp $val].*$gdb_prompt $" { | |
68 | pass $test | |
69 | } | |
70 | -re "\\$\[0-9\]+ = $addr.*$gdb_prompt $" { | |
71 | fail "$test (prints just address)" | |
72 | } | |
73 | -re "\\$\[0-9\]+ = 0x\[a-f0-9\]+.*$gdb_prompt $" { | |
74 | fail "$test (prints unexpected address)" | |
75 | } | |
76 | } | |
77 | return 0 | |
78 | } | |
79 | ||
80 | proc test_p_x_addr { var addr } { | |
81 | global gdb_prompt | |
82 | ||
83 | set test "print/x &$var" | |
84 | gdb_test_multiple $test $test { | |
85 | -re "\\$\[0-9\]+ = $addr.*$gdb_prompt $" { | |
86 | pass $test | |
87 | } | |
88 | -re "\\$\[0-9\]+ = 0x\[a-f0-9+\]+.*$gdb_prompt $" { | |
89 | fail "$test (prints unexpected address)" | |
90 | } | |
91 | } | |
92 | return 0 | |
93 | } | |
94 | ||
95 | proc test_p_x_ref_addr { var addr } { | |
96 | global gdb_prompt | |
97 | ||
98 | set test "print/x *(&(&$var))" | |
99 | gdb_test_multiple $test $test { | |
100 | -re "\\$\[0-9\]+ = $addr.*$gdb_prompt $" { | |
101 | pass $test | |
7cbcbded DJ |
102 | } |
103 | -re "Attempt to take address of value not located in memory.*$gdb_prompt $" { | |
104 | # The reference might be in a register. At least we parsed | |
105 | # correctly... | |
106 | pass $test | |
107 | } | |
8d04f9f0 JB |
108 | -re "\\$\[0-9\]+ = 0x\[a-f0-9+\]+.*$gdb_prompt $" { |
109 | fail "$test (prints unexpected address)" | |
110 | } | |
111 | } | |
112 | return 0 | |
113 | } | |
114 | ||
c332165e JG |
115 | proc test_p_op1_equals_op2 {op1 op2} { |
116 | set test "print $op1 == $op2" | |
117 | gdb_test $test "\\$\[0-9\]+ = true" | |
118 | } | |
119 | ||
8d04f9f0 JB |
120 | gdb_exit |
121 | gdb_start | |
122 | gdb_reinitialize_dir $srcdir/$subdir | |
123 | gdb_load ${binfile} | |
124 | ||
125 | runto ${srcfile}:[gdb_get_line_number "marker here"] | |
126 | ||
127 | set s1_address [get_address "s1"] | |
128 | set e1_address [get_address "e1"] | |
129 | set i1_address [get_address "i1"] | |
130 | ||
131 | test_p_x "s" "Struct1 &" "{x = 0xd, y = 0x13}" $s1_address | |
132 | test_p_x "e" "Enum1 &" "0xb" $e1_address | |
133 | test_p_x "i" "int &" "0x17" $i1_address | |
134 | ||
135 | test_p_x_addr "s" $s1_address | |
136 | test_p_x_addr "e" $e1_address | |
137 | test_p_x_addr "i" $i1_address | |
138 | ||
139 | test_p_x_ref_addr "s" $s1_address | |
140 | test_p_x_ref_addr "i" $i1_address | |
141 | test_p_x_ref_addr "e" $e1_address | |
c332165e JG |
142 | |
143 | test_p_op1_equals_op2 "s.x" "13" |