-# Copyright 1998, 1999, 2000, 2001, 2002, 2003, 2004
-# Free Software Foundation, Inc.
+# Copyright 1998-2016 Free Software Foundation, Inc.
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2 of the License, or
+# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
-#
+#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
-#
+#
# You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
# This file was written by Elena Zannoni (ezannoni@cygnus.com)
# And rewritten by Michael Chastain <mec.gnu@mindspring.com>
set ws "\[\r\n\t \]+"
set nl "\[\r\n\]+"
-if $tracelevel then {
- strace $tracelevel
-}
-
# Start program.
-set prms_id 0
-set bug_id 0
if { [skip_cplus_tests] } { continue }
load_lib "cp-support.exp"
-set testfile "derivation"
-set srcfile ${testfile}.cc
-set binfile ${objdir}/${subdir}/${testfile}
+standard_testfile derivation.cc derivation2.cc
-if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug c++}] != "" } {
- gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail."
+if {[prepare_for_testing $testfile.exp $testfile \
+ [list $srcfile $srcfile2] {debug c++}]} {
+ return -1
}
-gdb_exit
-gdb_start
-gdb_reinitialize_dir $srcdir/$subdir
-gdb_load ${binfile}
+# Check inheritance of typedefs.
+with_test_prefix "before run" {
+ foreach klass {"A" "D" "E" "F" "A2" "D2"} {
+ gdb_test "ptype ${klass}::value_type" "type = int"
+ gdb_test "whatis ${klass}::value_type" "type = int"
+ gdb_test "p (${klass}::value_type) 0" " = 0"
+ }
+ foreach klass {"Z" "ZZ"} {
+ gdb_test "ptype ${klass}::value_type" "type = float"
+ gdb_test "whatis ${klass}::value_type" "type = float"
+ gdb_test "p (${klass}::value_type) 0" " = 0"
+ }
+}
# Set it up at a breakpoint so we can play with the variable values.
continue
}
+# Check inheritance of typedefs again, but this time with an active block.
+with_test_prefix "at marker1" {
+ foreach klass {"A" "D" "A2" "D2"} {
+ gdb_test "ptype ${klass}::value_type" "type = int"
+ gdb_test "whatis ${klass}::value_type" "type = int"
+ gdb_test "p (${klass}::value_type) 0" " = 0"
+ }
+}
+
gdb_test "up" ".*main.*" "up from marker1"
# Print class types and values.
gdb_test "print a_instance" "\\$\[0-9\]+ = \{a = 1, aa = 2\}" "print value of a_instance"
cp_test_ptype_class \
- "ptype a_instance" "" "class" "A" \
+ "a_instance" "" "class" "A" \
{
- { field public "int a;" }
- { field public "int aa;" }
+ { field public "A::value_type a;" }
+ { field public "A::value_type aa;" }
{ method public "A();" }
- { method public "int afoo();" }
- { method public "int foo();" }
+ { method public "A::value_type afoo();" }
+ { method public "A::value_type foo();" }
+ { typedef public "typedef int value_type;" }
}
# class D
}
cp_test_ptype_class \
- "ptype d_instance" "" "class" "D" \
+ "d_instance" "" "class" "D" \
{
{ base "private A" }
{ base "public B" }
{ base "protected C" }
- { field public "int d;" }
- { field public "int dd;" }
+ { field public "A::value_type d;" }
+ { field public "A::value_type dd;" }
{ method public "D();" }
- { method public "int dfoo();" }
- { method public "int foo();" }
+ { method public "A::value_type dfoo();" }
+ { method public "A::value_type foo();" }
} \
"" \
{
}
cp_test_ptype_class \
- "ptype e_instance" "" "class" "E" \
+ "e_instance" "" "class" "E" \
{
{ base "public A" }
{ base "private B" }
{ base "protected C" }
- { field public "int e;" }
- { field public "int ee;" }
+ { field public "A::value_type e;" }
+ { field public "A::value_type ee;" }
{ method public "E();" }
- { method public "int efoo();" }
- { method public "int foo();" }
+ { method public "A::value_type efoo();" }
+ { method public "A::value_type foo();" }
} \
"" \
{
}
cp_test_ptype_class \
- "ptype f_instance" "" "class" "F" \
+ "f_instance" "" "class" "F" \
{
{ base "private A" }
{ base "public B" }
{ base "private C" }
- { field public "int f;" }
- { field public "int ff;" }
+ { field public "A::value_type f;" }
+ { field public "A::value_type ff;" }
{ method public "F();" }
- { method public "int ffoo();" }
+ { method public "A::value_type ffoo();" }
+ { method public "A::value_type foo();" }
+ }
+
+# class G
+cp_test_ptype_class \
+ "g_instance" "" "class" "G" \
+ {
+ { base "private A" }
+ { base "public B" }
+ { base "protected C" }
+ { field public "int g;" }
+ { field public "int gg;" }
+ { field public "int a;" }
+ { field public "int b;" }
+ { field public "int c;" }
+ { method public "int gfoo();" }
{ method public "int foo();" }
}
gdb_test "print g_instance.bfoo()" "\\$\[0-9\]+ = 2" "print value of g_instance.bfoo()"
gdb_test "print g_instance.cfoo()" "\\$\[0-9\]+ = 3" "print value of g_instance.cfoo()"
+
+# Check typedefs of fields
+foreach Klass {"C" "G"} {
+ set klass [string tolower $Klass]
+ set instance "${klass}_instance"
+ set var "${instance}.$klass"
+ gdb_test "whatis $var" "int"
+ gdb_test "ptype $var" "int"
+}
+
+foreach Klass {"A" "B" "D" "E" "F"} {
+ set klass [string tolower $Klass]
+ set instance "${klass}_instance"
+ set var "${instance}.$klass"
+ gdb_test "whatis $var" "A::value_type"
+ gdb_test "ptype $var" "int"
+ if {![string equal $Klass "B"]} {
+ gdb_test "p (${Klass}::value_type) 0" " = 0"
+ }
+}
+
+foreach Klass {"Z" "ZZ"} {
+ set klass [string tolower $Klass]
+ set instance "${klass}_instance"
+ set var "${instance}.$klass"
+ gdb_test "whatis $var" "Z::value_type"
+ gdb_test "ptype $var" "float"
+ gdb_test "p (${Klass}::value_type) 0" " = 0"
+}
+
+# This is a regression test for a bug that caused a crash when trying
+# to print the vtbl pointer. We don't care about the output so much
+# here (it is tested elsewhere), just that gdb doesn't crash. We test
+# "ptype" first because, before the gdb fix, that was the only code
+# path calling get_vptr_fieldno.
+gdb_test "ptype vderived" "type = .*"
+gdb_test "print vderived" " = {.* inter = 0.*x = 0}"
+
+# Test whether inheritance of typedefs is properly
+# reported when stopped.
+gdb_test "ptype N::value_type" "type = double"
+gdb_test "ptype N::Derived::value_type" "type = int"
+
+# Now run to N::Derived::doit and get the type of "value_type"
+if {![runto "N::Derived::doit"]} {
+ perror "couldn't run to N::Derived::doit"
+ continue
+}
+
+gdb_test "ptype value_type" "type = int"