Commit | Line | Data |
---|---|---|
0fb0cc75 | 1 | # Copyright 2002, 2003, 2004, 2007, 2008, 2009 Free Software Foundation, Inc. |
10abb1d4 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 | |
e22f8b7c | 5 | # the Free Software Foundation; either version 3 of the License, or |
10abb1d4 | 6 | # (at your option) any later version. |
e22f8b7c | 7 | # |
10abb1d4 JB |
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. | |
e22f8b7c | 12 | # |
10abb1d4 | 13 | # You should have received a copy of the GNU General Public License |
e22f8b7c | 14 | # along with this program. If not, see <http://www.gnu.org/licenses/>. |
10abb1d4 | 15 | |
10abb1d4 JB |
16 | # This file is part of the gdb testsuite |
17 | ||
18 | # Test casting, especially between class types or pointer-to-class | |
19 | # types. | |
20 | ||
21 | # This file is part of the gdb testsuite | |
22 | ||
23 | if $tracelevel then { | |
24 | strace $tracelevel | |
25 | } | |
26 | ||
27 | # | |
28 | # test running programs | |
29 | # | |
30 | ||
31 | set prms_id 0 | |
32 | set bug_id 0 | |
33 | ||
34 | if { [skip_cplus_tests] } { continue } | |
35 | ||
36 | set testfile "casts" | |
37 | set srcfile ${testfile}.cc | |
38 | set binfile ${objdir}/${subdir}/${testfile} | |
39 | ||
40 | if [get_compiler_info ${binfile} "c++"] { | |
41 | return -1; | |
42 | } | |
43 | ||
44 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug c++}] != "" } { | |
b60f0898 JB |
45 | untested casts.exp |
46 | return -1 | |
10abb1d4 JB |
47 | } |
48 | ||
49 | ||
50 | gdb_exit | |
51 | gdb_start | |
52 | gdb_reinitialize_dir $srcdir/$subdir | |
53 | gdb_load ${binfile} | |
54 | ||
6eac95e3 CV |
55 | if ![runto_main] then { |
56 | perror "couldn't run to breakpoint" | |
57 | continue | |
58 | } | |
59 | ||
10abb1d4 JB |
60 | gdb_test "break [gdb_get_line_number "casts.exp: 1"]" \ |
61 | "Breakpoint.*at.* file .*" \ | |
62 | "" | |
63 | ||
6eac95e3 | 64 | gdb_test "continue" "Breakpoint .* at .*casts.cc.*" "" |
10abb1d4 JB |
65 | |
66 | # Casting a pointer to a base class to a pointer to a derived class | |
67 | # should yield the entire derived class. Until August 2002, GDB got | |
68 | # the enclosing type on `(B *) a' wrong: while the value's static type | |
69 | # was `B *', as it should be, the enclosing type (which is supposed to | |
70 | # be the dynamic type) was `A *'. It's senseless to have a static | |
71 | # type derived from the dynamic type; it should be the other way | |
72 | # 'round. Dereferencing this oddly typed pointer yielded a value in | |
73 | # which only the base class's members were initialized, since GDB uses | |
74 | # the enclosing type to decide how many bytes to read. Members from | |
75 | # the derived class were garbage, from GDB's address space. | |
76 | gdb_test "print * (B *) a" ".* = {<A> = {a = 42}, b = 1729}" \ | |
77 | "cast base class pointer to derived class pointer" | |
78 | ||
79 | # Check also that we get the same results from letting the compiler do | |
80 | # the dereference. | |
81 | gdb_test "print * b" ".* = {<A> = {a = 42}, b = 1729}" \ | |
82 | "let compiler cast base class pointer to derived class pointer" | |
f0050c20 AR |
83 | |
84 | # Check upcasting (it is trivial but still). | |
85 | gdb_test "print * (A *) b" ".* = {a = 42}" \ | |
86 | "cast derived class pointer to base class pointer" | |
87 | ||
88 | # Casting References. | |
89 | # Check upcasting. | |
90 | gdb_test "print (A &) br" ".* = .A &.* {a = 42}" \ | |
91 | "cast derived class reference to base class reference" | |
92 | ||
93 | # Check downcasting. | |
94 | gdb_test "print (B &) ar" ".* = .B.* {<A> = {a = 42}, b = 1729}" \ | |
95 | "cast base class reference to derived class reference" | |
96 | ||
97 | # Check compiler casting | |
98 | gdb_test "print br" ".* = .B.* {<A> = {a = 42}, b = 1729}" \ | |
99 | "let compiler cast base class reference to derived class reference" |