gdb/testsuite/gdb.base/volatile.exp

   1 # Copyright 1997-2019 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 3 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, see <http://www.gnu.org/licenses/>.
  15
  16 # Written by Satish Pai <pai@apollo.hp.com> 1997-07-07
  17 #    In the spirit of constvars.exp: added volatile, const-volatile stuff.
  18
  19 # This file is part of the gdb testsuite
  20 # Tests for:
  21 #           volatile vars
  22 #           pointers to volatile vars
  23 #           const volatile vars
  24 #           pointers to const volatile vars
  25 #           const pointers to volatile vars
  26 #           volatile pointers to const vars
  27 #           const volatile pointers to const vars
  28 #           const volatile pointers to volatile vars
  29 #           ... etc.  (you get the idea)
  30 # Mostly with char and unsigned char.
  31
  32 #
  33 # test running programs
  34 #
  35
  36 # Use the same test program constvars.c.
  37
  38 if { [prepare_for_testing "failed to prepare" volatile constvars.c] } {
  39     return -1
  40 }
  41
  42 # Create and source the file that provides information about the compiler
  43 # used to compile the test case.
  44 if [get_compiler_info] {
  45     return -1
  46 }
  47
  48 #
  49 # set it up at a breakpoint so we can play with the variable values
  50 #
  51 if ![runto_main] then {
  52     perror "couldn't run to breakpoint"
  53     continue
  54 }
  55
  56 get_debug_format
  57
  58 # Many tests xfail with gcc 2 -gstabs+.
  59
  60 proc local_compiler_xfail_check { } {
  61     if { [test_compiler_info gcc-2-*] } then {
  62         if { ![test_debug_format "HP"] \
  63                 && ![test_debug_format "DWARF 2"] } then {
  64             setup_xfail "*-*-*"
  65         }
  66     }
  67 }
  68
  69 # A few tests still xfail with gcc 3 -gstabs+ and gcc 4 -gstabs+.
  70
  71 proc local_compiler_xfail_check_2 { } {
  72     if { [test_compiler_info gcc-3-*] || [test_compiler_info gcc-4-*] } {
  73         if { [test_debug_format "stabs" ] } {
  74             setup_xfail "*-*-*"
  75         }
  76     }
  77 }
  78
  79 gdb_test "break marker1" ".*" ""
  80
  81 gdb_test_multiple "cont" "continue to marker1" {
  82     -re "Break.* marker1 \\(\\) at .*:$decimal.*$gdb_prompt $" {
  83         pass "continue to marker1"
  84     }
  85     -re "Break.* marker1__.* \\(\\) at .*:$decimal.*$gdb_prompt $" {
  86         fail "continue to marker1 (demangling)"
  87     }
  88 }
  89 gdb_test "up" " in main .*" "up from marker1"
  90
  91 # As of Feb 1999, GCC does not issue info about volatility of vars, so
  92 # these tests are all expected to fail if GCC is the compiler. -sts
  93
  94 local_compiler_xfail_check
  95 gdb_test "ptype vox" "type = volatile char.*"
  96
  97 local_compiler_xfail_check
  98 gdb_test "ptype victuals" "type = volatile unsigned char.*"
  99
 100 local_compiler_xfail_check
 101 gdb_test "ptype vixen" "type = volatile short.*"
 102
 103 local_compiler_xfail_check
 104 gdb_test "ptype vitriol" "type = volatile (unsigned short|short unsigned)( int)?.*"
 105
 106 local_compiler_xfail_check
 107 gdb_test "ptype vellum" "type = volatile long.*"
 108
 109 local_compiler_xfail_check
 110 gdb_test "ptype valve" "type = volatile (unsigned long|long unsigned)( int)?.*"
 111
 112 local_compiler_xfail_check
 113 gdb_test "ptype vacuity" "type = volatile float.*"
 114
 115 local_compiler_xfail_check
 116 gdb_test "ptype vertigo" "type = volatile double.*"
 117
 118 local_compiler_xfail_check
 119 gdb_test "ptype vampire" "type = volatile char \\*.*"
 120
 121 local_compiler_xfail_check
 122 gdb_test "ptype viper" "type = volatile unsigned char \\*.*"
 123
 124 local_compiler_xfail_check
 125 gdb_test "ptype vigour" "type = volatile short( int)? \\*.*"
 126
 127 local_compiler_xfail_check
 128 gdb_test "ptype vapour" "type = volatile (unsigned short|short unsigned)( int)? \\*.*"
 129
 130 local_compiler_xfail_check
 131 gdb_test "ptype ventricle" "type = volatile long( int)? \\*.*"
 132
 133 local_compiler_xfail_check
 134 gdb_test "ptype vigintillion" "type = volatile (unsigned long|long unsigned)( int)? \\*.*"
 135
 136 local_compiler_xfail_check
 137 gdb_test "ptype vocation" "type = volatile float \\*.*"
 138
 139 local_compiler_xfail_check
 140 gdb_test "ptype veracity" "type = volatile double \\*.*"
 141
 142 local_compiler_xfail_check
 143 gdb_test "ptype vapidity" "type = volatile char \\* volatile.*"
 144
 145 local_compiler_xfail_check
 146 gdb_test "ptype velocity" "type = volatile unsigned char \\* volatile.*"
 147
 148 local_compiler_xfail_check
 149 gdb_test "ptype veneer" "type = volatile short( int)? \\* volatile.*"
 150
 151 local_compiler_xfail_check
 152 gdb_test "ptype video" "type = volatile (unsigned short|short unsigned) \\* volatile.*"
 153
 154 local_compiler_xfail_check
 155 gdb_test "ptype vacuum" "type = volatile long( int)? \\* volatile.*"
 156
 157 local_compiler_xfail_check
 158 gdb_test "ptype veniality" "type = volatile (unsigned long|long unsigned)( int)? \\* volatile.*"
 159
 160 local_compiler_xfail_check
 161 gdb_test "ptype vitality" "type = volatile float \\* volatile.*"
 162
 163 local_compiler_xfail_check
 164 gdb_test "ptype voracity" "type = volatile double \\* volatile.*"
 165
 166 local_compiler_xfail_check
 167 gdb_test "ptype victor" "type = const volatile char.*"
 168
 169 local_compiler_xfail_check
 170 gdb_test "ptype vicar" "type = const volatile unsigned char.*"
 171
 172 local_compiler_xfail_check
 173 gdb_test "ptype victory" "type = const volatile char \\*.*"
 174
 175 local_compiler_xfail_check
 176 gdb_test "ptype vicarage" "type = const volatile unsigned char \\*.*"
 177
 178 local_compiler_xfail_check
 179 gdb_test "ptype vein" "type = volatile char \\* const.*"
 180
 181 local_compiler_xfail_check
 182 gdb_test "ptype vogue" "type = volatile unsigned char \\* const.*"
 183
 184 local_compiler_xfail_check
 185 gdb_test "ptype cavern" "type = const volatile char \\* const.*"
 186
 187 local_compiler_xfail_check
 188 gdb_test "ptype coverlet" "type = const volatile unsigned char \\* const.*"
 189
 190 local_compiler_xfail_check
 191 gdb_test "ptype caveat" "type = const char \\* volatile.*"
 192
 193 local_compiler_xfail_check
 194 gdb_test "ptype covenant" "type = const unsigned char \\* volatile.*"
 195
 196 local_compiler_xfail_check
 197 gdb_test "ptype vizier" "type = const volatile char \\* volatile.*"
 198
 199 local_compiler_xfail_check
 200 gdb_test "ptype vanadium" "type = const volatile unsigned char \\* volatile.*"
 201
 202 local_compiler_xfail_check
 203 gdb_test "ptype vane" "type = char \\* const volatile.*"
 204
 205 local_compiler_xfail_check
 206 gdb_test "ptype veldt" "type = unsigned char \\* const volatile.*"
 207
 208 local_compiler_xfail_check
 209 gdb_test "ptype cove" "type = const char \\* const volatile.*"
 210
 211 local_compiler_xfail_check
 212 gdb_test "ptype cavity" "type = const unsigned char \\* const volatile.*"
 213
 214 local_compiler_xfail_check
 215 gdb_test "ptype vagus" "type = volatile char \\* const volatile.*"
 216
 217 local_compiler_xfail_check
 218 gdb_test "ptype vagrancy" "type = volatile unsigned char \\* const volatile.*"
 219
 220 local_compiler_xfail_check
 221 gdb_test "ptype vagary" "type = const volatile char \\* const volatile.*"
 222
 223 local_compiler_xfail_check
 224 gdb_test "ptype vendor" "type = const volatile unsigned char \\* const volatile.*"
 225
 226 # volatile arrays
 227 local_compiler_xfail_check
 228 gdb_test "ptype violent" "type = volatile char \\\[2\\\]"
 229 local_compiler_xfail_check
 230 gdb_test "ptype violet" "type = volatile unsigned char \\\[2\\\]"
 231 local_compiler_xfail_check
 232 gdb_test "ptype vips" "type = volatile short( int)? \\\[2\\\]"
 233 local_compiler_xfail_check
 234 gdb_test "ptype virgen" "type = volatile (unsigned short|short unsigned)( int)? \\\[2\\\]"
 235 local_compiler_xfail_check
 236 gdb_test "ptype vulgar" "type = volatile long( int)? \\\[2\\\]"
 237 local_compiler_xfail_check
 238 gdb_test "ptype vulture" "type = volatile (unsigned long|long unsigned)( int)? \\\[2\\\]"
 239 local_compiler_xfail_check
 240 gdb_test "ptype vilify" "type = volatile float \\\[2\\\]"
 241 local_compiler_xfail_check
 242 gdb_test "ptype villar" "type = volatile double \\\[2\\\]"
 243
 244 # const volatile arrays
 245 local_compiler_xfail_check
 246 gdb_test "ptype vindictive" "type = const volatile char \\\[2\\\]"
 247 local_compiler_xfail_check
 248 gdb_test "ptype vegetation" "type = const volatile unsigned char \\\[2\\\]"
 249
 250 # test function parameters
 251 local_compiler_xfail_check
 252 local_compiler_xfail_check_2
 253
 254 gdb_test "ptype qux2" \
 255     "type = int \\(volatile unsigned char, const volatile int, volatile short( int)?, volatile long( int)? \\*, float \\* volatile, const volatile signed char \\* const volatile\\)" \
 256     "ptype qux2"