gdb/testsuite/gdb.cp/derivation.exp

   1 # Copyright 1998, 1999, 2000, 2001, 2002, 2003, 2004
   2 # Free Software Foundation, Inc.
   3
   4 # This program is free software; you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License as published by
   6 # the Free Software Foundation; either version 2 of the License, or
   7 # (at your option) any later version.
   8 #
   9 # This program is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 # GNU General Public License for more details.
  13 #
  14 # You should have received a copy of the GNU General Public License
  15 # along with this program; if not, write to the Free Software
  16 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  17
  18 # Please email any bugs, comments, and/or additions to this file to:
  19 # bug-gdb@prep.ai.mit.edu
  20
  21 # This file was written by Elena Zannoni (ezannoni@cygnus.com)
  22 # And rewritten by Michael Chastain <mec.gnu@mindspring.com>
  23
  24 # This file is part of the gdb testsuite
  25
  26 # tests for inheritance, with several derivations types combinations
  27 # (private, public, protected)
  28 # classes have simple members and member functions.
  29
  30 set ws "\[\r\n\t \]+"
  31 set nl "\[\r\n\]+"
  32
  33 if $tracelevel then {
  34     strace $tracelevel
  35 }
  36
  37 # Start program.
  38
  39 set prms_id 0
  40 set bug_id 0
  41
  42 if { [skip_cplus_tests] } { continue }
  43
  44 set testfile "derivation"
  45 set srcfile ${testfile}.cc
  46 set binfile ${objdir}/${subdir}/${testfile}
  47
  48 if  { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug c++}] != "" } {
  49      gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail."
  50 }
  51
  52 gdb_exit
  53 gdb_start
  54 gdb_reinitialize_dir $srcdir/$subdir
  55 gdb_load ${binfile}
  56
  57 # Set it up at a breakpoint so we can play with the variable values.
  58
  59 if ![runto 'marker1'] then {
  60     perror "couldn't run to marker1"
  61     continue
  62 }
  63
  64 gdb_test "up" ".*main.*" "up from marker1"
  65
  66 # Print class types and values.
  67 # See virtfunc.exp for a discussion of ptype.
  68
  69 # class A
  70
  71 set re_class            "((struct|class) A \{${ws}public:|struct A \{)"
  72 set re_fields           "int a;${ws}int aa;"
  73 set re_methods          "A\\((void|)\\);${ws}int afoo\\((void|)\\);${ws}int foo\\((void|)\\);"
  74 set re_synth_gcc_23     "A & operator=\\(A const ?&\\);${ws}A\\(A const ?&\\);"
  75 set re_all_methods      "($re_methods|$re_methods${ws}$re_synth_gcc_23|$re_synth_gcc_23${ws}$re_methods)"
  76
  77 gdb_test "print a_instance" "\\$\[0-9\]+ = \{a = 1, aa = 2\}" "print value of a_instance"
  78
  79 gdb_test_multiple "ptype a_instance" "ptype a_instance" {
  80     -re "type = $re_class${ws}$re_fields${ws}$re_methods$nl\}$nl$gdb_prompt $" {
  81         pass "ptype a_instance (no synth ops)"
  82     }
  83     -re "type = $re_class${ws}$re_fields${ws}$re_synth_gcc_23${ws}$re_methods${ws}$nl\}$nl$gdb_prompt $" {
  84         pass "ptype a_instance (with synth ops)"
  85     }
  86     -re "type = $re_class${ws}$re_fields${ws}$re_methods${ws}$re_synth_gcc_23$nl\}$nl$gdb_prompt $" {
  87         pass "ptype a_instance (with synth ops)"
  88     }
  89 }
  90
  91 # class D
  92
  93 set re_class            "class D : private A, public B, protected C \{${ws}public:"
  94 set XX_class            "class D : private A, public B, private C \{${ws}public:"
  95 set re_fields           "int d;${ws}int dd;"
  96 set re_methods          "D\\((void|)\\);${ws}int dfoo\\((void|)\\);${ws}int foo\\((void|)\\);"
  97 set re_synth_gcc_23     "D & operator=\\(D const ?&\\);${ws}D\\(D const ?&\\);"
  98 set re_all_methods      "($re_methods|$re_methods${ws}$re_synth_gcc_23|$re_synth_gcc_23${ws}$re_methods)"
  99
 100 gdb_test_multiple "print d_instance" "print value of d_instance" {
 101     -re "\\$\[0-9\]+ = \{<(class A|A)> = \{a = 1, aa = 2\}, <(class B|B)> = \{b = 3, bb = 4\}, <(class C|C)> = \{c = 5, cc = 6\}, d = 7, dd = 8\}$nl$gdb_prompt $" {
 102         pass "print value of d_instance"
 103     }
 104 }
 105
 106 gdb_test_multiple "ptype d_instance" "ptype d_instance" {
 107     -re "type = $re_class${ws}$re_fields${ws}$re_methods${ws}$re_synth_gcc_23$nl\}$nl$gdb_prompt $" {
 108         pass "ptype d_instance"
 109     }
 110     -re "type = $re_class${ws}$re_fields${ws}$re_all_methods$nl\}$nl$gdb_prompt $" {
 111         pass "ptype d_instance"
 112     }
 113     -re "type = $XX_class${ws}$re_fields${ws}$re_methods${ws}$re_synth_gcc_23$nl\}$nl$gdb_prompt $" {
 114         # TODO: this is a gcc bug
 115         # kfail "gdb/1498" "ptype d_instance"
 116         pass "ptype d_instance"
 117     }
 118     -re "type = $XX_class${ws}$re_fields${ws}$re_all_methods$nl\}$nl$gdb_prompt $" {
 119         # TODO: this is a gcc bug.
 120         # kfail "gdb/1498" "ptype d_instance"
 121         pass "ptype d_instance"
 122     }
 123 }
 124
 125 # class E
 126
 127 set re_class            "class E : public A, private B, protected C \{${ws}public:"
 128 set XX_class            "class E : public A, private B, private C \{${ws}public:"
 129 set re_fields           "int e;${ws}int ee;"
 130 set re_methods          "E\\((void|)\\);${ws}int efoo\\((void|)\\);${ws}int foo\\((void|)\\);"
 131 set re_synth_gcc_23     "E & operator=\\(E const ?&\\);${ws}E\\(E const ?&\\);"
 132 set re_all_methods      "($re_methods|$re_methods${ws}$re_synth_gcc_23|$re_synth_gcc_23${ws}$re_methods)"
 133
 134 gdb_test_multiple "print e_instance" "print value of e_instance" {
 135     -re "\\$\[0-9\]+ = \{<(class A|A)> = \{a = 1, aa = 2\}, <(class B|B)> = \{b = 3, bb = 4\}, <(class C|C)> = \{c = 5, cc = 6\}, e = 9, ee = 10\}$nl$gdb_prompt $" {
 136         pass "print value of e_instance"
 137     }
 138 }
 139
 140 gdb_test_multiple "ptype e_instance" "ptype e_instance" {
 141     -re "type = $re_class${ws}$re_fields${ws}$re_methods${ws}$re_synth_gcc_23$nl\}$nl$gdb_prompt $" {
 142         pass "ptype e_instance"
 143     }
 144     -re "type = $re_class${ws}$re_fields${ws}$re_all_methods$nl\}$nl$gdb_prompt $" {
 145         pass "ptype e_instance"
 146     }
 147     -re "type = $XX_class${ws}$re_fields${ws}$re_methods${ws}$re_synth_gcc_23$nl\}$nl$gdb_prompt $" {
 148         # TODO: this is a gcc bug.
 149         # kfail "gdb/1498" "ptype e_instance"
 150         pass "ptype e_instance"
 151     }
 152     -re "type = $XX_class${ws}$re_fields${ws}$re_all_methods$nl\}$nl$gdb_prompt $" {
 153         # TODO: this is a gcc bug.
 154         # kfail "gdb/1498" "ptype e_instance"
 155         pass "ptype e_instance"
 156     }
 157 }
 158
 159 # class F
 160
 161 set re_class            "class F : private A, public B, private C \{${ws}public:"
 162 set re_fields           "int f;${ws}int ff;"
 163 set re_methods          "F\\((void|)\\);${ws}int ffoo\\((void|)\\);${ws}int foo\\((void|)\\);"
 164 set re_synth_gcc_23     "F & operator=\\(F const ?&\\);${ws}F\\(F const ?&\\);"
 165 set re_all_methods      "($re_methods|$re_methods${ws}$re_synth_gcc_23|$re_synth_gcc_23${ws}$re_methods)"
 166
 167 gdb_test_multiple "print f_instance" "print value of f_instance" {
 168     -re "\\$\[0-9\]+ = \{<(class A|A)> = \{a = 1, aa = 2\}, <(class B|B)> = \{b = 3, bb = 4\}, <(class C|C)> = \{c = 5, cc = 6\}, f = 11, ff = 12\}$nl$gdb_prompt $" {
 169         pass "print value of f_instance"
 170     }
 171 }
 172
 173 gdb_test_multiple "ptype f_instance" "ptype f_instance" {
 174     -re "type = $re_class${ws}$re_fields${ws}$re_methods${ws}$re_synth_gcc_23$nl\}$nl$gdb_prompt $" {
 175         pass "ptype f_instance"
 176     }
 177     -re "type = $re_class${ws}$re_fields${ws}$re_all_methods$nl\}$nl$gdb_prompt $" {
 178         pass "ptype f_instance"
 179     }
 180 }
 181
 182 # Print individual fields.
 183
 184 gdb_test "print d_instance.a"  "\\$\[0-9\]+ = 1" "print value of d_instance.a"
 185 gdb_test "print d_instance.aa" "\\$\[0-9\]+ = 2" "print value of d_instance.aa"
 186 gdb_test "print d_instance.b"  "\\$\[0-9\]+ = 3" "print value of d_instance.b"
 187 gdb_test "print d_instance.bb" "\\$\[0-9\]+ = 4" "print value of d_instance.bb"
 188 gdb_test "print d_instance.c"  "\\$\[0-9\]+ = 5" "print value of d_instance.c"
 189 gdb_test "print d_instance.cc" "\\$\[0-9\]+ = 6" "print value of d_instance.cc"
 190 gdb_test "print d_instance.d"  "\\$\[0-9\]+ = 7" "print value of d_instance.d"
 191 gdb_test "print d_instance.dd" "\\$\[0-9\]+ = 8" "print value of d_instance.dd"
 192
 193 # Print some fields which are defined in the top of class G
 194 # and in its base classes.  This is not be ambiguous.
 195
 196 gdb_test "print g_instance.a"  "\\$\[0-9\]+ = 15" "print value of g_instance.a"
 197 gdb_test "print g_instance.b"  "\\$\[0-9\]+ = 16" "print value of g_instance.b"
 198 gdb_test "print g_instance.c"  "\\$\[0-9\]+ = 17" "print value of g_instance.c"
 199
 200 # Print a function call.
 201
 202 gdb_test "print g_instance.afoo()" "\\$\[0-9\]+ = 1" "print value of g_instance.afoo()"
 203
 204 # If GDB fails to restore the selected frame properly after the
 205 # inferior function call above (see GDB PR 1155 for an explanation of
 206 # why this might happen), all the subsequent tests will fail.  We
 207 # should detect report that failure, but let the marker call finish so
 208 # that the rest of the tests can run undisturbed.
 209
 210 gdb_test_multiple "frame" "re-selected 'main' frame after inferior call" {
 211     -re "#0  marker1.*$gdb_prompt $" {
 212         setup_kfail "gdb/1155" s390-*-linux-gnu
 213         fail "re-selected 'main' frame after inferior call"
 214         gdb_test "finish" ".*main.*at .*derivation.cc:.*// marker1-returns-here.*" \
 215             "finish call to marker1"
 216     }
 217     -re "#1  ($hex in )?main.*$gdb_prompt $" {
 218         pass "re-selected 'main' frame after inferior call"
 219     }
 220 }
 221
 222 gdb_test "print g_instance.bfoo()" "\\$\[0-9\]+ = 2" "print value of g_instance.bfoo()"
 223 gdb_test "print g_instance.cfoo()" "\\$\[0-9\]+ = 3" "print value of g_instance.cfoo()"