forked from Imagelibrary/binutils-gdb
a43f3893f6
Recursion detection for static members was broken. The implementation uses a growing (and shrinking) obstack object to simulate a stack of addresses (CORE_ADDR). Pushing addresses is implemented by calling obstack_grow(), while popping is implemented by calling obstack_free(). The latter is problematic because obstack_free() expects a pointer to the base of an object. When popping elements of the stack however, obstack_free() was called with the new top, which potentially is not the same as the base of the stack. This is unintended use and the effect is that obstack->next_free and obstack->object_base members are assigned the value of the new top, which equals an empty stack. Summary: popping elements would always result in an empty stack, which breaks the recursion detection. The fix shrinks the stack using obstack_blank_fast() with a negative value as described at the bottom of this page: https://gcc.gnu.org/onlinedocs/libiberty/Extra-Fast-Growing.html "You can use obstack_blank_fast with a “negative” size argument to make the current object smaller. Just don’t try to shrink it beyond zero length—there’s no telling what will happen if you do that. Earlier versions of obstacks allowed you to use obstack_blank to shrink objects. This will no longer work." The reproducer is added to gdb.cp/classes.exp, which fails without this patch. gdb/ChangeLog: * cp-valprint.c (cp_print_value_fields): Use obstack_blank_fast to rewind obstack. gdb/testsuite/ChangeLog: * gdb.cp/classes.exp (test_static_members): Test printing Outer::instance. * gdb.cp/classes.c (struct Inner, struct Outer): New. (Inner::instance, Outer::instance): New.
693 lines
21 KiB
Plaintext
693 lines
21 KiB
Plaintext
# Copyright 1992-2017 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 3 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, see <http://www.gnu.org/licenses/>.
|
|
|
|
# This file was written by Fred Fish. (fnf@cygnus.com)
|
|
# And rewritten by Michael Chastain <mec.gnu@mindspring.com>.
|
|
|
|
set nl "\[\r\n\]+"
|
|
|
|
if { [skip_cplus_tests] } { continue }
|
|
|
|
load_lib "cp-support.exp"
|
|
|
|
standard_testfile .cc
|
|
|
|
if {[prepare_for_testing "failed to prepare" $testfile $srcfile {debug c++}]} {
|
|
return -1
|
|
}
|
|
|
|
# Test ptype of class objects.
|
|
|
|
proc test_ptype_class_objects {} {
|
|
|
|
# Simple type.
|
|
|
|
cp_test_ptype_class \
|
|
"struct default_public_struct" "" "struct" "default_public_struct" \
|
|
{
|
|
{ field public "int a;" }
|
|
{ field public "int b;" }
|
|
}
|
|
|
|
# Another simple type.
|
|
|
|
cp_test_ptype_class \
|
|
"struct explicit_public_struct" "" "struct" "explicit_public_struct" \
|
|
{
|
|
{ field public "int a;" }
|
|
{ field public "int b;" }
|
|
}
|
|
|
|
# Another simple type.
|
|
|
|
cp_test_ptype_class \
|
|
"struct protected_struct" "" "struct" "protected_struct" \
|
|
{
|
|
{ field protected "int a;" }
|
|
{ field protected "int b;" }
|
|
}
|
|
|
|
# Another simple type.
|
|
|
|
cp_test_ptype_class \
|
|
"struct private_struct" "" "struct" "private_struct" \
|
|
{
|
|
{ field private "int a;" }
|
|
{ field private "int b;" }
|
|
}
|
|
|
|
# A bigger type.
|
|
|
|
cp_test_ptype_class \
|
|
"struct mixed_protection_struct" "" "struct" "mixed_protection_struct" \
|
|
{
|
|
{ field public "int a;" }
|
|
{ field public "int b;" }
|
|
{ field private "int c;" }
|
|
{ field private "int d;" }
|
|
{ field protected "int e;" }
|
|
{ field protected "int f;" }
|
|
{ field public "int g;" }
|
|
{ field private "int h;" }
|
|
{ field protected "int i;" }
|
|
}
|
|
|
|
# All that again with "class" instead of "struct".
|
|
# gdb does not care about the difference anyways.
|
|
|
|
cp_test_ptype_class \
|
|
"class public_class" "" "class" "public_class" \
|
|
{
|
|
{ field public "int a;" }
|
|
{ field public "int b;" }
|
|
}
|
|
|
|
# Another simple type.
|
|
|
|
cp_test_ptype_class \
|
|
"class protected_class" "" "class" "protected_class" \
|
|
{
|
|
{ field protected "int a;" }
|
|
{ field protected "int b;" }
|
|
}
|
|
|
|
# Another simple type.
|
|
|
|
cp_test_ptype_class \
|
|
"class default_private_class" "" "class" "default_private_class" \
|
|
{
|
|
{ field private "int a;" }
|
|
{ field private "int b;" }
|
|
}
|
|
|
|
# Another simple type.
|
|
|
|
cp_test_ptype_class \
|
|
"class explicit_private_class" "" "class" "explicit_private_class" \
|
|
{
|
|
{ field private "int a;" }
|
|
{ field private "int b;" }
|
|
}
|
|
|
|
# A bigger type.
|
|
|
|
cp_test_ptype_class \
|
|
"class mixed_protection_class" "" "class" "mixed_protection_class" \
|
|
{
|
|
|
|
{ field public "int a;" }
|
|
{ field public "int b;" }
|
|
{ field private "int c;" }
|
|
{ field private "int d;" }
|
|
{ field protected "int e;" }
|
|
{ field protected "int f;" }
|
|
{ field public "int g;" }
|
|
{ field private "int h;" }
|
|
{ field protected "int i;" }
|
|
}
|
|
|
|
# Here are some classes with inheritance.
|
|
|
|
# Base class.
|
|
|
|
cp_test_ptype_class \
|
|
"class A" "" "class" "A" \
|
|
{
|
|
{ field public "int a;" }
|
|
{ field public "int x;" }
|
|
}
|
|
|
|
# Derived class.
|
|
|
|
cp_test_ptype_class \
|
|
"class B" "" "class" "B" \
|
|
{
|
|
{ base "public A" }
|
|
{ field public "int b;" }
|
|
{ field public "int x;" }
|
|
}
|
|
|
|
# Derived class.
|
|
|
|
cp_test_ptype_class \
|
|
"class C" "" "class" "C" \
|
|
{
|
|
{ base "public A" }
|
|
{ field public "int c;" }
|
|
{ field public "int x;" }
|
|
}
|
|
|
|
# Derived class, multiple inheritance.
|
|
|
|
cp_test_ptype_class \
|
|
"class D" "" "class" "D" \
|
|
{
|
|
{ base "public B" }
|
|
{ base "public C" }
|
|
{ field public "int d;" }
|
|
{ field public "int x;" }
|
|
}
|
|
|
|
# Derived class.
|
|
|
|
cp_test_ptype_class \
|
|
"class E" "" "class" "E" \
|
|
{
|
|
{ base "public D" }
|
|
{ field public "int e;" }
|
|
{ field public "int x;" }
|
|
}
|
|
|
|
# This is a break from inheritance tests.
|
|
#
|
|
# gcc 2.X with stabs (stabs or stabs+?) used to have a problem with
|
|
# static methods whose name is the same as their argument mangling.
|
|
|
|
cp_test_ptype_class \
|
|
"class Static" "" "class" "Static" \
|
|
{
|
|
{ method public "static void ii(int, int);" }
|
|
}
|
|
|
|
# Here are some virtual inheritance tests.
|
|
|
|
# A virtual base class.
|
|
|
|
cp_test_ptype_class \
|
|
"class vA" "" "class" "vA" \
|
|
{
|
|
{ field public "int va;" }
|
|
{ field public "int vx;" }
|
|
}
|
|
|
|
# A derived class with a virtual base.
|
|
|
|
cp_test_ptype_class \
|
|
"class vB" "" "class" "vB" \
|
|
{
|
|
{ base "public virtual vA" }
|
|
{ vbase "vA" }
|
|
{ field public "int vb;" }
|
|
{ field public "int vx;" }
|
|
}
|
|
|
|
# Another derived class with a virtual base.
|
|
|
|
cp_test_ptype_class \
|
|
"class vC" "" "class" "vC" \
|
|
{
|
|
{ base "public virtual vA" }
|
|
{ vbase "vA" }
|
|
{ field public "int vc;" }
|
|
{ field public "int vx;" }
|
|
}
|
|
|
|
# A classic diamond class.
|
|
|
|
cp_test_ptype_class \
|
|
"class vD" "" "class" "vD" \
|
|
{
|
|
{ base "public virtual vB" }
|
|
{ base "public virtual vC" }
|
|
{ vbase "vC" }
|
|
{ vbase "vB" }
|
|
{ field public "int vd;" }
|
|
{ field public "int vx;" }
|
|
}
|
|
|
|
# A class derived from a diamond class.
|
|
|
|
cp_test_ptype_class \
|
|
"class vE" "" "class" "vE" \
|
|
{
|
|
{ base "public virtual vD" }
|
|
{ vbase "vD" }
|
|
{ field public "int ve;" }
|
|
{ field public "int vx;" }
|
|
}
|
|
|
|
# Another inheritance series.
|
|
|
|
# A base class.
|
|
|
|
cp_test_ptype_class \
|
|
"class Base1" "" "class" "Base1" \
|
|
{
|
|
{ field public "int x;" }
|
|
{ method public "Base1(int);" }
|
|
}
|
|
|
|
# Another base class.
|
|
|
|
cp_test_ptype_class \
|
|
"class Foo" "" "class" "Foo" \
|
|
{
|
|
{ field public "int x;" }
|
|
{ field public "int y;" }
|
|
{ field public "static int st;" }
|
|
{ method public "Foo(int, int);" }
|
|
{ method public "int operator!();" }
|
|
{ method public "operator int();" }
|
|
{ method public "int times(int);" }
|
|
} \
|
|
"" \
|
|
{
|
|
{
|
|
"operator int();"
|
|
"int operator int();"
|
|
{ setup_kfail "gdb/1497" "*-*-*" }
|
|
}
|
|
{
|
|
"operator int();"
|
|
"int operator int(void);"
|
|
{ setup_kfail "gdb/1497" "*-*-*" }
|
|
}
|
|
}
|
|
|
|
# A multiple inheritance derived class.
|
|
|
|
cp_test_ptype_class \
|
|
"class Bar" "" "class" "Bar" \
|
|
{
|
|
{ base "public Base1" }
|
|
{ base "public Foo" }
|
|
{ field public "int z;" }
|
|
{ method public "Bar(int, int, int);" }
|
|
}
|
|
|
|
# Derived class with typedef'd baseclass with virtual methods.
|
|
|
|
cp_test_ptype_class \
|
|
"class DynamicBar" "" "class" "DynamicBar" \
|
|
{
|
|
{ base "public DynamicBase2" }
|
|
{ field public "int y;" }
|
|
{ method public "DynamicBar(int, int);" }
|
|
}
|
|
|
|
# Classes with typedefs of different access.
|
|
|
|
cp_test_ptype_class \
|
|
"class class_with_typedefs" "" "class" "class_with_typedefs" \
|
|
{
|
|
{ field protected \
|
|
"class_with_typedefs::public_int public_int_;" }
|
|
{ field protected \
|
|
"class_with_typedefs::protected_int protected_int_;" }
|
|
{ field protected \
|
|
"class_with_typedefs::private_int private_int_;" }
|
|
{ method public "class_with_typedefs(void);" }
|
|
{ method public "class_with_typedefs::public_int add_public(class_with_typedefs::public_int);" }
|
|
{ method public \
|
|
"class_with_typedefs::public_int add_all(int);" }
|
|
{ method protected "class_with_typedefs::protected_int add_protected(class_with_typedefs::protected_int);" }
|
|
{ method private "class_with_typedefs::private_int add_private(class_with_typedefs::private_int);" }
|
|
{ typedef public "typedef int public_int;" }
|
|
{ typedef protected "typedef int protected_int;" }
|
|
{ typedef private "typedef int private_int;" }
|
|
}
|
|
|
|
cp_test_ptype_class \
|
|
"class class_with_public_typedef" "" "class" \
|
|
"class_with_public_typedef" {
|
|
{ field private "int a;" }
|
|
{ field public "class_with_public_typedef::INT b;" }
|
|
{ typedef public "typedef int INT;" }
|
|
}
|
|
cp_test_ptype_class \
|
|
"class class_with_protected_typedef" "" "class" \
|
|
"class_with_protected_typedef" {
|
|
{ field private "int a;" }
|
|
{ field protected "class_with_protected_typedef::INT b;" }
|
|
{ typedef protected "typedef int INT;" }
|
|
}
|
|
cp_test_ptype_class \
|
|
"struct struct_with_protected_typedef" "" "struct" \
|
|
"struct_with_protected_typedef" {
|
|
{ field public "int a;" }
|
|
{ field protected "struct_with_protected_typedef::INT b;" }
|
|
{ typedef protected "typedef int INT;" }
|
|
}
|
|
cp_test_ptype_class \
|
|
"struct struct_with_private_typedef" "" "struct" \
|
|
"struct_with_private_typedef" {
|
|
{ field public "int a;" }
|
|
{ field private "struct_with_private_typedef::INT b;" }
|
|
{ typedef private "typedef int INT;" }
|
|
}
|
|
|
|
# For the following two cases, we cannot use cp_test_ptype_class.
|
|
# We need to explicitly check whether the access label was suppressed.
|
|
set ws {[ \t\r\n]*}
|
|
foreach {tag lbl} {"class" "private" "struct" "public"} {
|
|
gdb_test "ptype/r ${tag}_with_${lbl}_typedef" "type = $tag ${tag}_with_${lbl}_typedef \{${ws}int a;${ws}${tag}_with_${lbl}_typedef::INT b;${ws}typedef int INT;${ws}\}"
|
|
}
|
|
}
|
|
|
|
# Test simple access to class members.
|
|
|
|
proc test_non_inherited_member_access {} {
|
|
|
|
# Print non-inherited members of g_A.
|
|
gdb_test "print g_A.a" ".* = 1"
|
|
gdb_test "print g_A.x" ".* = 2"
|
|
|
|
# Print non-inherited members of g_B.
|
|
gdb_test "print g_B.b" ".* = 5"
|
|
gdb_test "print g_B.x" ".* = 6"
|
|
|
|
# Print non-inherited members of g_C.
|
|
gdb_test "print g_C.c" ".* = 9"
|
|
gdb_test "print g_C.x" ".* = 10"
|
|
|
|
# Print non-inherited members of g_D.
|
|
gdb_test "print g_D.d" ".* = 19"
|
|
gdb_test "print g_D.x" ".* = 20"
|
|
|
|
# Print non-inherited members of g_E.
|
|
gdb_test "print g_E.e" ".* = 31"
|
|
gdb_test "print g_E.x" ".* = 32"
|
|
}
|
|
|
|
# Test access to members of other classes.
|
|
# gdb should refuse to print them.
|
|
# (I feel old -- I remember when this was legal in C -- chastain).
|
|
|
|
proc test_wrong_class_members {} {
|
|
gdb_test "print g_A.b" "There is no member( or method|) named b."
|
|
gdb_test "print g_B.c" "There is no member( or method|) named c."
|
|
gdb_test "print g_B.d" "There is no member( or method|) named d."
|
|
gdb_test "print g_C.b" "There is no member( or method|) named b."
|
|
gdb_test "print g_C.d" "There is no member( or method|) named d."
|
|
gdb_test "print g_D.e" "There is no member( or method|) named e."
|
|
}
|
|
|
|
# Test access to names that are not members of any class.
|
|
|
|
proc test_nonexistent_members {} {
|
|
gdb_test "print g_A.y" "There is no member( or method|) named y."
|
|
gdb_test "print g_B.z" "There is no member( or method|) named z."
|
|
gdb_test "print g_C.q" "There is no member( or method|) named q."
|
|
gdb_test "print g_D.p" "There is no member( or method|) named p."
|
|
}
|
|
|
|
# Call a method that expects a base class parameter with base, inherited,
|
|
# and unrelated class arguments.
|
|
|
|
proc test_method_param_class {} {
|
|
gdb_test "call class_param.Aptr_a (&g_A)" ".* = 1"
|
|
gdb_test "call class_param.Aptr_x (&g_A)" ".* = 2"
|
|
gdb_test "call class_param.Aptr_a (&g_B)" ".* = 3"
|
|
gdb_test "call class_param.Aptr_x (&g_B)" ".* = 4"
|
|
gdb_test "call class_param.Aref_a (g_A)" ".* = 1"
|
|
gdb_test "call class_param.Aref_x (g_A)" ".* = 2"
|
|
gdb_test "call class_param.Aref_a (g_B)" ".* = 3"
|
|
gdb_test "call class_param.Aref_x (g_B)" ".* = 4"
|
|
gdb_test "call class_param.Aval_a (g_A)" ".* = 1"
|
|
gdb_test "call class_param.Aval_x (g_A)" ".* = 2"
|
|
gdb_test "call class_param.Aval_a (g_B)" ".* = 3"
|
|
gdb_test "call class_param.Aval_x (g_B)" ".* = 4"
|
|
|
|
gdb_test "call class_param.Aptr_a (&foo)" "Cannot resolve .*" "unrelated class *param"
|
|
gdb_test "call class_param.Aref_a (foo)" "Cannot resolve .*" "unrelated class ¶m"
|
|
gdb_test "call class_param.Aval_a (foo)" "Cannot resolve .*" "unrelated class param"
|
|
}
|
|
|
|
# Examine a class with an enum field.
|
|
|
|
proc test_enums {} {
|
|
global gdb_prompt
|
|
global nl
|
|
|
|
# print the object
|
|
|
|
# We match the enum values with and without qualifiers. As of
|
|
# 2008-08-21 we can output the qualifiers for DWARF-2.
|
|
|
|
gdb_test "print obj_with_enum" \
|
|
"\\$\[0-9\]+ = \{priv_enum = (ClassWithEnum::)?red, x = 0\}" \
|
|
"print obj_with_enum (1)"
|
|
|
|
# advance one line
|
|
|
|
gdb_test "next" ".*"
|
|
|
|
# print the object again
|
|
|
|
gdb_test "print obj_with_enum" \
|
|
"\\$\[0-9\]+ = \{priv_enum = (ClassWithEnum::)?green, x = 0\}" \
|
|
"print obj_with_enum (2)"
|
|
|
|
# print the enum member
|
|
|
|
gdb_test "print obj_with_enum.priv_enum" "\\$\[0-9\]+ = (ClassWithEnum::)?green"
|
|
|
|
# ptype on the enum member
|
|
|
|
gdb_test_multiple "ptype obj_with_enum.priv_enum" "ptype obj_with_enum.priv_enum" {
|
|
-re "type = enum ClassWithEnum::PrivEnum (: unsigned (int|short|char) )?\{ ?(ClassWithEnum::)?red, (ClassWithEnum::)?green, (ClassWithEnum::)?blue, (ClassWithEnum::)?yellow = 42 ?\}$nl$gdb_prompt $" {
|
|
pass "ptype obj_with_enum.priv_enum"
|
|
}
|
|
-re "type = enum PrivEnum \{ ?(ClassWithEnum::)?red, (ClassWithEnum::)?green, (ClassWithEnum::)?blue, (ClassWithEnum::)?yellow = 42 ?\}$nl$gdb_prompt $" {
|
|
# gcc 2.95.3 -gdwarf-2
|
|
# gcc 3.3.2 -gdwarf-2
|
|
pass "ptype obj_with_enum.priv_enum"
|
|
}
|
|
-re "type = enum \{ ?red, green, blue, yellow = 42 ?\}$nl$gdb_prompt $" {
|
|
# This case case is a little dubious, but it's not clear what
|
|
# ought to be required of a ptype on a private enum...
|
|
# -sts 19990324
|
|
#
|
|
# It bugs me that this happens with gcc 3.
|
|
# -- chastain 2003-12-30
|
|
#
|
|
# gcc 2.95.3 -gstabs+
|
|
# gcc 3.3.2 -gstabs+
|
|
# gcc HEAD 2003-12-28 21:08:30 UTC -gstabs+
|
|
pass "ptype obj_with_enum.priv_enum"
|
|
}
|
|
}
|
|
|
|
# ptype on the object
|
|
|
|
# NOTE: carlton/2003-02-28: One could certainly argue that plain
|
|
# "PrivEnum"
|
|
# is acceptable: PrivEnum is a member of ClassWithEnum, so
|
|
# there's no need to explicitly qualify its name with
|
|
# "ClassWithEnum::". The truth, though, is that GDB is simply
|
|
# forgetting that PrivEnum is a member of ClassWithEnum, so we do
|
|
# that output for a bad reason instead of a good reason. Under
|
|
# stabs, we probably can't get this right; under DWARF-2, we can.
|
|
|
|
cp_test_ptype_class \
|
|
"obj_with_enum" "" "class" "ClassWithEnum" \
|
|
{
|
|
{ field public "ClassWithEnum::PrivEnum priv_enum;" }
|
|
{ field public "int x;" }
|
|
} \
|
|
"" \
|
|
{
|
|
{
|
|
"ClassWithEnum::PrivEnum priv_enum;"
|
|
"PrivEnum priv_enum;"
|
|
{ setup_kfail "gdb/57" "*-*-*" }
|
|
}
|
|
}
|
|
|
|
# I'll do this test two different ways, because of a parser bug.
|
|
# See PR gdb/1588.
|
|
|
|
gdb_test_multiple "print (ClassWithEnum::PrivEnum) 42" "print (ClassWithEnum::PrivEnum) 42" {
|
|
-re "\\$\[0-9\]+ = (ClassWithEnum::)?yellow$nl$gdb_prompt $" {
|
|
pass "print (ClassWithEnum::PrivEnum) 42"
|
|
}
|
|
-re "A (parse|syntax) error in expression, near `42'.$nl$gdb_prompt $" {
|
|
# "parse error" is bison 1.35.
|
|
# "syntax error" is bison 1.875.
|
|
kfail "gdb/1588" "print (ClassWithEnum::PrivEnum) 42"
|
|
}
|
|
}
|
|
|
|
gdb_test_multiple "print ('ClassWithEnum::PrivEnum') 42" "print ('ClassWithEnum::PrivEnum') 42" {
|
|
-re "\\$\[0-9\]+ = (ClassWithEnum::)?yellow$nl$gdb_prompt $" {
|
|
# gcc 3.3.2 -gstabs+
|
|
# gcc HEAD 2003-12-28 21:08:30 UTC -gstabs+
|
|
pass "print ('ClassWithEnum::PrivEnum') 42"
|
|
}
|
|
-re "No symbol \"ClassWithEnum::PrivEnum\" in current context.$nl$gdb_prompt $" {
|
|
# gcc 2.95.3 -gdwarf-2
|
|
# gcc 3.3.2 -gdwarf-2
|
|
# gcc HEAD 2003-12-28 21:08:30 UTC -gdwarf-2
|
|
# gcc 2.95.3 -gstabs+
|
|
kfail "gdb/57" "print ('ClassWithEnum::PrivEnum') 42"
|
|
}
|
|
}
|
|
}
|
|
|
|
# Pointers to class members
|
|
|
|
proc test_pointers_to_class_members {} {
|
|
gdb_test "print Bar::z" "Cannot reference non-static field \"z\""
|
|
gdb_test "print &Foo::x" "\\$\[0-9\]+ = &Foo::x"
|
|
gdb_test "print (int)&Foo::x" "\\$\[0-9\]+ = 0"
|
|
gdb_test "print (int)&Bar::y == 2*sizeof(int)" "\\$\[0-9\]+ = true"
|
|
|
|
gdb_test "ptype Bar::z" "type = int"
|
|
gdb_test "ptype &Bar::z" "type = int Bar::\\*"
|
|
|
|
# TODO: this is a bogus test. It's looking at a variable that
|
|
# has not even been declared yet, so it's accessing random junk
|
|
# on the stack and comparing that it's NOT equal to a specific
|
|
# value. It's been like this since gdb 4.10 in 1993!
|
|
# -- chastain 2004-01-01
|
|
gdb_test "print (int)pmi == sizeof(int)" ".* = false"
|
|
}
|
|
|
|
# Test static members.
|
|
|
|
proc test_static_members {} {
|
|
global hex
|
|
|
|
gdb_test "print Foo::st" "\\$\[0-9\]+ = 100"
|
|
gdb_test_no_output "set foo.st = 200" ""
|
|
gdb_test "print bar.st" "\\$\[0-9\]+ = 200"
|
|
gdb_test "print &foo.st" "\\$\[0-9\]+ = \\(int ?\\*\\) $hex <Foo::st>"
|
|
gdb_test "print &Bar::st" "\\$\[0-9\]+ = \\(int ?\\*\\) $hex <Foo::st>"
|
|
gdb_test "print *\$" "\\$\[0-9\]+ = 200"
|
|
|
|
gdb_test_no_output "set print static-members off"
|
|
gdb_test "print csi" \
|
|
"{x = 10, y = 20}" \
|
|
"print csi without static members"
|
|
gdb_test "print cnsi" \
|
|
"{x = 30, y = 40}" \
|
|
"print cnsi without static members"
|
|
|
|
gdb_test_no_output "set print static-members on"
|
|
gdb_test "print csi" \
|
|
"{x = 10, y = 20, static null = {x = 0, y = 0, static null = <same as static member of an already seen type>}}" \
|
|
"print csi with static members"
|
|
gdb_test "print cnsi" \
|
|
"{x = 30, y = 40, static null = {x = 0, y = 0, static null = <same as static member of an already seen type>, static yy = {z = 5, static xx = {x = 1, y = 2, static null = <same as static member of an already seen type>, static yy = <same as static member of an already seen type>}}}, static yy = <same as static member of an already seen type>}" \
|
|
"print cnsi with static members"
|
|
|
|
# Another case of infinite recursion.
|
|
gdb_test "print Outer::instance" \
|
|
"{inner = {static instance = {static instance = <same as static member of an already seen type>}}, static instance = {inner = {static instance = {static instance = <same as static member of an already seen type>}}, static instance = <same as static member of an already seen type>}}" \
|
|
"print recursive static member"
|
|
}
|
|
|
|
proc do_tests {} {
|
|
global gdb_prompt
|
|
global nl
|
|
|
|
|
|
gdb_test_no_output "set language c++" ""
|
|
gdb_test_no_output "set width 0" ""
|
|
|
|
if ![runto_main ] then {
|
|
perror "couldn't run to breakpoint"
|
|
return
|
|
}
|
|
|
|
gdb_breakpoint inheritance2
|
|
gdb_test "continue" ".*Breakpoint .* inheritance2.*" ""
|
|
|
|
test_ptype_class_objects
|
|
test_non_inherited_member_access
|
|
test_wrong_class_members
|
|
test_nonexistent_members
|
|
test_method_param_class
|
|
|
|
gdb_breakpoint enums2
|
|
gdb_test "continue" ".*Breakpoint .* enums2.*" "continue to enums2(\\(\\)|)"
|
|
# Leave enums2. Make sure we reach the next line, in case there
|
|
# are any more instructions to finish the function call.
|
|
gdb_test_multiple "finish" "" {
|
|
-re "enums2 \\(\\);.*$gdb_prompt $" {
|
|
gdb_test "next" ".*" ""
|
|
}
|
|
-re "$gdb_prompt $" { }
|
|
}
|
|
test_enums
|
|
|
|
gdb_test "finish" ".*" ""
|
|
test_pointers_to_class_members
|
|
test_static_members
|
|
|
|
# Now some random tests that were just thrown in here.
|
|
|
|
gdb_breakpoint marker_reg1
|
|
gdb_test "continue" ".*Breakpoint .* marker_reg1.*" ""
|
|
gdb_test "finish" "Run till exit from.*" "finish from marker_reg1"
|
|
|
|
# This class is so small that an instance of it can fit in a register.
|
|
# When gdb tries to call a method, it gets embarrassed about taking
|
|
# the address of a register.
|
|
#
|
|
# TODO: I think that message should be a PASS, not an XFAIL.
|
|
# gdb prints an informative message and declines to do something
|
|
# impossible.
|
|
#
|
|
# The method call actually succeeds if the compiler allocates very
|
|
# small classes in memory instead of registers. So this test does
|
|
# not tell us anything interesting if the call succeeds.
|
|
#
|
|
# -- chastain 2003-12-31
|
|
gdb_test_multiple "print v.method ()" "calling method for small class" {
|
|
-re "\\$\[0-9\]+ = 82$nl$gdb_prompt $" {
|
|
# gcc 3.3.2 -gdwarf-2
|
|
# gcc HEAD 2003-12-28 21:08:30 UTC -gdwarf-2
|
|
# gcc 3.3.2 -gstabs+
|
|
# gcc HEAD 2003-12-28 21:08:30 UTC -gstabs+
|
|
pass "calling method for small class"
|
|
}
|
|
-re "Address requested for identifier \"v\" which is in register .*$nl$gdb_prompt $" {
|
|
# gcc 2.95.3 -gdwarf-2
|
|
# gcc 2.95.3 -gstabs+
|
|
setup_xfail "*-*-*" 2972
|
|
fail "calling method for small class"
|
|
}
|
|
}
|
|
|
|
gdb_test "print base1::Base1" "<.*Base1.*>" "print ctor of typedef class"
|
|
gdb_test "print base1::~Base1" "<.*~Base1(\\(\\))?>" \
|
|
"print dtor of typedef class"
|
|
|
|
gdb_test "list ByAnyOtherName::times" ".*int Foo::times.*"
|
|
}
|
|
|
|
do_tests
|