1# Copyright 1998, 1999, 2001, 2002, 2003, 2004, 2007
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 3 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, see <http://www.gnu.org/licenses/>.
16
17# tests for misc. C++ method stuff
18# Written by Satish Pai <pai@apollo.hp.com> 1997-07-08
19
20# This file is part of the gdb testsuite
21
22# This tests:
23# 0. method arguments are correct
24# 1. access to class data members inside method scopes
25# 2. correct param types for methods in ptype.
26# 3. const and volatile methods
27
28# (#0 and #1 above relate to an HP specific problem -- GDB must correctly
29# integrate FPARAM symbols in HP debug info into the local var list
30# for the function or method's block.)
31
32if $tracelevel then {
33        strace $tracelevel
34        }
35
36#
37# test running programs
38#
39set prms_id 0
40set bug_id 0
41
42if { [skip_cplus_tests] } { continue }
43
44set testfile "method"
45set srcfile ${testfile}.cc
46set binfile ${objdir}/${subdir}/${testfile}
47
48if  { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug c++}] != "" } {
49     untested method.exp
50     return -1
51}
52
53if [get_compiler_info $binfile "c++"] {
54  return -1
55}
56
57gdb_exit
58gdb_start
59gdb_reinitialize_dir $srcdir/$subdir
60gdb_load ${binfile}
61
62
63#
64# set it up at a breakpoint so we can play with the variable values
65#
66if ![runto_main] then {
67    perror "couldn't run to breakpoint"
68    continue
69}
70
71gdb_test "break A::foo" \
72  "Breakpoint \[0-9\]* at $hex.*file .*method.cc, line 38\\."
73
74gdb_test "continue" \
75  "Continuing\\.\r\n\r\nBreakpoint \[0-9\]*, A::foo(\\(int\\)|) \\(this=$hex, arg=13\\) at .*method\\.cc:38\r\n38\[\t \]*x \\+= arg;" \
76  "continue to A::foo"
77
78# Check ability to access this-relative stuff.
79
80gdb_test "print x" \
81   "\\$\[0-9\]* = 20" \
82   "print x in A::foo"
83
84# Check access to this pointer
85
86gdb_test "print this" \
87   "\\$\[0-9\]* = \\((class |)A *\\* *(const|)\\) $hex" \
88   "print this in A::foo"
89
90# Now do everything over again for A::bar, because sometimes processing one method
91# (the first one) is fine, but the second one's debug info gets munged beyond recognition.
92
93gdb_test "break A::bar" \
94  "Breakpoint \[0-9\]* at $hex.*file .*method.cc, line 44\\."
95
96gdb_test "continue" \
97  "Continuing\\.\r\n\r\nBreakpoint \[0-9\]*, A::bar(|\\(int\\) const| const) \\(this=$hex, arg=15\\) at .*method\\.cc:44\r\n44\[\t \]*return arg \\+ 2 \\* x;" \
98  "continue to A::bar"
99
100# Check ability to access this-relative stuff.
101
102gdb_test "print x" \
103  "\\$\[0-9\]* = 33" \
104  "print x in A::bar"
105
106# Check access to this pointer
107
108get_debug_format
109
110send_gdb "print this\n"
111gdb_expect {
112  -re "\\$\[0-9\]* = \\(const (class |)A *\\* *(const|)\\) $hex\r\n$gdb_prompt $" {
113    pass "print this in A::bar"
114  }
115  -re "\\$\[0-9\]* = \\((class |)A *\\* *(const|)\\) $hex\r\n$gdb_prompt $" {
116    # gcc versions up to 3.0.4 with -gstabs+ do not emit "const" indicators,
117    # so the output is "A *".  It should be "const A *" or "const A * const".
118    setup_xfail_format "stabs"
119    fail "print this in A::bar (missing const)"
120  }
121  -re "\\$\[0-9\]* = \\(const (class |)\{\\.\\.\\.\} *\\* *(const|)\\) $hex\r\n$gdb_prompt $" {
122    # gcc versions gcc-3_1-branch%20020404 and HEAD%20020404 with -gstabs+
123    # produce good stabs, but gdb prints "const class {...} *" const.
124    # This is PR gdb/277.
125    # setup_kfail "gdb/277"
126    fail "print this in A::bar (gdb/277)"
127  }
128  -re ".*$gdb_prompt $" { fail "print this in A::bar" }
129  timeout { fail "(timeout) print this in A::bar" }
130}
131
132# Check again with funk::getFunky (this is the original test case
133# for CHFts23426); sometimes having a constructor with no arguments
134# will nuke the debug info read in for other methods in the class.
135
136gdb_test "break 21" \
137  "Breakpoint \[0-9\]* at $hex.*file .*method.cc, line 21\\."
138
139gdb_test "continue" \
140  "Continuing\\.\r\n\r\nBreakpoint \[0-9\]*, funk::getFunky(\\(int, int\\)|) \\(this=$hex, a=1, b=2\\) at .*method\\.cc:21\r\n21\[\t \]*data_ = res;" \
141  "continue to 21"
142
143# Check ability to access this-relative stuff.
144
145gdb_test "print data_" \
146  "\\$\[0-9\]* = 33" \
147  "print data_ in funk::getFunky"
148
149# Check access to this pointer
150
151gdb_test "print this" \
152  "\\$\[0-9\]* = \\((class |)funk *\\* *(const|)\\) $hex" \
153  "print this in funk::getFunky"
154
155# Check access to local variable
156
157gdb_test "print res" \
158  "\\$\[0-9\]* = -30" \
159   "print res in funk::getFunky"
160
161# Check ptype of class -- should show const/volatile methods
162
163send_gdb "ptype A\n"
164gdb_expect {
165   -re "type = class A \{\r\n\[ \]*public:\r\n\[ \]*int x;\r\n\[ \]*int y;\r\n\r\n\[ \]*int foo\\(int\\);\r\n\[ \]*int bar\\(int\\) const;\r\n\[ \]*int baz\\(int, char\\) volatile;\r\n\[ \]*int qux\\(int, float\\) (const volatile|volatile const);\r\n\}\r\n$gdb_prompt $" {
166      pass "ptype A"
167   }
168   -re "type = class A \{\r\n\[ \]*public:\r\n\[ \]*int x;\r\n\[ \]*int y;\r\n\r\n\[ \]*A & operator=\\(A const ?&\\);\r\n\[ \]*A\\(A const ?&\\);\r\n\[ \]*A\\((void|)\\);\r\n\[ \]*int foo\\(int\\);\r\n\[ \]*int bar\\(int\\) const;\r\n\[ \]*int baz\\(int, char\\) volatile;\r\n\[ \]*int qux\\(int, float\\) (const volatile|volatile const);\r\n\}\r\n$gdb_prompt $" {
169      pass "ptype A"
170   }
171   -re "type = class A \{\r\n\[ \]*public:\r\n\[ \]*int x;\r\n\[ \]*int y;\r\n\r\n\[ \]*int foo\\(int\\);\r\n\[ \]*int bar\\(int\\) const;\r\n\[ \]*int baz\\(int, char\\) volatile;\r\n\[ \]*int qux\\(int, float\\) (const volatile|volatile const);\r\n\[ \]*A & operator=\\(A const ?&\\);\r\n\[ \]*A\\(A const ?&\\);\r\n\[ \]*A\\((void|)\\);\r\n\}\r\n$gdb_prompt $" {
172      pass "ptype A"
173   }
174   -re "type = class A \{\r\n\[ \]*public:\r\n\[ \]*int x;\r\n\[ \]*int y;\r\n\r\n\[ \]*int foo\\(int\\);\r\n\[ \]*int bar\\(int\\) const;\r\n\[ \]*int baz\\(int, char\\);\r\n\[ \]*int qux\\(int, float\\) const;\r\n\}\r\n$gdb_prompt $" {
175      pass "ptype A (HP aCC bug -- volatile not indicated)"
176   }
177   -re "type = class A \{\r\n\[ \]*public:\r\n\[ \]*int x;\r\n\[ \]*int y;\r\n\r\n\[ \]*int foo\\(int\\);\r\n\[ \]*int bar\\(int\\) const;\r\n\[ \]*int baz\\(int, char\\) volatile;\r\n\[ \]*int qux\\(int, float\\) const volatile;\r\n\}\r\n$gdb_prompt $" {
178      pass "ptype A"
179   }
180   -re ".*$gdb_prompt $" { fail "ptype A" }
181   timeout { fail "(timeout) ptype A" }
182}
183
184send_gdb "cont\n"
185gdb_expect {
186    -re "Continuing.\r\n\r\nProgram exited normally.*$gdb_prompt $" {
187	pass "finish program"
188    }
189    -re "Continuing.* EXIT code 0.*Program exited normally.*$gdb_prompt $" {
190	pass "finish program (exit wrapper)"
191    }
192    -re ".*$gdb_prompt $" { fail "finish program" }
193    default:{               fail "finish program (timeout)" }
194}
195
196