local.exp revision 1.3
1# Copyright 1998-2015 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# tests for local variables 17# Written by Satish Pai <pai@apollo.hp.com> 1997-07-08 18# Cleaned by Michael Chastain <mec@shout.net> 2002-04-08 19 20 21# This file is part of the gdb testsuite 22 23set ws "\[\r\n\t \]+" 24set nl "\[\r\n\]+" 25 26# 27# test running programs 28# 29 30if { [skip_cplus_tests] } { continue } 31 32standard_testfile .cc 33 34if [get_compiler_info "c++"] { 35 return -1 36} 37 38if {[prepare_for_testing $testfile.exp $testfile $srcfile {debug c++}]} { 39 return -1 40} 41 42# 43# set it up at a breakpoint so we can play with the variable values 44# 45if ![runto_main] then { 46 perror "couldn't run to breakpoint" 47 continue 48} 49 50if ![runto 'marker1'] then { 51 perror "couldn't run to marker1" 52 continue 53} 54 55gdb_test "up" ".*foobar.*" "up from marker1" 56 57set sep "(\[.\]|___)\[0-9\]" 58 59# ptype on a local variable. 60# 61# This test has six arms. The first three arms accept normal output: 62# no synthetic methods; synthetic methods before user methods; 63# synthetic methods after user methods. 64# 65# The next two arms accept "foobar__Fi.0::Local" instead of "Local". 66# This is a bug. It happens in various places with various versions of 67# gcc and gdb and various debugging types. 68# 69# The last arm accepts the user methods in duplicate. This bug happens 70# with gcc 3.3.2 -gdwarf-2, and has been fixed in gcc HEAD 2004-01-22. 71# 72# -- chastain 2004-01-24 73 74set re_class "((struct|class) Local \{${ws}public:|struct Local \{)" 75set re_fields "int loc1;" 76set re_methods "char loc_foo\\(char\\);" 77set re_synth_gcc_23 "Local & operator=\\(Local const ?&\\);${ws}Local\\(Local const ?&\\);${ws}Local\\((void|)\\);" 78 79set XX_class "((struct|class) foobar__Fi.0::Local \{${ws}public:|struct foobar__Fi.0:Local \{)" 80set XX_synth_gcc_2 "Local & operator=\\(foobar__Fi.0::Local const ?&\\);${ws}Local\\(foobar__Fi.0::Local const ?&\\);${ws}Local\\((void|)\\);" 81set YY_methods "$re_methods${ws}$re_methods" 82 83set name "ptype l" 84gdb_test_multiple "ptype l" $name { 85 -re "type = $re_class${ws}$re_fields${ws}$re_methods$nl\}$nl$gdb_prompt $" { 86 # gdb 6.0, gcc 2.95.3, dwarf-2 87 # gdb 6.0, gcc HEAD 2004-01-22, dwarf-2 88 # gdb HEAD 2004-01-23, gcc HEAD 2004-01,22, dwarf-2 89 pass "$name" 90 } 91 -re "type = $re_class${ws}$re_fields${ws}$re_synth_gcc_23${ws}$re_methods$nl\}$nl$gdb_prompt $" { 92 # gdb 6.0, gcc 3.3.2, stabs+ 93 # gdb HEAD 2004-01-23, gcc 3.3.2, stabs+ 94 pass "$name" 95 } 96 -re "type = $re_class${ws}$re_fields${ws}$re_methods${ws}$re_synth_gcc_23${ws}$nl\}$nl$gdb_prompt $" { 97 # gdb 6.0, gcc HEAD 2004-01-22, stabs+ 98 # gdb HEAD 2004-01-23, gcc HEAD 2004-01-22, stabs+ 99 pass "$name" 100 } 101 -re "type = $XX_class${ws}$re_fields${ws}$re_methods$nl\}$nl$gdb_prompt $" { 102 # gdb HEAD 2004-01-23, gcc 2.95.3, dwarf-2 103 kfail "gdb/1516" "$name" 104 } 105 -re "type = ($re_class|$XX_class)${ws}$re_fields${ws}($re_synth_gcc_23|$XX_synth_gcc_2)${ws}$re_methods$nl\}$nl$gdb_prompt $" { 106 # gdb 6.0, gcc 2.95.3, stabs+ 107 # gdb HEAD 2004-01-23, gcc 2.95.3, stabs+ 108 kfail "gdb/1516" "$name" 109 } 110 -re "type = ($re_class|$XX_class)${ws}$re_fields${ws}$YY_methods$nl\}$nl$gdb_prompt $" { 111 # gdb 6.0, gcc 3.3.2, dwarf-2 112 # gdb HEAD 2004-01-23, gcc 3.2.2, dwarf-2 113 kfail "gdb/483" "$name" 114 } 115} 116 117# This is the same test with "ptype Local" (the type name) 118# instead of "ptype l" (the variable name). 119 120set name "ptype Local" 121gdb_test_multiple "ptype Local" $name { 122 -re "type = $re_class${ws}$re_fields${ws}$re_methods$nl\}$nl$gdb_prompt $" { 123 # gdb 6.0, gcc 2.95.3, dwarf-2 124 # gdb 6.0, gcc HEAD 2004-01-22, dwarf-2 125 # gdb HEAD 2004-01-23, gcc HEAD 2004-01-22, dwarf-2 126 pass "$name" 127 } 128 -re "type = $re_class${ws}$re_fields${ws}$re_synth_gcc_23${ws}$re_methods$nl\}$nl$gdb_prompt $" { 129 # gdb 6.0, gcc 3.3.2, stabs+ 130 # gdb HEAD 2004-01-23, gcc 3.3.2, stabs+ 131 pass "$name" 132 } 133 -re "type = $re_class${ws}$re_fields${ws}$re_methods${ws}$re_synth_gcc_23${ws}$nl\}$nl$gdb_prompt $" { 134 # gdb 6.0, gcc HEAD 2004-01-22, stabs+ 135 # gdb HEAD 2004-01-23, gcc HEAD 2004-01-22, stabs+ 136 pass "$name" 137 } 138 -re "type = $XX_class${ws}$re_fields${ws}$re_methods$nl\}$nl$gdb_prompt $" { 139 kfail "gdb/1516" "$name" 140 } 141 -re "type = ($re_class|$XX_class)${ws}$re_fields${ws}($re_synth_gcc_23|$XX_synth_gcc_2)${ws}$re_methods$nl\}$nl$gdb_prompt $" { 142 # gdb 6.0, gcc 2.95.3, stabs+ 143 # gdb HEAD 2004-01-23, gcc 2.95.3, stabs+ 144 kfail "gdb/1516" "$name" 145 } 146 -re "type = ($re_class|$XX_class)${ws}$re_fields${ws}$YY_methods$nl\}$nl$gdb_prompt $" { 147 # gdb 6.0, gcc 3.3.2, dwarf-2 148 # gdb HEAD 2004-01-23, gcc 3.2.2, dwarf-2 149 kfail "gdb/483" "$name" 150 } 151 -re "No symbol \"Local\" in current context.$nl$gdb_prompt $" { 152 # gdb HEAD 2004-01-23, gcc 2.95.3, dwarf-2 153 fail "$name" 154 } 155} 156 157gdb_test "break marker2" 158gdb_test "continue" "Continuing\\..*Breakpoint \[0-9\]+, marker2.*" \ 159 "continuing to marker2" 160 161gdb_test "up" ".*main.*" "up from marker2" 162 163# Make sure that `Local' isn't in scope here; it's local to foobar. 164# setup_kfail "gdb/825" 165 166set eol "\[\t \]*\[\r\n\]+\[\t \]*" 167gdb_test_multiple "ptype Local" "Local out of scope" { 168 -re "No symbol \"Local\" in current context.*${gdb_prompt} $" { 169 pass "Local out of scope" 170 } 171 -re "ptype Local${eol}type = class Local {${eol} public:${eol} int loc1;${eol}.*${eol} char loc_foo\\(char\\);${eol}}${eol}${gdb_prompt} " { 172 # GCC emits STABS debugging information in a way that doesn't 173 # properly preserve the scoping of local classes. I think 174 # we'd need to start using Sun's extensions to stabs to get 175 # this right. 176 kfail gdb/825 "Local out of scope" 177 } 178 -re "ptype Local${eol}type = class Local {${eol} public:${eol} int loc1;${eol} char loc_foo\\(char\\);${eol}.*${eol}}${eol}${gdb_prompt} " { 179 # gcc 3.X abi-2 -gstabs+ 180 kfail gdb/825 "Local out of scope" 181 } 182} 183 184 185# DTS CLLbs14316 and CLLbs17058 186# coulter - I added a clause for HP's aCC compiler. We print out the type 187# as xx instead of const unsigned char, but we still have an expected failure 188# because of two reasons: 189# There is a number at the end of InnerLocal4 which should not be there, 190# DTS CLLbs14316 191# The line number for the class 192# setup_xfail "hppa*-*-*" CLLbs14316 193 194# --- 195# Pattern 1: 196# PASS 197# dwarf-2 198# 2.95.3, 2.96-rh, 3.0.4, 3.1, gcc-3_1-branch, HEAD 199# 200# Pattern 2: 201# PASS 202# stabs+ 203# 2.95.3, 2.96-rh, 3.0.4, 3.1, gcc-3_1-branch, HEAD 204# 205# Pattern 3: 206# Old hppa pattern. 207# 208# Pattern 4: 209# Old hppa pattern. 210# 211# chastain 2002-05-27 212 213# Pattern 5: 214# PASS 215# stabs+ 216# HEAD 217# 218# chastain 2004-01-02 219 220gdb_test_multiple "ptype InnerLocal" "ptype InnerLocal" { 221 -re "type = class InnerLocal \{\[\r\n\t \]*public:\[\r\n\t \]*char ilc;\[\r\n\t \]*int \\* *ip;\[\r\n\t \]*(InnerLocal::|)NestedInnerLocal nest1;\[\r\n\t \]*int il_foo\\((unsigned char const|const unsigned char) *&\\);\[\r\n\t \]*\}.*$gdb_prompt $" { 222 pass "ptype InnerLocal (pattern 1)" 223 } 224 -re "type = class InnerLocal \{\[\r\n\t \]*public:\[\r\n\t \]*char ilc;\[\r\n\t \]*int \\* *ip;\[\r\n\t \]*(InnerLocal::|)NestedInnerLocal nest1;\[\r\n\t \]*InnerLocal *& operator *=\\((main${sep}::|)InnerLocal const *&\\);\[\r\n\t \]*InnerLocal\\((main${sep}::|)InnerLocal const *&\\);\[\r\n\t \]*InnerLocal\\((void|)\\);\[\r\n\t \]*int il_foo\\(unsigned char const *&\\);\[\r\n\t \]*\}.*$gdb_prompt $" { 225 pass "ptype InnerLocal (pattern 2)" 226 } 227 -re "type = class InnerLocal \{\r\n\[\t \]*public:\r\n\[\t \]*char ilc;\r\n\[\t \]*int \\*ip;\r\n\[\t \]*InnerLocal::NestedInnerLocal nest1;\r\n\r\n\[\t \]*.int il_foo\\(unsigned char const &\\);\r\n\[\t \]*\}\[\t \]*\\(Local at.*local\\.cc:36\\).*$gdb_prompt $" { 228 pass "ptype InnerLocal (old HP aCC)" 229 } 230 -re "type = class InnerLocal \{\r\n\[\t \]*public:\r\n\[\t \]*char ilc;\r\n\[\t \]*int \\*ip;\r\n\[\t \]*class InnerLocal4::NestedInnerLocal nest1;\r\n\r\n\[\t \]*int il_foo\\(unsigned char const &\\);\r\n\[\t \]*\\(Local at.*local\.cc:\[0-9\]+\\)\r\n\}.*$gdb_prompt $" { 231 pass "ptype InnerLocal (old HP aCC)" 232 } 233 -re "type = class InnerLocal \{\[\r\n\t \]*public:\[\r\n\t \]*char ilc;\[\r\n\t \]*int \\* *ip;\[\r\n\t \]*(InnerLocal::|)NestedInnerLocal nest1;\[\r\n\t \]* int il_foo\\(unsigned char const *&\\);\[\r\n\t \]*InnerLocal *& operator *=\\((main${sep}::|)InnerLocal const *&\\);\[\r\n\t \]*InnerLocal\\((main${sep}::|)InnerLocal const *&\\);\[\r\n\t \]*InnerLocal\\((void|)\\);\[\r\n\t \]*\}.*$gdb_prompt $" { 234 pass "ptype InnerLocal (pattern 5)" 235 } 236} 237 238#--- 239# Pattern 1: 240# PASS 241# dwarf-2 242# gcc 2.95.3, 2.96-rh, 3.0.4, gcc-3_1-branch, HEAD 243# 244# Pattern 2: 245# PASS 246# stabs+ 247# gcc 2.95.3, 2.96-rh, 3.0.4, gcc-3_1-branch, HEAD 248# 249# chastain 2002-04-08 250 251# NOTE (2004-02-24, carlton): This test really is invalid - 252# 'NestedInnerLocal' shouldn't be visible, so only the third 253# expression should count as a pass. I'm leaving in the earlier 254# passes, however, given the current problematic state of our local 255# class support, but once we fix PR gdb/482, we should delete this 256# test. 257 258gdb_test_multiple "ptype NestedInnerLocal" "ptype NestedInnerLocal" { 259 -re "type = class NestedInnerLocal \{\[\r\n\t \]*public:\[\r\n\t \]*int nil;\[\r\n\t \]*int nil_foo\\(int\\);\[\r\n\t \]*\}.*$gdb_prompt $" { 260 pass "ptype NestedInnerLocal" 261 } 262 -re "type = class NestedInnerLocal \{\[\r\n\t \]*public:\[\r\n\t \]*int nil;\[\r\n\t \]*NestedInnerLocal *& *operator *= *\\((main${sep}::|)InnerLocal::NestedInnerLocal const *&\\);\[\r\n\t \]*NestedInnerLocal\\((main${sep}::|)InnerLocal::NestedInnerLocal const *&\\);\[\r\n\t \]*NestedInnerLocal\\((void|)\\);\[\r\n\t \]*int nil_foo\\(int\\);\[\r\n\t \]*\}.*$gdb_prompt $" { 263 pass "ptype NestedInnerLocal" 264 } 265 -re "No symbol \"NestedInnerLocal\" in current context\.\r\n$gdb_prompt $" { 266 pass "ptype NestedInnerLocal" 267 } 268} 269 270set re_class "((struct|class) InnerLocal::NestedInnerLocal \{${ws}public:|struct InnerLocal::NestedInnerLocal \{)" 271set re_fields "int nil;" 272set re_methods "int nil_foo\\(int\\);" 273set re_synth_gcc_23 "InnerLocal::NestedInnerLocal & operator=\\(InnerLocal::NestedInnerLocal const ?&\\);${ws}NestedInnerLocal\\(InnerLocal::NestedInnerLocal const ?&\\);${ws}NestedInnerLocal\\(\\);" 274 275set name "ptype InnerLocal::NestedInnerLocal" 276gdb_test_multiple "ptype InnerLocal::NestedInnerLocal" $name { 277 -re "type = $re_class${ws}$re_fields${ws}$re_methods$nl\}$nl$gdb_prompt $" { 278 # gcc -gdwarf-2 should produce this but does not yet 279 pass $name 280 } 281 -re "type = $re_class${ws}$re_fields${ws}$re_synth_gcc_23${ws}$re_methods${ws}$nl\}$nl$gdb_prompt $" { 282 # gcc 2.95.3 -gstabs+ 283 # gcc v3 -gstabs+, abi 1 284 pass $name 285 } 286 -re "type = $re_class${ws}$re_fields${ws}$re_methods${ws}$re_synth_gcc_23${ws}$nl\}$nl$gdb_prompt $" { 287 # gcc v3 -gstabs+, abi 2 288 pass $name 289 } 290 -re "There is no field named NestedInnerLocal.*$gdb_prompt $" { 291 # gcc v3 -gdwarf-2 292 kfail "gdb/482" $name 293 } 294} 295