# 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