gdb/testsuite/gdb.base/volatile.exp

   1 #   Copyright 1997, 1998, 1999, 2003 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 # Please email any bugs, comments, and/or additions to this file to:
  18 # bug-gdb@prep.ai.mit.edu
  19
  20 # Written by Satish Pai <pai@apollo.hp.com> 1997-07-07
  21 #    In the spirit of constvars.exp: added volatile, const-volatile stuff.
  22
  23 # This file is part of the gdb testsuite
  24 # Tests for:
  25 #           volatile vars
  26 #           pointers to volatile vars
  27 #           const volatile vars
  28 #           pointers to const volatile vars
  29 #           const pointers to volatile vars
  30 #           volatile pointers to const vars
  31 #           const volatile pointers to const vars
  32 #           const volatile pointers to volatile vars
  33 #           ... etc.  (you get the idea)
  34 # Mostly with char and unsigned char.
  35
  36 if $tracelevel then {
  37         strace $tracelevel
  38         }
  39
  40 #
  41 # test running programs
  42 #
  43 set prms_id 0
  44 set bug_id 0
  45
  46 # Use the same test program constvars.c.
  47
  48 set testfile "constvars"
  49 set srcfile ${testfile}.c
  50 set binfile ${objdir}/${subdir}/${testfile}
  51
  52 # Create and source the file that provides information about the compiler
  53 # used to compile the test case.
  54 if [get_compiler_info ${binfile}] {
  55     return -1;
  56 }
  57
  58 if {$hp_aCC_compiler || $hp_cc_compiler} {
  59     set lang "c++"
  60 } else {
  61     set lang ""
  62 }
  63
  64 if  { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable [concat debug $lang]] != "" } {
  65      gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail."
  66 }
  67
  68 remote_exec build "rm -f ${binfile}.ci"
  69 if  [get_compiler_info ${binfile}] {
  70     return -1
  71 }
  72
  73 gdb_exit
  74 gdb_start
  75 gdb_reinitialize_dir $srcdir/$subdir
  76 gdb_load ${binfile}
  77
  78 source ${binfile}.ci
  79
  80 #
  81 # set it up at a breakpoint so we can play with the variable values
  82 #
  83 if ![runto_main] then {
  84     perror "couldn't run to breakpoint"
  85     continue
  86 }
  87
  88 get_debug_format
  89
  90 proc local_compiler_xfail_check { } {
  91     global gcc_compiled;
  92
  93     if {$gcc_compiled == 2} then {
  94         if { ![test_debug_format "HP"] \
  95                 && ![test_debug_format "DWARF 2"] } then {
  96             setup_xfail "*-*-*"
  97         }
  98     }
  99 }
 100
 101 send_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
 127 local_compiler_xfail_check
 128 gdb_test "ptype vox" "type = volatile char.*"
 129
 130 local_compiler_xfail_check
 131 gdb_test "ptype victuals" "type = volatile unsigned char.*"
 132
 133 local_compiler_xfail_check
 134 gdb_test "ptype vixen" "type = volatile short.*"
 135
 136 local_compiler_xfail_check
 137 gdb_test "ptype vitriol" "type = volatile (unsigned short|short unsigned)( int)?.*"
 138
 139 local_compiler_xfail_check
 140 gdb_test "ptype vellum" "type = volatile long.*"
 141
 142 local_compiler_xfail_check
 143 gdb_test "ptype valve" "type = volatile (unsigned long|long unsigned)( int)?.*"
 144
 145 local_compiler_xfail_check
 146 gdb_test "ptype vacuity" "type = volatile float.*"
 147
 148 local_compiler_xfail_check
 149 gdb_test "ptype vertigo" "type = volatile double.*"
 150
 151 local_compiler_xfail_check
 152 gdb_test "ptype vampire" "type = volatile char \\*.*"
 153
 154 local_compiler_xfail_check
 155 gdb_test "ptype viper" "type = volatile unsigned char \\*.*"
 156
 157 local_compiler_xfail_check
 158 gdb_test "ptype vigour" "type = volatile short( int)? \\*.*"
 159
 160 local_compiler_xfail_check
 161 gdb_test "ptype vapour" "type = volatile (unsigned short|short unsigned)( int)? \\*.*"
 162
 163 local_compiler_xfail_check
 164 gdb_test "ptype ventricle" "type = volatile long( int)? \\*.*"
 165
 166 local_compiler_xfail_check
 167 gdb_test "ptype vigintillion" "type = volatile (unsigned long|long unsigned)( int)? \\*.*"
 168
 169 local_compiler_xfail_check
 170 gdb_test "ptype vocation" "type = volatile float \\*.*"
 171
 172 local_compiler_xfail_check
 173 gdb_test "ptype veracity" "type = volatile double \\*.*"
 174
 175 local_compiler_xfail_check
 176 gdb_test "ptype vapidity" "type = volatile char \\* volatile.*"
 177
 178 local_compiler_xfail_check
 179 gdb_test "ptype velocity" "type = volatile unsigned char \\* volatile.*"
 180
 181 local_compiler_xfail_check
 182 gdb_test "ptype veneer" "type = volatile short( int)? \\* volatile.*"
 183
 184 local_compiler_xfail_check
 185 gdb_test "ptype video" "type = volatile (unsigned short|short unsigned)( int) \\* volatile.*"
 186
 187 local_compiler_xfail_check
 188 gdb_test "ptype vacuum" "type = volatile long( int)? \\* volatile.*"
 189
 190 local_compiler_xfail_check
 191 gdb_test "ptype veniality" "type = volatile (unsigned long|long unsigned)( int)? \\* volatile.*"
 192
 193 local_compiler_xfail_check
 194 gdb_test "ptype vitality" "type = volatile float \\* volatile.*"
 195
 196 local_compiler_xfail_check
 197 gdb_test "ptype voracity" "type = volatile double \\* volatile.*"
 198
 199 local_compiler_xfail_check
 200 gdb_test "ptype victor" "type = const volatile char.*"
 201
 202 local_compiler_xfail_check
 203 gdb_test "ptype vicar" "type = const volatile unsigned char.*"
 204
 205 local_compiler_xfail_check
 206 gdb_test "ptype victory" "type = const volatile char \\*.*"
 207
 208 local_compiler_xfail_check
 209 gdb_test "ptype vicarage" "type = const volatile unsigned char \\*.*"
 210
 211 local_compiler_xfail_check
 212 gdb_test "ptype vein" "type = volatile char \\* const.*"
 213
 214 local_compiler_xfail_check
 215 gdb_test "ptype vogue" "type = volatile unsigned char \\* const.*"
 216
 217 local_compiler_xfail_check
 218 gdb_test "ptype cavern" "type = const volatile char \\* const.*"
 219
 220 local_compiler_xfail_check
 221 gdb_test "ptype coverlet" "type = const volatile unsigned char \\* const.*"
 222
 223 local_compiler_xfail_check
 224 gdb_test "ptype caveat" "type = const char \\* volatile.*"
 225
 226 local_compiler_xfail_check
 227 gdb_test "ptype covenant" "type = const unsigned char \\* volatile.*"
 228
 229 local_compiler_xfail_check
 230 gdb_test "ptype vizier" "type = const volatile char \\* volatile.*"
 231
 232 local_compiler_xfail_check
 233 gdb_test "ptype vanadium" "type = const volatile unsigned char \\* volatile.*"
 234
 235 local_compiler_xfail_check
 236 gdb_test "ptype vane" "type = char \\* const volatile.*"
 237
 238 local_compiler_xfail_check
 239 gdb_test "ptype veldt" "type = unsigned char \\* const volatile.*"
 240
 241 local_compiler_xfail_check
 242 gdb_test "ptype cove" "type = const char \\* const volatile.*"
 243
 244 local_compiler_xfail_check
 245 gdb_test "ptype cavity" "type = const unsigned char \\* const volatile.*"
 246
 247 local_compiler_xfail_check
 248 gdb_test "ptype vagus" "type = volatile char \\* const volatile.*"
 249
 250 local_compiler_xfail_check
 251 gdb_test "ptype vagrancy" "type = volatile unsigned char \\* const volatile.*"
 252
 253 local_compiler_xfail_check
 254 gdb_test "ptype vagary" "type = const volatile char \\* const volatile.*"
 255
 256 local_compiler_xfail_check
 257 gdb_test "ptype vendor" "type = const volatile unsigned char \\* const volatile.*"
 258
 259 # test function parameters
 260 local_compiler_xfail_check
 261 if {$gcc_compiled == 3 && [test_debug_format "stabs"]} then {
 262     # For reasons unknown, GCC 3 with stabs mangles several cv-qualified
 263     # arguments to this function.
 264     setup_xfail "*-*-*"
 265 }
 266 send_gdb "ptype qux2\n"
 267 gdb_expect {
 268     -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 $" {
 269         pass "ptype qux2"
 270     }
 271     -re ".*$gdb_prompt $" { fail "ptype qux2" }
 272     timeout           { fail "(timeout) ptype qux2" }
 273   }