1# Copyright 1992, 1994, 1995, 1996, 1997, 1999, 2002 Free Software 2# 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 2 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, write to the Free Software 16# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. 17 18# Please email any bugs, comments, and/or additions to this file to: 19# bug-gdb@prep.ai.mit.edu 20 21# This file was written by Fred Fish. (fnf@cygnus.com) 22 23if $tracelevel then { 24 strace $tracelevel 25} 26 27set prms_id 0 28set bug_id 0 29 30set testfile "opaque" 31set binfile ${objdir}/${subdir}/opaque 32 33#if { [gdb_compile "${srcdir}/${subdir}/opaque0.c ${srcdir}/${subdir}/opaque1.c" "${binfile}" executable {debug}] != "" } { 34# gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail." 35#} 36 37if { [gdb_compile "${srcdir}/${subdir}/opaque0.c" "${binfile}0.o" object {debug}] != "" } { 38 gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail." 39} 40 41if { [gdb_compile "${srcdir}/${subdir}/opaque1.c" "${binfile}1.o" object {debug}] != "" } { 42 gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail." 43} 44 45if { [gdb_compile "${binfile}0.o ${binfile}1.o" ${binfile} executable {debug}] != "" } { 46 gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail." 47} 48 49 50# Create and source the file that provides information about the compiler 51# used to compile the test case. 52if [get_compiler_info ${binfile}] { 53 return -1; 54} 55 56# Start with a fresh gdb. 57 58gdb_exit 59gdb_start 60gdb_reinitialize_dir $srcdir/$subdir 61gdb_load ${binfile} 62 63# 64# Test basic opaque structure handling (statically). 65# The ordering of the tests is significant. We first try the things that 66# might fail if gdb fails to connect the uses of opaque structures to 67# the actual opaque structure definition. 68 69# When we start up, gdb sets the file containing main() as the current 70# source file. The actual structure foo is defined in a different file. 71# A pointer (foop) to an instance of the opaque struct is defined in the same 72# source file as main(). Ensure that gdb correctly "connected" the definition 73# in the other file with the pointer to the opaque struct in the file containing 74# "foop". 75 76# Define a procedure to set up an xfail for all targets that do not support 77# this sort of cross reference. 78# Any target gcc that has a DBX_NO_XREFS definition in its config file will 79# not support it (FIXME: Is this still true; I suspect maybe not). 80 81# Native alpha ecoff doesn't support it either. 82# I don't think this type of cross reference works for any COFF target 83# either. 84 85proc setup_xfail_on_opaque_pointer {} { 86 global gcc_compiled 87 88 setup_xfail "vax-*-*" "i*86-sequent-bsd*" 89 if {!$gcc_compiled} then { 90 setup_xfail "alpha-*-*" "mips-sgi-irix5*" 91 } 92} 93 94# This seems easier than trying to track different versions of xlc; I'm 95# not sure there is much rhyme or reason regarding which tests it fails 96# and which ones it passes. 97if {[istarget "rs6000-*-aix*"] && !$gcc_compiled} then { 98 warning "xfails in opaque.exp may not be set up correctly for xlc" 99} 100 101setup_xfail_on_opaque_pointer 102gdb_test "whatis foop" \ 103 "type = struct foo \[*\]+" \ 104 "whatis on opaque struct pointer (statically)" 105 106 107# Ensure that we know the form of the structure that foop points to. 108 109setup_xfail_on_opaque_pointer 110if {!$gcc_compiled} then { setup_xfail "rs6000-*-*" } 111gdb_test "ptype foop" \ 112 "type = struct foo \{\[\r\n\]+ int a;\[\r\n\]+ int b;\[\r\n\]+\} \[*\]+" \ 113 "ptype on opaque struct pointer (statically)" 114 115 116# An instance of the opaque structure (afoo) is defined in a different file. 117# Ensure that we can locate afoo and the structure definition. 118 119gdb_test "whatis afoo" \ 120 "type = struct foo" \ 121 "whatis on opaque struct instance (statically)" 122 123 124# Ensure that we know the form of "afoo". 125 126gdb_test "ptype afoo" \ 127 "type = struct foo \{\[\r\n\]+ int a;\[\r\n\]+ int b;\[\r\n\]+\}" \ 128 "ptype on opaque struct instance (statically)" 129 130 131# Ensure that we know what a struct foo looks like. 132 133gdb_test "ptype struct foo" \ 134 "type = struct foo \{\[\r\n\]+ int a;\[\r\n\]+ int b;\[\r\n\]+\}" \ 135 "ptype on opaque struct tagname (statically)" 136 137 138# 139# Done with static tests, now test dynamic opaque structure handling. 140# We reload the symbol table so we forget about anything we might 141# have learned during the static tests. 142# 143 144if [istarget "mips-idt-*"] then { 145 # Restart because IDT/SIM runs out of file descriptors. 146 gdb_exit 147 gdb_start 148} 149gdb_reinitialize_dir $srcdir/$subdir 150gdb_load ${binfile} 151 152# Run to main, where struct foo is incomplete. 153if ![runto_main] { 154 perror "cannot run to breakpoint at main" 155} 156 157 158# The current source file is now the one containing main(). The structure foo 159# is defined in a different file, but we have a pointer to an instance of 160# the opaque structure in the current file. Ensure we know it's type. 161 162setup_xfail_on_opaque_pointer 163gdb_test "whatis foop" \ 164 "type = struct foo \[*\]+" \ 165 "whatis on opaque struct pointer (dynamically)" 166 167 168# Ensure that we know the form of the thing foop points to. 169 170setup_xfail_on_opaque_pointer 171if {!$gcc_compiled} then { setup_xfail "rs6000-*-*" } 172gdb_test "ptype foop" \ 173 "type = struct foo \{\[\r\n\]+ int a;\[\r\n\]+ int b;\[\r\n\]+\} \[*\]+" \ 174 "ptype on opaque struct pointer (dynamically) 1" 175 176gdb_test "whatis afoo" \ 177 "type = struct foo" \ 178 "whatis on opaque struct instance (dynamically) 1" 179 180 181# Ensure that we know the form of afoo, an instance of a struct foo. 182 183gdb_test "ptype afoo" \ 184 "type = struct foo \{\[\r\n\]+ int a;\[\r\n\]+ int b;\[\r\n\]+\}" \ 185 "ptype on opaque struct instance (dynamically) xyz 1" 186 187 188# Ensure that we know the form of an explicit struct foo. 189 190if {!$gcc_compiled} then { setup_xfail "rs6000-*-*" } 191gdb_test "ptype struct foo" \ 192 "type = struct foo \{\[\r\n\]+ int a;\[\r\n\]+ int b;\[\r\n\]+\}" \ 193 "ptype on opaque struct tagname (dynamically) 1" 194 195 196# Now reload the symbols again so we forget about anything we might 197# have learned reading the symbols during the previous tests. 198 199if [istarget "mips-idt-*"] then { 200 # Restart because IDT/SIM runs out of file descriptors. 201 gdb_exit 202 gdb_start 203} 204gdb_reinitialize_dir $srcdir/$subdir 205gdb_load ${binfile} 206 207# Run to getfoo, where struct foo is complete. 208if ![runto getfoo] { 209 perror "cannot run to breakpoint at getfoo" 210} 211 212 213# Ensure that we know what foop is. 214 215setup_xfail_on_opaque_pointer 216gdb_test "whatis foop" \ 217 "type = struct foo \[*\]+" \ 218 "whatis on opaque struct pointer (dynamically) 1" 219 220 221# Ensure that we know the form of the thing foop points to. 222 223setup_xfail_on_opaque_pointer 224if {!$gcc_compiled} then { setup_xfail "rs6000-*-*" } 225gdb_test "ptype foop" \ 226 "type = struct foo \{\[\r\n\]+ int a;\[\r\n\]+ int b;\[\r\n\]+\} \[*\]+" \ 227 "ptype on opaque struct pointer (dynamically) 2" 228 229gdb_test "whatis afoo" \ 230 "type = struct foo" \ 231 "whatis on opaque struct instance (dynamically) 1" 232 233 234# Ensure that we know the form of afoo, an instance of a struct foo. 235 236gdb_test "ptype afoo" \ 237 "type = struct foo \{\r\n int a;\r\n int b;\r\n\}" \ 238 "ptype on opaque struct instance (dynamically) 1" 239 240gdb_test "ptype afoo" \ 241 "type = struct foo \{\[\r\n\]*.*int a;\[\r\n\]*.*int b;\[\r\n\]*}\[\r\n\]*" \ 242 "ptype on opaque struct instance (dynamically) pqr 1" 243 244 245# Ensure that we know the form of an explicit struct foo. 246 247gdb_test "ptype foop" \ 248 "type = struct foo \{\[\r\n\]+ int a;\[\r\n\]+ int b;\[\r\n\]+\} \[*\]+" \ 249 "ptype on opaque struct pointer (dynamically) 2" 250 251gdb_test "whatis afoo" \ 252 "type = struct foo" \ 253 "whatis on opaque struct instance (dynamically) 2" 254 255 256# Ensure that we know the form of afoo, an instance of a struct foo. 257 258gdb_test "ptype afoo" \ 259 "type = struct foo \{\[\r\n\]+ int a;\[\r\n\]+ int b;\[\r\n\]+\}" \ 260 "ptype on opaque struct instance (dynamically) 2" 261 262 263# Ensure that we know the form of an explicit struct foo. 264 265gdb_test "ptype struct foo" \ 266 "type = struct foo \{\[\r\n\]+ int a;\[\r\n\]+ int b;\[\r\n\]+\}" \ 267 "ptype on opaque struct tagname (dynamically) 2" 268