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