# Copyright 1992, 1994, 1995, 1996, 1997, 1998, 1999, 2001, 2002, 2003, 2004,
# 2006, 2007, 2008, 2009, 2010 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 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, see .
# This file was written by Fred Fish. (fnf@cygnus.com)
# And rewritten by Michael Chastain .
set nl "\[\r\n\]+"
if $tracelevel then {
strace $tracelevel
}
if { [skip_cplus_tests] } { continue }
load_lib "cp-support.exp"
set testfile "virtfunc"
set srcfile ${testfile}.cc
set binfile ${objdir}/${subdir}/${testfile}
if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {c++ debug}] != "" } {
untested virtfunc.exp
return -1
}
proc test_ptype_of_classes {} {
# class VA
cp_test_ptype_class \
"ptype VA" "" "class" "VA" \
{
{ field public "int va;" }
}
# class VB
cp_test_ptype_class \
"ptype VB" "" "class" "VB" \
{
{ field public "int vb;" }
{ method public "int fvb();" }
{ method public "virtual int vvb();" }
}
# class V
cp_test_ptype_class \
"ptype V" "" "class" "V" \
{
{ base "public VA" }
{ base "public VB" }
{ field public "int w;" }
{ method public "int f();" }
{ method public "virtual int vv();" }
}
# class A
cp_test_ptype_class \
"ptype A" "" "class" "A" \
{
{ base "public virtual V" }
{ vbase "V" }
{ field private "int a;" }
{ method public "virtual int f();" }
}
# class B
cp_test_ptype_class \
"ptype B" "" "class" "B" \
{
{ base "public A" }
{ field private "int b;" }
{ method public "virtual int f();" }
}
# class C
cp_test_ptype_class \
"ptype C" "" "class" "C" \
{
{ base "public virtual V" }
{ vbase "V" }
{ field public "int c;" }
}
# class AD
cp_test_ptype_class \
"ptype AD" "" "class" "AD" \
{
{ method public "virtual int vg();" }
}
# class D
cp_test_ptype_class \
"ptype D" "" "class" "D" \
{
{ base "public AD" }
{ base "public virtual V" }
{ vbase "V" }
{ method public "static void s();" }
{ method public "virtual int vg();" }
{ method public "virtual int vd();" }
{ method public "int fd();" }
{ field public "int d;" }
}
# class E
cp_test_ptype_class \
"ptype E" "" "class" "E" \
{
{ base "public B" }
{ base "public virtual V" }
{ base "public D" }
{ base "public C" }
{ vbase "V" }
{ method public "virtual int f();" }
{ method public "virtual int vg();" }
{ method public "virtual int vv();" }
{ field public "int e;" }
}
# An instance of D
cp_test_ptype_class "ptype dd" "" "class" "D" ibid
# An instance of D *
cp_test_ptype_class "ptype ppd" "" "class" "D" ibid "*"
# An instance of AD *
# TODO: this should be named pADd, not pAd.
cp_test_ptype_class "ptype pAd" "" "class" "AD" ibid "*"
# Instances of these classes.
cp_test_ptype_class "ptype a" "" "class" "A" ibid
cp_test_ptype_class "ptype b" "" "class" "B" ibid
cp_test_ptype_class "ptype c" "" "class" "C" ibid
cp_test_ptype_class "ptype d" "" "class" "D" ibid
cp_test_ptype_class "ptype e" "" "class" "E" ibid
cp_test_ptype_class "ptype v" "" "class" "V" ibid
cp_test_ptype_class "ptype vb" "" "class" "VB" ibid
# Instances of pointers to these classes.
cp_test_ptype_class "ptype pAa" "" "class" "A" ibid "*"
cp_test_ptype_class "ptype pAe" "" "class" "A" ibid "*"
cp_test_ptype_class "ptype pBe" "" "class" "B" ibid "*"
cp_test_ptype_class "ptype pDd" "" "class" "D" ibid "*"
cp_test_ptype_class "ptype pDe" "" "class" "D" ibid "*"
cp_test_ptype_class "ptype pVa" "" "class" "V" ibid "*"
cp_test_ptype_class "ptype pVv" "" "class" "V" ibid "*"
cp_test_ptype_class "ptype pVe" "" "class" "V" ibid "*"
cp_test_ptype_class "ptype pVd" "" "class" "V" ibid "*"
cp_test_ptype_class "ptype pADe" "" "class" "AD" ibid "*"
cp_test_ptype_class "ptype pEe" "" "class" "E" ibid "*"
cp_test_ptype_class "ptype pVB" "" "class" "VB" ibid "*"
}
# Call virtual functions.
proc test_virtual_calls {} {
global gdb_prompt
global nl
if [target_info exists gdb,cannot_call_functions] {
setup_xfail "*-*-*" 2416
fail "This target can not call functions"
return 0
}
gdb_test "print pAe->f()" "\\$\[0-9\]+ = 20"
gdb_test "print pAa->f()" "\\$\[0-9\]+ = 1"
gdb_test "print pDe->vg()" "\\$\[0-9\]+ = 202"
gdb_test "print pADe->vg()" "\\$\[0-9\]+ = 202"
gdb_test "print pDd->vg()" "\\$\[0-9\]+ = 101"
gdb_test "print pEe->vvb()" "\\$\[0-9\]+ = 411"
gdb_test "print pVB->vvb()" "\\$\[0-9\]+ = 407"
gdb_test "print pBe->vvb()" "\\$\[0-9\]+ = 411"
gdb_test "print pDe->vvb()" "\\$\[0-9\]+ = 411"
gdb_test "print pEe->vd()" "\\$\[0-9\]+ = 282"
gdb_test "print pEe->fvb()" "\\$\[0-9\]+ = 311"
# more recent results:
# wrong value "202"
# gcc 2.95.3 -gdwarf-2
# gcc 2.95.3 -gstabs+
# attempt to take addres of value not located in memory
# gcc 3.3.2 -gdwarf-2
# gcc 3.3.2 -gstabs+
#
# -- chastain 2003-12-31
gdb_test_multiple "print pEe->D::vg()" "print pEe->D::vg()" {
-re "\\$\[0-9]+ = 102$nl$gdb_prompt $" {
pass "print pEe->D::vg()"
}
-re "\\$\[0-9]+ = 202$nl$gdb_prompt $" {
# To get this result, we have called pEe->*(&D::vg) ().
# That's how GDB interprets this, but it's wrong; in fact
# the explicit D:: means to bypass virtual function lookup,
# and call D::vg as if it were non-virtual. We still have
# to e.g. adjust "this", though.
kfail "gdb/1064" "print pEe->D::vg()"
}
-re "Attempt to take address of value not located in memory.$nl$gdb_prompt $" {
kfail "gdb/1064" "print pEe->D::vg()"
}
}
}
proc do_tests {} {
global srcdir subdir binfile
global gdb_prompt
gdb_exit
gdb_start
gdb_reinitialize_dir $srcdir/$subdir
gdb_load $binfile
gdb_test "set language c++" "" ""
gdb_test "set width 0" "" ""
if ![runto_main] then {
perror "couldn't run to breakpoint"
return
}
test_ptype_of_classes
gdb_breakpoint test_calls
gdb_test "continue" ".*Breakpoint .* test_calls.*" ""
test_virtual_calls
gdb_test "next" ".*pAa->f.*" "next to pAa->f call"
gdb_test "next" ".*pDe->vg.*" "next to pDe->vg call"
gdb_test "step" ".*E::vg.*" "step through thunk into E::vg"
}
do_tests