1# Copyright 1997, 1998, 1999, 2003, 2004, 2007, 2008, 2009, 2010, 2011
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# 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#
40
41# Use the same test program constvars.c.
42
43if { [prepare_for_testing volatile.exp volatile constvars.c] } {
44    return -1
45}
46
47# Create and source the file that provides information about the compiler
48# used to compile the test case.
49if [get_compiler_info not-used] {
50    return -1;
51}
52
53#
54# set it up at a breakpoint so we can play with the variable values
55#
56if ![runto_main] then {
57    perror "couldn't run to breakpoint"
58    continue
59}
60
61get_debug_format
62
63# Many tests xfail with gcc 2 -gstabs+.
64# TODO: check out the hp side of this.
65
66proc local_compiler_xfail_check { } {
67    if { [test_compiler_info gcc-2-*] } then {
68	if { ![test_debug_format "HP"] \
69		&& ![test_debug_format "DWARF 2"] } then {
70	    setup_xfail "*-*-*"
71	}
72    }
73
74    global hp_cc_compiler
75    if { $hp_cc_compiler } {
76	setup_xfail "hppa*-*-hpux*"
77    }
78}
79
80# A few tests still xfail with gcc 3 -gstabs+ and gcc 4 -gstabs+.
81
82proc local_compiler_xfail_check_2 { } {
83    if { [test_compiler_info gcc-3-*] || [test_compiler_info gcc-4-*] } {
84	if { [test_debug_format "stabs" ] } {
85	    setup_xfail "*-*-*"
86	}
87    }
88}
89
90gdb_test "break marker1" ".*" ""
91
92gdb_test_multiple "cont" "continue to marker1" {
93    -re "Break.* marker1 \\(\\) at .*:$decimal.*$gdb_prompt $" {
94	pass "continue to marker1"
95    }
96    -re "Break.* marker1__.* \\(\\) at .*:$decimal.*$gdb_prompt $" {
97	fail "continue to marker1 (demangling)"
98    }
99}
100gdb_test "up" " in main .*" "up from marker1"
101
102# As of Feb 1999, GCC does not issue info about volatility of vars, so
103# these tests are all expected to fail if GCC is the compiler. -sts
104
105local_compiler_xfail_check
106gdb_test "ptype vox" "type = volatile char.*"
107
108local_compiler_xfail_check
109gdb_test "ptype victuals" "type = volatile unsigned char.*"
110
111local_compiler_xfail_check
112gdb_test "ptype vixen" "type = volatile short.*"
113
114local_compiler_xfail_check
115gdb_test "ptype vitriol" "type = volatile (unsigned short|short unsigned)( int)?.*"
116
117local_compiler_xfail_check
118gdb_test "ptype vellum" "type = volatile long.*"
119
120local_compiler_xfail_check
121gdb_test "ptype valve" "type = volatile (unsigned long|long unsigned)( int)?.*"
122
123local_compiler_xfail_check
124gdb_test "ptype vacuity" "type = volatile float.*"
125
126local_compiler_xfail_check
127gdb_test "ptype vertigo" "type = volatile double.*"
128
129local_compiler_xfail_check
130gdb_test "ptype vampire" "type = volatile char \\*.*"
131
132local_compiler_xfail_check
133gdb_test "ptype viper" "type = volatile unsigned char \\*.*"
134
135local_compiler_xfail_check
136gdb_test "ptype vigour" "type = volatile short( int)? \\*.*"
137
138local_compiler_xfail_check
139gdb_test "ptype vapour" "type = volatile (unsigned short|short unsigned)( int)? \\*.*"
140
141local_compiler_xfail_check
142gdb_test "ptype ventricle" "type = volatile long( int)? \\*.*"
143
144local_compiler_xfail_check
145gdb_test "ptype vigintillion" "type = volatile (unsigned long|long unsigned)( int)? \\*.*"
146
147local_compiler_xfail_check
148gdb_test "ptype vocation" "type = volatile float \\*.*"
149
150local_compiler_xfail_check
151gdb_test "ptype veracity" "type = volatile double \\*.*"
152
153local_compiler_xfail_check
154gdb_test "ptype vapidity" "type = volatile char \\* volatile.*"
155
156local_compiler_xfail_check
157gdb_test "ptype velocity" "type = volatile unsigned char \\* volatile.*"
158
159local_compiler_xfail_check
160gdb_test "ptype veneer" "type = volatile short( int)? \\* volatile.*"
161
162local_compiler_xfail_check
163gdb_test "ptype video" "type = volatile (unsigned short|short unsigned)( int) \\* volatile.*"
164
165local_compiler_xfail_check
166gdb_test "ptype vacuum" "type = volatile long( int)? \\* volatile.*"
167
168local_compiler_xfail_check
169gdb_test "ptype veniality" "type = volatile (unsigned long|long unsigned)( int)? \\* volatile.*"
170
171local_compiler_xfail_check
172gdb_test "ptype vitality" "type = volatile float \\* volatile.*"
173
174local_compiler_xfail_check
175gdb_test "ptype voracity" "type = volatile double \\* volatile.*"
176
177local_compiler_xfail_check
178gdb_test "ptype victor" "type = const volatile char.*"
179
180local_compiler_xfail_check
181gdb_test "ptype vicar" "type = const volatile unsigned char.*"
182
183local_compiler_xfail_check
184gdb_test "ptype victory" "type = const volatile char \\*.*"
185
186local_compiler_xfail_check
187gdb_test "ptype vicarage" "type = const volatile unsigned char \\*.*"
188
189local_compiler_xfail_check
190gdb_test "ptype vein" "type = volatile char \\* const.*"
191
192local_compiler_xfail_check
193gdb_test "ptype vogue" "type = volatile unsigned char \\* const.*"
194
195local_compiler_xfail_check
196gdb_test "ptype cavern" "type = const volatile char \\* const.*"
197
198local_compiler_xfail_check
199gdb_test "ptype coverlet" "type = const volatile unsigned char \\* const.*"
200
201local_compiler_xfail_check
202gdb_test "ptype caveat" "type = const char \\* volatile.*"
203
204local_compiler_xfail_check
205gdb_test "ptype covenant" "type = const unsigned char \\* volatile.*"
206
207local_compiler_xfail_check
208gdb_test "ptype vizier" "type = const volatile char \\* volatile.*"
209
210local_compiler_xfail_check
211gdb_test "ptype vanadium" "type = const volatile unsigned char \\* volatile.*"
212
213local_compiler_xfail_check
214gdb_test "ptype vane" "type = char \\* const volatile.*"
215
216local_compiler_xfail_check
217gdb_test "ptype veldt" "type = unsigned char \\* const volatile.*"
218
219local_compiler_xfail_check
220gdb_test "ptype cove" "type = const char \\* const volatile.*"
221
222local_compiler_xfail_check
223gdb_test "ptype cavity" "type = const unsigned char \\* const volatile.*"
224
225local_compiler_xfail_check
226gdb_test "ptype vagus" "type = volatile char \\* const volatile.*"
227
228local_compiler_xfail_check
229gdb_test "ptype vagrancy" "type = volatile unsigned char \\* const volatile.*"
230
231local_compiler_xfail_check
232gdb_test "ptype vagary" "type = const volatile char \\* const volatile.*"
233
234local_compiler_xfail_check
235gdb_test "ptype vendor" "type = const volatile unsigned char \\* const volatile.*"
236
237# test function parameters
238local_compiler_xfail_check
239local_compiler_xfail_check_2
240
241gdb_test "ptype qux2" \
242    "type = int \\(volatile unsigned char, const volatile int, volatile short( int)?, volatile long( int)? \\*, float \\* volatile, const volatile signed char \\* const volatile\\)" \
243    "ptype qux2"
244