1 # Copyright 2002-2004, 2007-2012 Free Software Foundation, Inc.
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.
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.
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/>.
16 # This file is part of the gdb testsuite
18 # Test casting, especially between class types or pointer-to-class
21 # This file is part of the gdb testsuite
24 # test running programs
28 if { [skip_cplus_tests] } { continue }
31 set srcfile ${testfile}.cc
32 set binfile ${objdir}/${subdir}/${testfile}
34 if [get_compiler_info "c++"] {
38 if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug c++}] != "" } {
46 gdb_reinitialize_dir $srcdir/$subdir
49 if ![runto_main] then {
50 perror "couldn't run to breakpoint"
54 gdb_test "break [gdb_get_line_number "casts.exp: 1"]" \
55 "Breakpoint.*at.* file .*" \
58 gdb_test "continue" "Breakpoint .* at .*casts.cc.*" ""
60 # Casting a pointer to a base class to a pointer to a derived class
61 # should yield the entire derived class. Until August 2002, GDB got
62 # the enclosing type on `(B *) a' wrong: while the value's static type
63 # was `B *', as it should be, the enclosing type (which is supposed to
64 # be the dynamic type) was `A *'. It's senseless to have a static
65 # type derived from the dynamic type; it should be the other way
66 # 'round. Dereferencing this oddly typed pointer yielded a value in
67 # which only the base class's members were initialized, since GDB uses
68 # the enclosing type to decide how many bytes to read. Members from
69 # the derived class were garbage, from GDB's address space.
70 gdb_test "print * (B *) a" ".* = {<A> = {a = 42}, b = 1729}" \
71 "cast base class pointer to derived class pointer"
73 # Check also that we get the same results from letting the compiler do
75 gdb_test "print * b" ".* = {<A> = {a = 42}, b = 1729}" \
76 "let compiler cast base class pointer to derived class pointer"
78 # Check upcasting (it is trivial but still).
79 gdb_test "print * (A *) b" ".* = {a = 42}" \
80 "cast derived class pointer to base class pointer"
84 gdb_test "print (A &) br" ".* = .A &.* {a = 42}" \
85 "cast derived class reference to base class reference"
88 gdb_test "print (B &) ar" ".* = .B.* {<A> = {a = 42}, b = 1729}" \
89 "cast base class reference to derived class reference"
91 # Check compiler casting
92 gdb_test "print br" ".* = .B.* {<A> = {a = 42}, b = 1729}" \
93 "let compiler cast base class reference to derived class reference"
96 # A few basic tests of "new" casts.
98 gdb_test "print const_cast<const B *> (b)" " = \\(const B \\*\\) $hex" \
99 "basic test of const_cast"
101 gdb_test "print const_cast<void *> (0)" " = \\(void \\*\\) 0x0" \
104 gdb_test "print static_cast<A *> (b)" " = \\(A \\*\\) $hex" \
105 "basic test of static_cast"
107 gdb_test "print static_cast<A &> (*b)" " = \\(A \\&\\) @$hex: {a = 42}" \
108 "static_cast to reference type"
110 gdb_test "print reinterpret_cast<A *> (b)" " = \\(A \\*\\) $hex" \
111 "basic test of reinterpret_cast"
113 gdb_test "print reinterpret_cast<void> (b)" "Invalid reinterpret_cast" \
114 "test invalid reinterpret_cast"
116 gdb_test "print reinterpret_cast<A &> (*b)" " = \\(A \\&\\) @$hex: {a = 42}" \
117 "reinterpret_cast to reference type"
119 # Tests of dynamic_cast.
121 set nonzero_hex "0x\[0-9A-Fa-f\]\[0-9A-Fa-f\]+"
123 gdb_test "print dynamic_cast<void> (a)" \
124 ".*must be a pointer or reference type" \
125 "invalid dynamic_cast"
127 gdb_test "print dynamic_cast<void *> (0)" \
128 " = \\(void \\*\\) 0x0" \
129 "dynamic_cast of 0 to void*"
131 gdb_test "print dynamic_cast<Alpha *> (&derived)" \
132 " = \\(Alpha \\*\\) $nonzero_hex" \
133 "dynamic_cast simple upcast"
135 gdb_test "print dynamic_cast<Alpha *> (&doublyderived)" \
136 " = \\(Alpha \\*\\) $nonzero_hex" \
137 "dynamic_cast upcast to unique base"
139 gdb_test "print dynamic_cast<Alpha &> (derived)" \
140 " = \\(Alpha \\&\\) @$nonzero_hex: {.* = ${nonzero_hex}( <vtable for Derived.*>)?}" \
141 "dynamic_cast simple upcast to reference"
143 gdb_test "print dynamic_cast<Derived *> (ad)" \
144 " = \\(Derived \\*\\) ${nonzero_hex}( <vtable for Derived.*>)?" \
145 "dynamic_cast simple downcast"
147 gdb_test "print dynamic_cast<VirtuallyDerived *> (add)" \
148 " = \\(VirtuallyDerived \\*\\) $nonzero_hex" \
149 "dynamic_cast simple downcast to intermediate class"
151 gdb_test "print dynamic_cast<VirtuallyDerived *> (ad)" \
152 " = \\(VirtuallyDerived \\*\\) 0x0" \
153 "dynamic_cast to non-existing base"
155 gdb_test "print dynamic_cast<VirtuallyDerived &> (*ad)" \
156 "dynamic_cast failed" \
157 "dynamic_cast to reference to non-existing base"
159 gdb_test "print dynamic_cast<DoublyDerived *> (add)" \
160 " = \\(DoublyDerived \\*\\) ${nonzero_hex}( <vtable for DoublyDerived.*>)?" \
161 "dynamic_cast unique downcast"
163 gdb_test "print dynamic_cast<Gamma *> (add)" \
164 " = \\(Gamma \\*\\) $nonzero_hex" \
165 "dynamic_cast to sibling"