1# Copyright 1997, 1998, 1999, 2003, 2004 Free Software Foundation, Inc.
2
3# This program is free software; you can redistribute it and/or modify
4# it under the terms of the GNU General Public License as published by
5# the Free Software Foundation; either version 2 of the License, or
6# (at your option) any later version.
7#
8# This program is distributed in the hope that it will be useful,
9# but WITHOUT ANY WARRANTY; without even the implied warranty of
10# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11# GNU General Public License for more details.
12#
13# You should have received a copy of the GNU General Public License
14# along with this program; if not, write to the Free Software
15# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
16
17# Written by Satish Pai <pai@apollo.hp.com> 1997-07-07
18#    In the spirit of constvars.exp: added volatile, const-volatile stuff.
19
20# This file is part of the gdb testsuite
21# Tests for:
22#           volatile vars
23#           pointers to volatile vars
24#           const volatile vars
25#           pointers to const volatile vars
26#           const pointers to volatile vars
27#           volatile pointers to const vars
28#           const volatile pointers to const vars
29#           const volatile pointers to volatile vars
30#           ... etc.  (you get the idea)
31# Mostly with char and unsigned char.
32
33if $tracelevel then {
34        strace $tracelevel
35        }
36
37#
38# test running programs
39#
40set prms_id 0
41set bug_id 0
42
43# Use the same test program constvars.c.
44
45set testfile "constvars"
46set srcfile ${testfile}.c
47set binfile ${objdir}/${subdir}/${testfile}
48
49# Create and source the file that provides information about the compiler
50# used to compile the test case.
51if [get_compiler_info ${binfile}] {
52    return -1;
53}
54
55if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable debug ] != "" } {
56     gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail."
57}
58
59gdb_exit
60gdb_start
61gdb_reinitialize_dir $srcdir/$subdir
62gdb_load ${binfile}
63
64#
65# set it up at a breakpoint so we can play with the variable values
66#
67if ![runto_main] then {
68    perror "couldn't run to breakpoint"
69    continue
70}
71
72get_debug_format
73
74# Many tests xfail with gcc 2 -gstabs+.
75# TODO: check out the hp side of this.
76
77proc local_compiler_xfail_check { } {
78    if { [test_compiler_info gcc-2-*] } then {
79	if { ![test_debug_format "HP"] \
80		&& ![test_debug_format "DWARF 2"] } then {
81	    setup_xfail "*-*-*"
82	}
83    }
84
85    global hp_cc_compiler
86    if { $hp_cc_compiler } {
87	setup_xfail "hppa*-*-hpux*"
88    }
89}
90
91# A few tests still xfail with gcc 3 -gstabs+ and gcc 4 -gstabs+.
92
93proc local_compiler_xfail_check_2 { } {
94    if { [test_compiler_info gcc-3-*] || [test_compiler_info gcc-4-*] } {
95	if { [test_debug_format "stabs" ] } {
96	    setup_xfail "*-*-*"
97	}
98    }
99}
100
101send_gdb "break marker1\n" ; gdb_expect -re ".*$gdb_prompt $"
102
103    send_gdb "cont\n"
104    gdb_expect {
105        -re "Break.* marker1 \\(\\) at .*:$decimal.*$gdb_prompt $" {
106            send_gdb "up\n"
107            gdb_expect {
108                -re ".*$gdb_prompt $" {}
109                timeout { fail "up from marker1" }
110            }
111        }
112        -re "Break.* marker1__.* \\(\\) at .*:$decimal.*$gdb_prompt $" {
113	    fail "continue to marker1 (demangling)"
114            send_gdb "up\n"
115            gdb_expect {
116                -re ".*$gdb_prompt $" {}
117                timeout { fail "up from marker1" }
118            }
119        }
120        -re "$gdb_prompt $" { fail "continue to marker1"  }
121        timeout { fail "(timeout) continue to marker1"  }
122    }
123
124# As of Feb 1999, GCC does not issue info about volatility of vars, so
125# these tests are all expected to fail if GCC is the compiler. -sts
126
127local_compiler_xfail_check
128gdb_test "ptype vox" "type = volatile char.*"
129
130local_compiler_xfail_check
131gdb_test "ptype victuals" "type = volatile unsigned char.*"
132
133local_compiler_xfail_check
134gdb_test "ptype vixen" "type = volatile short.*"
135
136local_compiler_xfail_check
137gdb_test "ptype vitriol" "type = volatile (unsigned short|short unsigned)( int)?.*"
138
139local_compiler_xfail_check
140gdb_test "ptype vellum" "type = volatile long.*"
141
142local_compiler_xfail_check
143gdb_test "ptype valve" "type = volatile (unsigned long|long unsigned)( int)?.*"
144
145local_compiler_xfail_check
146gdb_test "ptype vacuity" "type = volatile float.*"
147
148local_compiler_xfail_check
149gdb_test "ptype vertigo" "type = volatile double.*"
150
151local_compiler_xfail_check
152gdb_test "ptype vampire" "type = volatile char \\*.*"
153
154local_compiler_xfail_check
155gdb_test "ptype viper" "type = volatile unsigned char \\*.*"
156
157local_compiler_xfail_check
158gdb_test "ptype vigour" "type = volatile short( int)? \\*.*"
159
160local_compiler_xfail_check
161gdb_test "ptype vapour" "type = volatile (unsigned short|short unsigned)( int)? \\*.*"
162
163local_compiler_xfail_check
164gdb_test "ptype ventricle" "type = volatile long( int)? \\*.*"
165
166local_compiler_xfail_check
167gdb_test "ptype vigintillion" "type = volatile (unsigned long|long unsigned)( int)? \\*.*"
168
169local_compiler_xfail_check
170gdb_test "ptype vocation" "type = volatile float \\*.*"
171
172local_compiler_xfail_check
173gdb_test "ptype veracity" "type = volatile double \\*.*"
174
175local_compiler_xfail_check
176gdb_test "ptype vapidity" "type = volatile char \\* volatile.*"
177
178local_compiler_xfail_check
179gdb_test "ptype velocity" "type = volatile unsigned char \\* volatile.*"
180
181local_compiler_xfail_check
182gdb_test "ptype veneer" "type = volatile short( int)? \\* volatile.*"
183
184local_compiler_xfail_check
185gdb_test "ptype video" "type = volatile (unsigned short|short unsigned)( int) \\* volatile.*"
186
187local_compiler_xfail_check
188gdb_test "ptype vacuum" "type = volatile long( int)? \\* volatile.*"
189
190local_compiler_xfail_check
191gdb_test "ptype veniality" "type = volatile (unsigned long|long unsigned)( int)? \\* volatile.*"
192
193local_compiler_xfail_check
194gdb_test "ptype vitality" "type = volatile float \\* volatile.*"
195
196local_compiler_xfail_check
197gdb_test "ptype voracity" "type = volatile double \\* volatile.*"
198
199local_compiler_xfail_check
200gdb_test "ptype victor" "type = const volatile char.*"
201
202local_compiler_xfail_check
203gdb_test "ptype vicar" "type = const volatile unsigned char.*"
204
205local_compiler_xfail_check
206gdb_test "ptype victory" "type = const volatile char \\*.*"
207
208local_compiler_xfail_check
209gdb_test "ptype vicarage" "type = const volatile unsigned char \\*.*"
210
211local_compiler_xfail_check
212gdb_test "ptype vein" "type = volatile char \\* const.*"
213
214local_compiler_xfail_check
215gdb_test "ptype vogue" "type = volatile unsigned char \\* const.*"
216
217local_compiler_xfail_check
218gdb_test "ptype cavern" "type = const volatile char \\* const.*"
219
220local_compiler_xfail_check
221gdb_test "ptype coverlet" "type = const volatile unsigned char \\* const.*"
222
223local_compiler_xfail_check
224gdb_test "ptype caveat" "type = const char \\* volatile.*"
225
226local_compiler_xfail_check
227gdb_test "ptype covenant" "type = const unsigned char \\* volatile.*"
228
229local_compiler_xfail_check
230gdb_test "ptype vizier" "type = const volatile char \\* volatile.*"
231
232local_compiler_xfail_check
233gdb_test "ptype vanadium" "type = const volatile unsigned char \\* volatile.*"
234
235local_compiler_xfail_check
236gdb_test "ptype vane" "type = char \\* const volatile.*"
237
238local_compiler_xfail_check
239gdb_test "ptype veldt" "type = unsigned char \\* const volatile.*"
240
241local_compiler_xfail_check
242gdb_test "ptype cove" "type = const char \\* const volatile.*"
243
244local_compiler_xfail_check
245gdb_test "ptype cavity" "type = const unsigned char \\* const volatile.*"
246
247local_compiler_xfail_check
248gdb_test "ptype vagus" "type = volatile char \\* const volatile.*"
249
250local_compiler_xfail_check
251gdb_test "ptype vagrancy" "type = volatile unsigned char \\* const volatile.*"
252
253local_compiler_xfail_check
254gdb_test "ptype vagary" "type = const volatile char \\* const volatile.*"
255
256local_compiler_xfail_check
257gdb_test "ptype vendor" "type = const volatile unsigned char \\* const volatile.*"
258
259# test function parameters
260local_compiler_xfail_check
261local_compiler_xfail_check_2
262send_gdb "ptype qux2\n"
263gdb_expect {
264    -re "type = int \\(volatile unsigned char, const volatile int, volatile short( int)?, volatile long( int)? \\*, float \\* volatile, const volatile signed char \\* const volatile\\).*$gdb_prompt $" {
265        pass "ptype qux2"
266    }
267    -re ".*$gdb_prompt $" { fail "ptype qux2" }
268    timeout           { fail "(timeout) ptype qux2" }
269  }
270