b60f089831
untested followed by return combination. * gdb.arch/altivec-regs.exp: Likewise. * gdb.arch/e500-abi.exp: Likewise. * gdb.arch/e500-regs.exp: Likewise. * gdb.arch/gdb1291.exp: Likewise. * gdb.arch/gdb1431.exp: Likewise. * gdb.arch/gdb1558.exp: Likewise. * gdb.arch/i386-prologue.exp: Likewise. * gdb.arch/i386-unwind.exp: Likewise. * gdb.asm/asm-source.exp: Likewise. * gdb.base/a2-run.exp: Likewise. * gdb.base/advance.exp: Likewise. * gdb.base/all-bin.exp: Likewise. * gdb.base/annota1.exp: Likewise. * gdb.base/annota3.exp: Likewise. * gdb.base/args.exp: Likewise. * gdb.base/arithmet.exp: Likewise. * gdb.base/assign.exp: Likewise. * gdb.base/async.exp: Likewise. * gdb.base/attach.exp: Likewise. * gdb.base/bang.exp: Likewise. * gdb.base/bigcore.exp: Likewise. * gdb.base/bitfields.exp: Likewise. * gdb.base/bitfields2.exp: Likewise. * gdb.base/break.exp: Likewise. * gdb.base/call-sc.exp: Likewise. * gdb.base/call-strs.exp: Likewise. * gdb.base/callfuncs.exp: Likewise. * gdb.base/checkpoint.exp: Likewise. * gdb.base/chng-syms.exp: Likewise. * gdb.base/code-expr.exp: Likewise. * gdb.base/commands.exp: Likewise. * gdb.base/completion.exp: Likewise. * gdb.base/cond-expr.exp: Likewise. * gdb.base/condbreak.exp: Likewise. * gdb.base/consecutive.exp: Likewise. * gdb.base/constvars.exp: Likewise. * gdb.base/corefile.exp: Likewise. * gdb.base/cvexpr.exp: Likewise. * gdb.base/dbx.exp: Likewise. * gdb.base/define.exp: Likewise. * gdb.base/detach.exp: Likewise. * gdb.base/display.exp: Likewise. * gdb.base/dump.exp: Likewise. * gdb.base/ena-dis-br.exp: Likewise. * gdb.base/ending-run.exp: Likewise. * gdb.base/environ.exp: Likewise. * gdb.base/eval-skip.exp: Likewise. * gdb.base/exprs.exp: Likewise. * gdb.base/fileio.exp: Likewise. * gdb.base/finish.exp: Likewise. * gdb.base/float.exp: Likewise. * gdb.base/foll-exec.exp: Likewise. * gdb.base/foll-fork.exp: Likewise. * gdb.base/foll-vfork.exp: Likewise. * gdb.base/freebpcmd.exp: Likewise. * gdb.base/funcargs.exp: Likewise. * gdb.base/gcore.exp: Likewise. * gdb.base/gdb1090.exp: Likewise. * gdb.base/gdb1250.exp: Likewise. * gdb.base/huge.exp: Likewise. * gdb.base/info-proc.exp: Likewise. * gdb.base/interrupt.exp: Likewise. * gdb.base/jump.exp: Likewise. * gdb.base/langs.exp: Likewise. * gdb.base/lineinc.exp: Likewise. * gdb.base/list.exp: Likewise. * gdb.base/logical.exp: Likewise. * gdb.base/long_long.exp: Likewise. * gdb.base/macscp.exp: Likewise. * gdb.base/maint.exp: Likewise. * gdb.base/mips_pro.exp: Likewise. * gdb.base/miscexprs.exp: Likewise. * gdb.base/multi-forks.exp: Likewise. * gdb.base/opaque.exp: Likewise. * gdb.base/overlays.exp: Likewise. * gdb.base/pc-fp.exp: Likewise. * gdb.base/pointers.exp: Likewise. * gdb.base/printcmds.exp: Likewise. * gdb.base/psymtab.exp: Likewise. * gdb.base/ptype.exp: Likewise. * gdb.base/recurse.exp: Likewise. * gdb.base/relational.exp: Likewise. * gdb.base/relocate.exp: Likewise. * gdb.base/remote.exp: Likewise. * gdb.base/reread.exp: Likewise. * gdb.base/restore.exp: Likewise. * gdb.base/return.exp: Likewise. * gdb.base/return2.exp: Likewise. * gdb.base/scope.exp: Likewise. * gdb.base/sect-cmd.exp: Likewise. * gdb.base/sep.exp: Likewise. * gdb.base/sepdebug.exp: Likewise. * gdb.base/setshow.exp: Likewise. * gdb.base/setvar.exp: Likewise. * gdb.base/sigall.exp: Likewise. * gdb.base/sigbpt.exp: Likewise. * gdb.base/signals.exp: Likewise. * gdb.base/signull.exp: Likewise. * gdb.base/sizeof.exp: Likewise. * gdb.base/solib.exp: Likewise. * gdb.base/step-line.exp: Likewise. * gdb.base/step-test.exp: Likewise. * gdb.base/structs.exp: Likewise. * gdb.base/structs2.exp: Likewise. * gdb.base/term.exp: Likewise. * gdb.base/twice.exp: Likewise. * gdb.base/until.exp: Likewise. * gdb.base/varargs.exp: Likewise. * gdb.base/volatile.exp: Likewise. * gdb.base/watchpoint.exp: Likewise. * gdb.base/whatis-exp.exp: Likewise. * gdb.base/whatis.exp: Likewise. * gdb.cp/ambiguous.exp: Likewise. * gdb.cp/annota2.exp: Likewise. * gdb.cp/annota3.exp: Likewise. * gdb.cp/bool.exp: Likewise. * gdb.cp/breakpoint.exp: Likewise. * gdb.cp/casts.exp: Likewise. * gdb.cp/class2.exp: Likewise. * gdb.cp/classes.exp: Likewise. * gdb.cp/cplusfuncs.exp: Likewise. * gdb.cp/ctti.exp: Likewise. * gdb.cp/derivation.exp: Likewise. * gdb.cp/exception.exp: Likewise. * gdb.cp/gdb1355.exp: Likewise. * gdb.cp/hang.exp: Likewise. * gdb.cp/inherit.exp: Likewise. * gdb.cp/local.exp: Likewise. * gdb.cp/m-data.exp: Likewise. * gdb.cp/m-static.exp: Likewise. * gdb.cp/member-ptr.exp: Likewise. * gdb.cp/method.exp: Likewise. * gdb.cp/misc.exp: Likewise. * gdb.cp/namespace.exp: Likewise. * gdb.cp/overload.exp: Likewise. * gdb.cp/ovldbreak.exp: Likewise. * gdb.cp/pr-1023.exp: Likewise. * gdb.cp/pr-1210.exp: Likewise. * gdb.cp/pr-574.exp: Likewise. * gdb.cp/printmethod.exp: Likewise. * gdb.cp/psmang.exp: Likewise. * gdb.cp/ref-params.exp: Likewise. * gdb.cp/ref-types.exp: Likewise. * gdb.cp/rtti.exp: Likewise. * gdb.cp/templates.exp: Likewise. * gdb.cp/try_catch.exp: Likewise. * gdb.cp/userdef.exp: Likewise. * gdb.cp/virtfunc.exp: Likewise. * gdb.disasm/am33.exp: Likewise. * gdb.disasm/h8300s.exp: Likewise. * gdb.disasm/mn10300.exp: Likewise. * gdb.disasm/sh3.exp: Likewise. * gdb.disasm/t01_mov.exp: Likewise. * gdb.disasm/t02_mova.exp: Likewise. * gdb.disasm/t03_add.exp: Likewise. * gdb.disasm/t04_sub.exp: Likewise. * gdb.disasm/t05_cmp.exp: Likewise. * gdb.disasm/t06_ari2.exp: Likewise. * gdb.disasm/t07_ari3.exp: Likewise. * gdb.disasm/t08_or.exp: Likewise. * gdb.disasm/t09_xor.exp: Likewise. * gdb.disasm/t10_and.exp: Likewise. * gdb.disasm/t11_logs.exp: Likewise. * gdb.disasm/t12_bit.exp: Likewise. * gdb.disasm/t13_otr.exp: Likewise. * gdb.hp/gdb.aCC/optimize.exp: Likewise. * gdb.hp/gdb.aCC/watch-cmd.exp: Likewise. * gdb.hp/gdb.base-hp/callfwmall.exp: Likewise. * gdb.hp/gdb.base-hp/dollar.exp: Likewise. * gdb.hp/gdb.base-hp/hwwatchbus.exp: Likewise. * gdb.hp/gdb.base-hp/pxdb.exp: Likewise. * gdb.hp/gdb.base-hp/reg-pa64.exp: Likewise. * gdb.hp/gdb.base-hp/reg.exp: Likewise. * gdb.hp/gdb.base-hp/sized-enum.exp: Likewise. * gdb.hp/gdb.compat/xdb1.exp: Likewise. * gdb.hp/gdb.compat/xdb3.exp: Likewise. * gdb.hp/gdb.objdbg/objdbg01.exp: Likewise. * gdb.hp/gdb.objdbg/objdbg02.exp: Likewise. * gdb.hp/gdb.objdbg/objdbg03.exp: Likewise. * gdb.hp/gdb.objdbg/objdbg04.exp: Likewise. * gdb.mi/gdb701.exp: Likewise. * gdb.mi/gdb792.exp: Likewise. * gdb.mi/mi-basics.exp: Likewise. * gdb.mi/mi-break.exp: Likewise. * gdb.mi/mi-cli.exp: Likewise. * gdb.mi/mi-console.exp: Likewise. * gdb.mi/mi-disassemble.exp: Likewise. * gdb.mi/mi-eval.exp: Likewise. * gdb.mi/mi-file.exp: Likewise. * gdb.mi/mi-read-memory.exp: Likewise. * gdb.mi/mi-regs.exp: Likewise. * gdb.mi/mi-return.exp: Likewise. * gdb.mi/mi-simplerun.exp: Likewise. * gdb.mi/mi-stack.exp: Likewise. * gdb.mi/mi-stepi.exp: Likewise. * gdb.mi/mi-syn-frame.exp: Likewise. * gdb.mi/mi-until.exp: Likewise. * gdb.mi/mi-var-block.exp: Likewise. * gdb.mi/mi-var-child.exp: Likewise. * gdb.mi/mi-var-cmd.exp: Likewise. * gdb.mi/mi-var-display.exp: Likewise. * gdb.mi/mi-watch.exp: Likewise. * gdb.mi/mi2-basics.exp: Likewise. * gdb.mi/mi2-break.exp: Likewise. * gdb.mi/mi2-cli.exp: Likewise. * gdb.mi/mi2-console.exp: Likewise. * gdb.mi/mi2-disassemble.exp: Likewise. * gdb.mi/mi2-eval.exp: Likewise. * gdb.mi/mi2-file.exp: Likewise. * gdb.mi/mi2-read-memory.exp: Likewise. * gdb.mi/mi2-regs.exp: Likewise. * gdb.mi/mi2-return.exp: Likewise. * gdb.mi/mi2-simplerun.exp: Likewise. * gdb.mi/mi2-stack.exp: Likewise. * gdb.mi/mi2-stepi.exp: Likewise. * gdb.mi/mi2-syn-frame.exp: Likewise. * gdb.mi/mi2-until.exp: Likewise. * gdb.mi/mi2-var-block.exp: Likewise. * gdb.mi/mi2-var-child.exp: Likewise. * gdb.mi/mi2-var-cmd.exp: Likewise. * gdb.mi/mi2-var-display.exp: Likewise. * gdb.mi/mi2-watch.exp: Likewise. * gdb.stabs/exclfwd.exp: Likewise. * gdb.stabs/weird.exp: Likewise. * gdb.threads/gcore-thread.exp: Likewise. * gdb.trace/actions.exp: Likewise. * gdb.trace/backtrace.exp: Likewise. * gdb.trace/circ.exp: Likewise. * gdb.trace/collection.exp: Likewise. * gdb.trace/deltrace.exp: Likewise. * gdb.trace/infotrace.exp: Likewise. * gdb.trace/limits.exp: Likewise. * gdb.trace/packetlen.exp: Likewise. * gdb.trace/passc-dyn.exp: Likewise. * gdb.trace/passcount.exp: Likewise. * gdb.trace/report.exp: Likewise. * gdb.trace/save-trace.exp: Likewise. * gdb.trace/tfind.exp: Likewise. * gdb.trace/tracecmd.exp: Likewise. * gdb.trace/while-dyn.exp: Likewise. * gdb.trace/while-stepping.exp: Likewise.
226 lines
10 KiB
Text
226 lines
10 KiB
Text
# Copyright 2002, 2004 Free Software Foundation, Inc.
|
|
|
|
# This program is free software; you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation; either version 2 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program; if not, write to the Free Software
|
|
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
|
|
|
|
# This file is part of the gdb testsuite
|
|
|
|
# Looking up methods by name, in programs with multiple compilation units.
|
|
|
|
# ====== PLEASE BE VERY CAREFUL WHEN CHANGING THIS TEST. =====
|
|
#
|
|
# The bug we're testing for (circa October 2002) is very sensitive to
|
|
# various conditions that are hard to control directly in the test
|
|
# suite. If you change the test, please revert this change, and make
|
|
# sure the test still fails:
|
|
#
|
|
# 2002-08-29 Jim Blandy <jimb@redhat.com>
|
|
#
|
|
# * symtab.c (lookup_symbol_aux): In the cases where we find a
|
|
# minimal symbol of an appropriate name and use its address to
|
|
# select a symtab to read and search, use `name' (as passed to us)
|
|
# as the demangled name when searching the symtab's global and
|
|
# static blocks, not the minsym's name.
|
|
#
|
|
# The original bug was that you'd try to set a breakpoint on a method
|
|
# (e.g., `break s::method1'), and you'd get an error, but if you
|
|
# repeated the command, it would work the second time:
|
|
#
|
|
# (gdb) break s::method1
|
|
# the class s does not have any method named method1
|
|
# Hint: try 's::method1<TAB> or 's::method1<ESC-?>
|
|
# (Note leading single quote.)
|
|
# (gdb) break s::method1
|
|
# Breakpoint 1 at 0x804841b: file psmang1.cc, line 13.
|
|
# (gdb)
|
|
#
|
|
# We observed this bug first using Stabs, and then using Dwarf 2.
|
|
#
|
|
# The problem was in lookup_symbol_aux: when looking up s::method1, it
|
|
# would fail to find it in any symtabs, find the minsym with the
|
|
# corresponding mangled name (say, `_ZN1S7method1Ev'), pass the
|
|
# minsym's address to find_pc_sect_symtab to look up the symtab
|
|
# (causing the compilation unit's full symbols to be read in), and
|
|
# then look up the symbol in that symtab's global block. All that is
|
|
# correct. However, it would pass the minsym's name as the NAME
|
|
# argument to lookup_block_symbol; a minsym's name is mangled, whereas
|
|
# lookup_block_symbol's NAME argument should be demangled.
|
|
#
|
|
# This is a pretty simple bug, but it turns out to be a bear to
|
|
# construct a test for. That's why this test case is so delicate. If
|
|
# you can see how to make it less so, please contribute a patch.
|
|
#
|
|
# Here are the twists:
|
|
#
|
|
# The bug only manifests itself when we call lookup_symbol to look up
|
|
# a method name (like "s::method1" or "s::method2"), and that method's
|
|
# definition is in a compilation unit for which we have read partial
|
|
# symbols, but not full symbols. The partial->full conversion must be
|
|
# caused by that specific lookup. (If we already have full symbols
|
|
# for the method's compilation unit, we won't need to look up the
|
|
# minsym, find the symtab for the minsym's address, and then call
|
|
# lookup_block_symbol; it's that last call where things go awry.)
|
|
#
|
|
# Now, when asked to set a breakpoint at `s::method1', GDB will first
|
|
# look up `s' to see if that is, in fact, the name of a class, and
|
|
# then look up 's::method1'. So we have to make sure that looking up
|
|
# `s' doesn't cause full symbols to be read for the compilation unit
|
|
# containing the definition of `s::method1'.
|
|
#
|
|
# The partial symbol tables for `psmang1.cc' and `psmang2.cc' will
|
|
# both have entries for `s'; GDB will read full symbols for whichever
|
|
# compilation unit's partial symbol table appears first in the
|
|
# objfile's list. The order in which compilation units appear in the
|
|
# partial symbol table list depends on how the program is linked, and
|
|
# how the debug info reader does the partial symbol scan. Ideally,
|
|
# the test shouldn't rely on them appearing in any particular order.
|
|
#
|
|
# So, since we don't know which compilation unit's full symbols are
|
|
# going to get read, we simply try looking up one method from each of
|
|
# the two compilation units. One of them has to come after the other
|
|
# in the partial symbol table list, so whichever comes later will
|
|
# still need its partial symbols read by the time we go to look up
|
|
# 's::methodX'.
|
|
#
|
|
# Second twist: don't move the common definition of `struct s' into a
|
|
# header file. If the compiler emits identical stabs for the
|
|
# #inclusion of that header file into psmang1.cc and into psmang2.cc,
|
|
# then the linker will do stabs compression, and replace one of the
|
|
# BINCL/EINCL regions with an EXCL stab, pointing to the other
|
|
# BINCL/EINCL region. GDB will read this, and record that the
|
|
# compilation unit that got the EXCL depends on the compilation unit
|
|
# that kept the BINCL/EINCL. Then, when it decides it needs to read
|
|
# full symbols for the former, it'll also read full symbols for the
|
|
# latter. Now, if it just so happens that the compilation unit that
|
|
# got the EXCL is also the first one with a definition of `s' in the
|
|
# partial symbol table list, then that first probe for `s' will cause
|
|
# both compilation units' full symbols to be read --- again defeating
|
|
# the test.
|
|
#
|
|
# We could work around this by having three compilation units, or by
|
|
# ensuring that the header file produces different stabs each time
|
|
# it's #included, but it seems simplest just to avoid compilation unit
|
|
# dependencies altogether, drop the header file, and duplicate the
|
|
# (pretty trivial) struct definition.
|
|
#
|
|
# Note that #including any header file at all into both compilation
|
|
# units --- say, <stdio.h> --- could create this sort of dependency.
|
|
#
|
|
# This is the aspect of the test which the debug format is most likely
|
|
# to affect, I think. The different formats create different kinds of
|
|
# inter-CU dependencies, which could mask the bug. It might be
|
|
# possible for the test to check that at least one of the partial
|
|
# symtabs remains unread, and fail otherwise --- the failure
|
|
# indicating that the test itself isn't going to catch the bug it was
|
|
# meant to, not that GDB is misbehaving.
|
|
#
|
|
# Third twist: given the way lookup_block_symbol is written, it's
|
|
# possible to find the symbol even when it gets passed a mangled name
|
|
# for its NAME parameter. There are three ways lookup_block_symbol
|
|
# might search a block, depending on how it was constructed:
|
|
#
|
|
# linear search. In this case, this bug will never manifest itself,
|
|
# since we check every symbol against NAME using SYMBOL_MATCHES_NAME.
|
|
# Since that macro checks its second argument (NAME) against both the
|
|
# mangled and demangled names of the symbol, this will always find the
|
|
# symbol successfully, so, no bug.
|
|
#
|
|
# hash table. If both the mangled and demangled names hash to the
|
|
# same bucket, then you'll again find the symbol "by accident", since
|
|
# we search the entire bucket using SYMBOL_SOURCE_NAME. Since GDB
|
|
# chooses the number of buckets based on the number of symbols, small
|
|
# compilation units may have only one hash bucket; in this case, the
|
|
# search always succeeds, even though we hashed on the wrong name.
|
|
# This test works around that by having a lot of dummy variables,
|
|
# making it less likely that the mangled and demangled names fall in
|
|
# the same bucket.
|
|
#
|
|
# binary search. (GDB 5.2 produced these sorts of blocks, and this
|
|
# test tries to detect the bug there, but subsequent versions of GDB
|
|
# almost never build them, and they may soon be removed entirely.) In
|
|
# this case, the symbols in the block are sorted by their
|
|
# SYMBOL_SOURCE_NAME (whose behavior depends on the current demangling
|
|
# setting, so that's wrong, but let's try to stay focussed).
|
|
# lookup_block_symbol does a binary search comparing NAME with
|
|
# SYMBOL_SOURCE_NAME until the range has been narrowed down to only a
|
|
# few symbols; then it starts a linear search forward from the lower
|
|
# end of that range, until it reaches a symbol whose
|
|
# SYMBOL_SOURCE_NAME follows NAME in lexicographic order. This means
|
|
# that, if you're doing a binary search for a mangled name in a block
|
|
# sorted by SYMBOL_SOURCE_NAME, you might find the symbol `by
|
|
# accident' if the mangled and demangled names happen to fall near
|
|
# each other in the ordering. The initial version of this patch used
|
|
# a class called `S'; all the other symbols in the compilation unit
|
|
# started with lower-case letters, so the demangled name `S::method1'
|
|
# sorted at the same place as the mangled name `_ZN1S7method1Ev': at
|
|
# the very beginning. Using a lower-case 's' as the name ensures that
|
|
# the demangled name falls after all the dummy symbols introduced for
|
|
# the hash table, as described above.
|
|
#
|
|
# This is all so tortured, someone will probably come up with still
|
|
# other ways this test could fail to do its job. If you need to make
|
|
# revisions, please be very careful.
|
|
|
|
if $tracelevel then {
|
|
strace $tracelevel
|
|
}
|
|
|
|
#
|
|
# test running programs
|
|
#
|
|
|
|
set prms_id 0
|
|
set bug_id 0
|
|
|
|
if { [skip_cplus_tests] } { continue }
|
|
|
|
set testfile "psmang"
|
|
set binfile ${objdir}/${subdir}/${testfile}
|
|
|
|
if [get_compiler_info ${binfile} "c++"] {
|
|
return -1;
|
|
}
|
|
|
|
if { [gdb_compile "${srcdir}/${subdir}/${testfile}1.cc" "${testfile}1.o" object {debug c++}] != "" } {
|
|
untested psmang.exp
|
|
return -1
|
|
}
|
|
|
|
if { [gdb_compile "${srcdir}/${subdir}/${testfile}2.cc" "${testfile}2.o" object {debug c++}] != "" } {
|
|
untested psmang.exp
|
|
return -1
|
|
}
|
|
|
|
if { [gdb_compile "${testfile}1.o ${testfile}2.o" ${binfile} executable {debug c++}] != "" } {
|
|
untested psmang.exp
|
|
return -1
|
|
}
|
|
|
|
|
|
gdb_exit
|
|
gdb_start
|
|
gdb_reinitialize_dir $srcdir/$subdir
|
|
gdb_load ${binfile}
|
|
|
|
gdb_test "break s::method1" "Breakpoint .* at .*: file .*psmang1.cc.*"
|
|
|
|
# We have to exit and restart GDB here, to make sure that all the
|
|
# compilation units are psymtabs again.
|
|
|
|
gdb_exit
|
|
gdb_start
|
|
gdb_reinitialize_dir $srcdir/$subdir
|
|
gdb_load ${binfile}
|
|
|
|
gdb_test "break s::method2" "Breakpoint .* at .*: file .*psmang2.cc.*"
|