2004-01-12 Michael Chastain <mec.gnu@mindspring.com>
authorMichael Chastain <mec@google.com>
Tue, 13 Jan 2004 04:36:04 +0000 (04:36 +0000)
committerMichael Chastain <mec@google.com>
Tue, 13 Jan 2004 04:36:04 +0000 (04:36 +0000)
* gdb.cp/member-ptr.exp: Use gdb_test, gdb_test_multiple.  Add
some patterns for recent versions of gcc and hpacc.  Delete
calls to setup_xfail for hppa*-*-*.  Delete redundant tests.
Delete tests that access a NULL pointer-to-member-data.  This
script is still disabled for gcc.

gdb/testsuite/ChangeLog
gdb/testsuite/gdb.cp/member-ptr.exp

index 40b5739..0da834f 100644 (file)
@@ -1,3 +1,11 @@
+2004-01-12  Michael Chastain  <mec.gnu@mindspring.com>
+
+       * gdb.cp/member-ptr.exp: Use gdb_test, gdb_test_multiple.  Add
+       some patterns for recent versions of gcc and hpacc.  Delete
+       calls to setup_xfail for hppa*-*-*.  Delete redundant tests.
+       Delete tests that access a NULL pointer-to-member-data.  This
+       script is still disabled for gcc.
+
 2004-01-12  Elena Zannoni  <ezannoni@redhat.com>
 
        * gdb.mi/mi2-basics.exp: Make sure that full pathnames are
index 8243785..83a70a0 100644 (file)
@@ -1,4 +1,6 @@
-# Copyright 1998, 1999, 2003 Free Software Foundation, Inc.
+# Copyright 1998, 1999, 2003, 2004 Free Software Foundation, Inc.
+
+# This file is part of the gdb testsuite
 
 # 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
 
 # Please email any bugs, comments, and/or additions to this file to:
 # bug-gdb@prep.ai.mit.edu
+
 # Tests for pointer-to-member support
 # Written by Satish Pai <pai@apollo.hp.com> 1997-08-19
+# Rewritten by Michael Chastain <mec.gnu@mindspring.com> 2004-01-11
 
-# This file is part of the gdb testsuite
+# TODO: copyright notice for member-ptr.cc
 
+set vhn "\\$\[0-9\]+"
 
 if $tracelevel then {
-        strace $tracelevel
-        }
+    strace $tracelevel
+}
 
 if { [skip_cplus_tests] } { continue }
 
-#
-# test running programs
-#
-
-# Start with a fresh gdb
-gdb_exit
-gdb_start
-gdb_reinitialize_dir $srcdir/$subdir
-
 set prms_id 0
 set bug_id 0
 
@@ -44,506 +40,586 @@ set testfile "member-ptr"
 set srcfile ${testfile}.cc
 set binfile ${objdir}/${subdir}/${testfile}
 
-# Create and source the file that provides information about the compiler
-# used to compile the test case.
-
 if [get_compiler_info ${binfile} "c++"] {
     return -1
 }
 
-# Nearly all of these tests fail when compiled with G++, so just give up
-# until GDB gets enhanced. -sts 1999-06-22
-
-if { [test_compiler_info gcc-*] } then {
-    continue 
-}
-
 if  { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug c++}] != "" } {
      gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail."
 }
 
-
 gdb_exit
 gdb_start
 gdb_reinitialize_dir $srcdir/$subdir
 gdb_load ${binfile}
 
-
 if ![runto_main] then {
     perror "couldn't run to breakpoint"
     continue
 }
 
-send_gdb "break 83\n"
-gdb_expect {
-   -re "Breakpoint \[0-9\]*.*line 83\\.\r\n$gdb_prompt $" {
-      pass "set break at 83"
-    }
-    -re ".*$gdb_prompt $" { fail "set break at 83" }
-    timeout { fail "(timeout) set break at 83" }
-}
+gdb_breakpoint [gdb_get_line_number "pmi = NULL"]
+gdb_continue_to_breakpoint "continue to pmi = NULL"
 
-send_gdb "continue\n"
-gdb_expect {
-   -re "Continuing\\.\r\n\r\nBreakpoint.*at.*member-ptr\\.cc:83\r\n83\[ \t]*pmi = NULL;\r\n$gdb_prompt $" {
-      pass "continue to 83"
-    }
-    -re ".*$gdb_prompt $" { fail "continue to 83" }
-    timeout { fail "(timeout) continue to 83" }
+# gcc is not ready for production
+# -- chastain 2004-01-12
+
+if { [test_compiler_info "gcc-*"] } {
+    continue
 }
 
+# ======================
+# pointer to member data
+# ======================
+
 # ptype on pointer to data member
 
-send_gdb "ptype pmi\n"
-gdb_expect {
-   -re "type = int \\( A::\\*\\)\r\n$gdb_prompt $" {
-      pass "ptype pmi"
+set name "ptype pmi (A::j)"
+gdb_test_multiple "ptype pmi" $name {
+    -re "type = int *\\( ?A::\\*\\)\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "type = int *A::\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "ptype pmi" }
-    timeout { fail "(timeout) ptype pmi" }
 }
 
 # print pointer to data member
 
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print pmi\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = \\(int \\( A::\\*\\)\\) &A::j\r\n$gdb_prompt $" {
-      pass "print pmi"
+set name "print pmi (A::j) "
+gdb_test_multiple "print pmi" $name {
+    -re "$vhn = &A::j\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "$vhn = \\(int ?\\( ?A::\\*\\)\\) &A::j\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "$vhn = \\(int ?\\( ?A::\\*\\)\\) ?&A::j ?\\+ ?1 bytes\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       kfail "gdb/NNNN" $name
+    }
+    -re "$vhn = &A::j ?\\+ ?1 bytes\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gstabs+
+       kfail "gdb/NNNN" $name
+    }
+    -re "$vhn = not implemented: member type in c_val_print\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-11 05:33:21 -gdwarf-2
+       # gcc HEAD 2004-01-11 05:33:21 -gstabs+
+       kfail "gdb/NNNN" $name
+    }
+    -re "$vhn = \\(int ?\\( A::\\*\\)\\) 536870920\r\n$gdb_prompt $" {
+       # the value is 0x20000008 hex.   0x20000000 is an internal flag.
+       # Use '|' to add in more values as needed.
+       # hpacc A.03.45
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print pmi" }
-    timeout { fail "(timeout) print pmi" }
 }
 
-
 # print dereferenced pointer to data member
 
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print a.*pmi\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = 121\r\n$gdb_prompt $" {
-      pass "print a.*pmi"
+set name "print a.*pmi (A::j)"
+gdb_test_multiple "print a.*pmi" $name {
+    -re "$vhn = 121\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "$vhn = 855638016\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       # gcc 2.95.3 -gstabs+
+       kfail "gdb/NNNN" $name
+    }
+    -re "not implemented: member types in unpack_long\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print a.*pmi" }
-    timeout { fail "(timeout) print a.*pmi" }
 }
 
 # print dereferenced pointer to data member
 # this time, dereferenced through a pointer
 
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print a_p->*pmi\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = 121\r\n$gdb_prompt $" {
-      pass "print a->*pmi"
+set name "print a_p->*pmi (A::j)"
+gdb_test_multiple "print a_p->*pmi" $name {
+    -re "$vhn = 121\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "$vhn = 855638016\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       # gcc 2.95.3 -gstabs+
+       kfail "gdb/NNNN" $name
+    }
+    -re "not implemented: member types in unpack_long\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print a->*pmi" }
-    timeout { fail "(timeout) print a->*pmi" }
 }
 
+# set the pointer to a different data member
 
-# set the pointer to data member
-
-send_gdb "set var pmi = &A::jj\n"
-gdb_expect {
-   -re "$gdb_prompt $" {
-      pass "set var (not really a pass)"
+set name "set var pmi = &A::jj"
+gdb_test_multiple "set var pmi = &A::jj" $name {
+    -re "Invalid cast.\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
+    }
+    -re "set var pmi = &A::jj\r\n$gdb_prompt $" {
+       # I have to match the echo'ed input explicitly here.
+       # If I leave it out, the pattern becomes too general
+       # and matches anything that ends in "$gdb_prompt $".
+       pass $name
     }
-    timeout { fail "(timeout) " }
 }
 
-# Now print the pointer again
+# print the pointer again
 
-send_gdb "print pmi\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = \\(int \\( A::\\*\\)\\) &A::jj\r\n$gdb_prompt $" {
-      pass "print pmi after setting"
+set name "print pmi (A::jj)"
+gdb_test_multiple "print pmi" $name {
+    -re "$vhn = &A::jj\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "$vhn = \\(int ?\\( ?A::\\*\\)\\) &A::jj\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "$vhn = not implemented: member type in c_val_print\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-11 05:33:21 -gdwarf-2
+       # gcc HEAD 2004-01-11 05:33:21 -gstabs+
+       kfail "gdb/NNNN" $name
+    }
+    -re "$vhn = \\(int ?\\( A::\\*\\)\\) 536870924\r\n$gdb_prompt $" {
+       # the value is 0x20000008 hex.   0x20000000 is an internal flag.
+       # Use '|' to add in more values as needed.
+       # hpacc A.03.45
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print pmi after setting" }
-    timeout { fail "(timeout) print pmi after setting" }
 }
 
 # print dereferenced pointer to data member again
 
-send_gdb "print a.*pmi\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = 1331\r\n$gdb_prompt $" {
-      pass "print a.*pmi after setting"
+set name "print a.*pmi (A::jj)"
+gdb_test_multiple "print a.*pmi" $name {
+    -re "$vhn = 1331\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "not implemented: member types in unpack_long\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print a.*pmi after setting" }
-    timeout { fail "(timeout) print a.*pmi after setting" }
 }
 
 # set the pointer to data member back to A::j
 
-send_gdb "set var pmi = &A::j\n"
-gdb_expect {
-   -re "$gdb_prompt $" {
-      pass "set var back to A::j (not really a pass)"
+set name "set var pmi = &A::j"
+gdb_test_multiple "set var pmi = &A::j" $name {
+    -re "Invalid cast.\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
+    }
+    -re "set var pmi = &A::j\r\n$gdb_prompt $" {
+       # I have to match the echo'ed input explicitly here.
+       # If I leave it out, the pattern becomes too general
+       # and matches anything that ends in "$gdb_prompt $".
+       pass $name
     }
-    timeout { fail "(timeout) set var pmi" }
 }
 
 # print dereferenced pointer to data member yet again (extra check, why not)
 
-send_gdb "print a.*pmi\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = 121\r\n$gdb_prompt $" {
-      pass "print a.*pmi after resetting"
+set name "print a.*pmi (A::j) (again)"
+gdb_test_multiple "print a.*pmi" $name {
+    -re "$vhn = 121\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "not implemented: member types in unpack_long\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print a.*pmi after resetting" }
-    timeout { fail "(timeout) print a.*pmi after resetting" }
 }
 
 # Set the data member pointed to.
 
-send_gdb "print a.*pmi = 33\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = 33\r\n$gdb_prompt $" {
-      pass "print command to set"
+set name "print a.*pmi = 33"
+gdb_test_multiple "print a.*pmi = 33" $name {
+    -re "$vhn = 33\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "not implemented: member types in unpack_long\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print command to set" }
-    timeout { fail "(timeout) print command to set" }
 }
 
 # Now check that the data really was changed
-send_gdb "print a.*pmi\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = 33\r\n$gdb_prompt $" {
-      pass "print a.*pmi after setting member pointed to"
-    }
-    -re ".*$gdb_prompt $" { fail "print a.*pmi after setting member pointed to" }
-    timeout { fail "(timeout) print a.*pmi after setting member pointed to" }
-}
 
-# Double-check by printing a.
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print a\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = \{c = 120 'x', j = 33, jj = 1331, static s = 10, Virtual table at $hex\}\r\n$gdb_prompt $" {
-      pass "print a after setting member pointed to by pmi"
+set name "print a.*pmi (A::j) (33)"
+gdb_test_multiple "print a.*pmi" $name {
+    -re "$vhn = 33\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "not implemented: member types in unpack_long\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print a after setting member pointed to by pmi" }
-    timeout { fail "(timeout) print a after setting member pointed to by pmi" }
 }
 
+# Double-check by printing a.
 
-# Set the data member pointed to, using ->*
-
-send_gdb "print a_p->*pmi = 44\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = 44\r\n$gdb_prompt $" {
-      pass "print command to set (->)"
+set name "print a (j = 33)"
+gdb_test_multiple "print a" $name {
+    -re "$vhn = \{c = 120 'x', j = 33, jj = 1331, (static|static int) s = 10, (_vptr.A|_vptr\\$) = ($hex|$hex <A virtual table>)\}\r\n$gdb_prompt $" {
+       pass $name
     }
-    -re ".*$gdb_prompt $" { fail "print command to set (->)" }
-    timeout { fail "(timeout) print command to set (->)" }
-}
-
-# Now check that the data really was changed
-send_gdb "print a_p->*pmi\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = 44\r\n$gdb_prompt $" {
-      pass "print a_p->*pmi after setting member pointed to"
+    -re "$vhn = \{c = 120 'x', j = 33, jj = 1331, (static|static int) s = 10, Virtual table at $hex\}\r\n$gdb_prompt $" {
+       pass $name
     }
-    -re ".*$gdb_prompt $" { fail "print a_p->*pmi after setting member pointed to" }
-    timeout { fail "(timeout) print a_p->*pmi after setting member pointed to" }
-}
-
-# Double-check by printing a.
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print a\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = \{c = 120 'x', j = 44, jj = 1331, static s = 10, Virtual table at $hex\}\r\n$gdb_prompt $" {
-      pass "print a after setting member pointed to by pmi (->) "
+    -re "$vhn = \{(_vptr.A|_vptr\\$) = $hex, c = 120 'x', j = 33, jj = 1331, (static|static int) s = 10\}\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "$vhn = \{(_vptr.A|_vptr\\$) = $hex, c = 120 'x', j = 121, jj = 1331, (static|static int) s = 10\}\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print a after setting member pointed to by pmi (->) " }
-    timeout { fail "(timeout) print a after setting member pointed to by pmi (->) " }
 }
 
+# Set the data member pointed to, using ->*
 
-# Do a ptype on the dereferenced pointer to member
-# pai/1997-08-20 Doesn't work
-
-# send_gdb "ptype a.*pmi\n"
-# gdb_expect {
-#   -re "type = int\r\n$gdb_prompt $" {
-#      pass "ptype a.*pmi"
-#    }
-#    -re ".*$gdb_prompt $" { fail "ptype a.*pmi" }
-#    timeout { fail "(timeout) ptype a.*pmi" }
-#}
-
-# Try to dereference the pointer to data member without any object
-
-send_gdb "print *pmi\n"
-gdb_expect {
-   -re "Attempt to dereference pointer to member without an object\r\n$gdb_prompt $" {
-      pass "attempt to print ptr to member without object"
+set name "print a_p->*pmi = 44"
+gdb_test_multiple "print a_p->*pmi = 44" $name {
+    -re "$vhn = 44\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "not implemented: member types in unpack_long\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "attempt to print ptr to member without object" }
-    timeout { fail "(timeout) attempt to print ptr to member without object" }
 }
 
-# Try to ptype a dereference of the pointer to data member without any object
+# Check that the data really was changed
 
-send_gdb "ptype *pmi\n"
-gdb_expect {
-   -re "Attempt to dereference pointer to member without an object\r\n$gdb_prompt $" {
-      pass "attempt to ptype ptr to member without object"
+set name "print a_p->*pmi (44)"
+gdb_test_multiple "print a_p->*pmi" $name {
+    -re "$vhn = 44\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "not implemented: member types in unpack_long\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "attempt to ptype ptr to member without object" }
-    timeout { fail "(timeout) attempt to ptype ptr to member without object" }
 }
 
-# Ptype a pointer to a method.
+# Double-check by printing a.
 
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "ptype pmf\n"
-gdb_expect {
-   -re "type = int \\( A::\\*\\)\\(\\.\\.\\.\\)\r\n$gdb_prompt $" {
-      pass "ptype pmf"
+set name "print a (j = 44)"
+gdb_test_multiple "print a" $name {
+    -re "$vhn = \{c = 120 'x', j = 44, jj = 1331, (static|static int) s = 10, (_vptr.A|_vptr\\$) = ($hex|$hex <A virtual table>)\}\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "$vhn = \{c = 120 'x', j = 44, jj = 1331, (static|static int) s = 10, Virtual table at $hex\}\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "$vhn = \{(_vptr.A|_vptr\\$) = $hex, c = 120 'x', j = 44, jj = 1331, (static|static int) s = 10\}\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "$vhn = \{(_vptr.A|_vptr\\$) = $hex, c = 120 'x', j = 121, jj = 1331, (static|static int) s = 10\}\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "ptype pmf" }
-    timeout { fail "(timeout) ptype pmf" }
 }
 
-# print a pointer to a method
+# ptype the dereferenced pointer to member.
 
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print pmf\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = \\(int \\( A::\\*\\)\\(\\.\\.\\.\\)\\) \\?\\? <not supported with HP aCC>\r\n$gdb_prompt $" {
-      pass "print pmf"
+set name "ptype a.*pmi"
+gdb_test_multiple "ptype a.*pmi" $name {
+    -re "type = int\r\n$gdb_prompt" {
+       pass $name
+    }
+    -re "not implemented: member types in unpack_long\r\n$gdb_prompt $" {
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print pmf" }
-    timeout { fail "(timeout) print pmf" }
 }
 
+# dereference the pointer to data member without any object
+# this is not allowed: a pmi must be bound to an object to dereference
 
-# Ptype a pointer to a pointer to a method
-
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "ptype pmf_p\n"
-gdb_expect {
-   -re "type = int \\( A::\\*\\*\\)\\(\\.\\.\\.\\)\r\n$gdb_prompt $" {
-      pass "ptype pmf_p"
+set name "print *pmi"
+gdb_test_multiple "print *pmi" $name {
+    -re "Attempt to dereference pointer to member without an object\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "Cannot access memory at address 0x4\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gstabs+
+       kfail "gdb/NNNN" $name
+    }
+    -re "Cannot access memory at address 0x8\r\n$gdb_prompt $" {
+       # gcc 3.3.2 -gdwarf-2
+       # gcc 3.3.2 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "ptype pmf_p" }
-    timeout { fail "(timeout) ptype pmf_p" }
 }
 
-# print a pointer to a pointer to a method
+# dereference the pointer to data member without any object
+# this is not allowed: a pmi must be bound to an object to dereference
 
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print pmf_p\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = \\(int \\( A::\\*\\*\\)\\(\\.\\.\\.\\)\\) $hex\r\n$gdb_prompt $" {
-      pass "print pmf_p"
+set name "ptype *pmi"
+gdb_test_multiple "ptype *pmi" $name {
+    -re "Attempt to dereference pointer to member without an object\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "type = int  A::\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gstabs+
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print pmf_p" }
-    timeout { fail "(timeout) print pmf_p" }
 }
 
-# print dereferenced pointer to method
+# Check cast of pointer to member to integer.
+# This is similar to "offset-of".
+# such as "A a; print (size_t) &A.j - (size_t) &A".
 
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print a.*pmf\n"
-gdb_expect {
-   -re "Pointers to methods not supported with HP aCC\r\n$gdb_prompt $" {
-      pass "print a.*pmf (known aCC limitation)"
+set name "print (int) pmi"
+gdb_test_multiple "print (int) pmi" $name {
+    -re "$vhn = (4|8)\r\n$gdb_prompt" {
+       pass $name
     }
-    -re ".*$gdb_prompt $" { fail "print a.*pmf" }
-    timeout { fail "(timeout) print a.*pmf" }
 }
 
-# print dereferenced pointer to method, using ->*
+# Check "(int) pmi" explicitly for equality.
 
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print a_p->*pmf\n"
-gdb_expect {
-   -re "Pointers to methods not supported with HP aCC\r\n$gdb_prompt $" {
-      pass "print a_p->*pmf (known aCC limitation)"
+set name "print ((int) pmi) == ((char *) &a.j - (char *) &a)"
+gdb_test_multiple "print ((int) pmi) == ((char *) &a.j - (char *) & a)" $name {
+    -re "$vhn = true\r\n$gdb_prompt" {
+       pass $name
     }
-    -re ".*$gdb_prompt $" { fail "print a_p->*pmf" }
-    timeout { fail "(timeout) print a_p->*pmf" }
 }
 
-# set the pointer to data member
+# ==========================
+# pointer to member function
+# ==========================
+
+# ptype a pointer to a method
 
-setup_xfail "hppa*-*-*"
-send_gdb "set var pmf = &A::foo\n"
-gdb_expect {
-   -re "Assignment to pointers to methods not implemented with HP aCC\r\n$gdb_prompt $" {
-      pass "set var pmf (known aCC limitation)"
+set name "ptype pmf"
+gdb_test_multiple "ptype pmf" $name {
+    -re "type = int \\( ?A::\\*\\)\\(int\\)\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "type = int \\( ?A::\\*\\)\\(void\\)\r\n$gdb_prompt $" {
+       # hpacc A.03.45
+       kfail "gdb/NNNN" $name
+    }
+    -re "type = struct \{.*\}\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       # gcc 2.95.3 -gstabs+
+       # gcc 3.2.2 -gdwarf-2
+       # gcc 3.2.2 -gstabs+
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "set var pmf" }
-    timeout { fail "(timeout) set var pmf" }
 }
 
-# Try to dereference the pointer to method without any object
+# print a pointer to a method
 
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print *pmf\n"
-gdb_expect {
-   -re "Attempt to dereference pointer to member without an object\r\n$gdb_prompt $" {
-      pass "attempt to print  ptr to method without object"
+set name "print pmf"
+gdb_test_multiple "print pmf" $name {
+    -re "$vhn = &A::bar\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "$vhn = .*not supported with HP aCC.*\r\n$gdb_prompt $" {
+       # hpacc A.03.45
+       kfail "gdb/NNNN" $name
+    }
+    -re "$vhn = \{.*\}\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       # gcc 2.95.3 -gstabs+
+       # gcc 3.2.2 -gdwarf-2
+       # gcc 3.2.2 -gstabs+
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "attempt to print ptr to method without object" }
-    timeout { fail "(timeout) attempt to print ptr to method without object" }
 }
 
-# Try to ptype a dereference of the pointer to method without any object
+# ptype a pointer to a pointer to a method
 
-send_gdb "ptype *pmi\n"
-gdb_expect {
-   -re "Attempt to dereference pointer to member without an object\r\n$gdb_prompt $" {
-      pass "attempt to ptype ptr to member without object"
+set name "ptype pmf_p"
+gdb_test_multiple "ptype pmf_p" $name {
+    -re "type = int \\( ?A::\\*\\*\\)\\(int\\)\r\n$gdb_prompt $" {
+       pass $name
     }
-    -re ".*$gdb_prompt $" { fail "attempt to ptype ptr to member without object" }
-    timeout { fail "(timeout) attempt to ptype ptr to member without object" }
-}
-
-# Check cast of pointer to member to integer
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print (int) pmi\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = 8\r\n$gdb_prompt $" {
-      pass "casting pmi to int"
+    -re "type = int \\( ?A::\\*\\*\\)\\(void\\)\r\n$gdb_prompt $" {
+       # hpacc A.03.45
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "casting pmi to int" }
-    timeout { fail "(timeout) casting pmi to int" }
-}
-
-# Check cast of pointer to method to integer
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print (int) pmf\n"
-gdb_expect {
-   -re "Pointers to methods not supported with HP aCC\r\n$gdb_prompt $" {
-      pass "casting pmf to int (known aCC limitation)"
+    -re "type = struct \{.*\} \\*\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       # gcc 2.95.3 -gstabs+
+       # gcc 3.2.2 -gdwarf-2
+       # gcc 3.2.2 -gstabs+
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "casting pmf to int" }
-    timeout { fail "(timeout) casting pmf to int" }
 }
 
-# Try to invoke a function through a pointer to data member
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print (a.*pmi)(3)\n"
-gdb_expect {
-   -re "Not implemented: function invocation through pointer to method with HP aCC\r\n$gdb_prompt $" {
-      pass "print (a.*pmi)(3) -- error message should be different"
-    }
-    -re ".*$gdb_prompt $" { fail "print (a.*pmi)(3)" }
-    timeout { fail "(timeout) print (a.*pmi)(3)" }
-}
+# print a pointer to a pointer to a method
 
-# Try to invoke a function through a pointer to a method
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print (a.*pmf)(3)\n"
-gdb_expect {
-   -re "Not implemented: function invocation through pointer to method with HP aCC\r\n$gdb_prompt $" {
-      pass "print (a.*pmi)(3) -- known aCC limitation"
+set name "print pmf_p"
+gdb_test_multiple "print pmf_p" $name {
+    -re "$vhn = \\(int \\( ?A::\\*\\*\\)\\)\\(int\\)\\) $hex\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "$vhn = \\(PMF \\*\\) $hex\r\n$gdb_prompt $" {
+       pass "gdb/NNNN"
+    }
+    -re "$vhn = \\(int \\( ?A::\\*\\*\\)\\(void\\)\\) $hex\r\n$gdb_prompt $" {
+       # hpacc A.03.45
+       kfail "gdb/NNNN" $name
+    }
+    -re "$vhn = \\(struct \{.*\} \\*\\) $hex\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print (a.*pmf)(3)" }
-    timeout { fail "(timeout) print (a.*pmf)(3)" }
 }
 
+# print dereferenced pointer to method
 
-# Go past assignment of NULL to pmi
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "next\n"
-gdb_expect {
-   -re "\r\n85\[ \t\]*k = \\(a.\\*pmf\\)\\(3\\);\r\n$gdb_prompt $" {
-      pass "next past 83"
+set name "print a.*pmf"
+gdb_test_multiple "print a.*pmf" $name {
+    -re "$vhn = \\(int \\(\\*\\)\\(int\\)\\) $hex <A::bar\\(int\\)>\r\n$gdb_prompt$ " {
+       pass $name
+    }
+    -re "Pointers to methods not supported with HP aCC\r\n$gdb_prompt $" {
+       # hpacc A.03.45
+       kfail "gdb/NNNN" $name
+    }
+    -re "Value can't be converted to integer.\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       # gcc 2.95.3 -gstabs+
+       # gcc 3.2.2 -gdwarf-2
+       # gcc 3.2.2 -gstabs+
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "next past 83" }
-    timeout { fail "(timeout) next past 83" }
 }
 
-#send_gdb "print pmi\n"
-#gdb_expect {
-#   -re "Attempted dereference of null pointer-to-member\r\n$gdb_prompt $" {
-#      pass ""
-#    }
-#    -re ".*$gdb_prompt $" { fail "" }
-#    timeout { fail "(timeout) " }
-#}
+# print dereferenced pointer to method, using ->*
 
-# Dereference the null pointer to member
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print a.*pmi\n"
-gdb_expect {
-   -re "Attempted dereference of null pointer-to-member\r\n$gdb_prompt $" {
-      pass "print a.*NULL"
+set name "print a_p->*pmf"
+gdb_test_multiple "print a_p->*pmf" $name {
+    -re "$vhn = \\(int \\(\\*\\)\\(int\\)\\) $hex <A::bar\\(int\\)>\r\n$gdb_prompt$ " {
+       pass $name
+    }
+    -re "Pointers to methods not supported with HP aCC\r\n$gdb_prompt $" {
+       # hpacc A.03.45
+       kfail "gdb/NNNN" $name
+    }
+    -re "Value can't be converted to integer.\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       # gcc 2.95.3 -gstabs+
+       # gcc 3.2.2 -gdwarf-2
+       # gcc 3.2.2 -gstabs+
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print a.*NULL" }
-    timeout { fail "(timeout) print a.*NULL" }
 }
 
+# set the pointer to data member
 
-# Go to another part of the program
-send_gdb "break 91\n"
-gdb_expect {
-   -re "Breakpoint \[0-9\]*.*line 91\\.\r\n$gdb_prompt $" {
-      pass "set break at 91"
+set name "set var pmf = &A::foo"
+gdb_test_multiple "set var pmf = &A::foo" $name {
+    -re "set var pmf = &A::foo\r\n$gdb_prompt $" {
+       # I have to match the echo'ed input explicitly here.
+       # If I leave it out, the pattern becomes too general
+       # and matches anything that ends in "$gdb_prompt $".
+       pass $name
     }
-    -re ".*$gdb_prompt $" { fail "set break at 91" }
-    timeout { fail "(timeout) set break at 91" }
-}
-
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "continue\n"
-gdb_expect {
-   -re "Continuing\\.\r\n\r\nBreakpoint.*at.*member-ptr\\.cc:91\r\n91\[ \t]*k = \\(a.\\*pmf\\)\\(4\\);\r\n$gdb_prompt $" {
-      pass "continue to 91"
+    -re "Invalid cast.\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       # gcc 2.95.3 -gstabs+
+       # gcc 3.2.2 -gdwarf-2
+       # gcc 3.2.2 -gstabs+
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
+    }
+    -re "Assignment to pointers to methods not implemented with HP aCC\r\n$gdb_prompt $" {
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "continue to 91" }
-    timeout { fail "(timeout) continue to 91" }
 }
 
+# dereference the pointer to data member without any object
+# this is not allowed: a pmf must be bound to an object to dereference
 
-# Now check again that pmi works even when not set to
-# something that's at the beginning of the object
-
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print pmi\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = \\(int \\( A::\\*\\)\\) &A::jj\r\n$gdb_prompt $" {
-      pass "print pmi (2)"
+set name "print *pmf"
+gdb_test_multiple "print *pmf" $name {
+    -re "Attempt to dereference pointer to member without an object\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "Structure has no component named operator\\*.\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       # gcc 2.95.3 -gstabs+
+       # gcc 3.3.2 -gdwarf-2
+       # gcc 3.3.2 -gstabs+
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print pmi (2)" }
-    timeout { fail "(timeout) print pmi (2)" }
 }
 
+# dereference the pointer to data member without any object
+# this is not allowed: a pmf must be bound to an object to dereference
 
-# print dereferenced pointer to data member
-
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print a.*pmi\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = 1331\r\n$gdb_prompt $" {
-      pass "print a.*pmi (2)"
+set name "ptype *pmf"
+gdb_test_multiple "ptype *pmf" $name {
+    -re "Attempt to dereference pointer to member without an object\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "Structure has no component named operator\\*.\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       # gcc 2.95.3 -gstabs+
+       # gcc 3.3.2 -gdwarf-2
+       # gcc 3.3.2 -gstabs+
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print a.*pmi (2)" }
-    timeout { fail "(timeout) print a.*pmi (2)" }
 }
 
-# print dereferenced pointer to data member
-# this time, dereferenced through a pointer
+# Call a function through a pmf.
 
-setup_xfail "hppa*-*-*" CLLbs16901
-send_gdb "print a_p->*pmi\n"
-gdb_expect {
-   -re "\\$\[0-9\]* = 1331\r\n$gdb_prompt $" {
-      pass "print a->*pmi"
+set name "print (a.*pmf)(3)"
+gdb_test_multiple "print (a.*pmf)(3)" $name {
+    -re "$vhn = 50\r\n$gdb_prompt $" {
+       pass $name
+    }
+    -re "Not implemented: function invocation through pointer to method with HP aCC\r\n$gdb_prompt $" {
+       # hpacc A.03.45
+       kfail "gdb/NNNN" $name
+    }
+    -re "Value can't be converted to integer.\r\n$gdb_prompt $" {
+       # gcc 2.95.3 -gdwarf-2
+       # gcc 2.95.3 -gstabs+
+       # gcc 3.3.2 -gdwarf-2
+       # gcc 3.3.2 -gstabs+
+       # gcc HEAD 2004-01-10 -gdwarf-2
+       # gcc HEAD 2004-01-10 -gstabs+
+       kfail "gdb/NNNN" $name
     }
-    -re ".*$gdb_prompt $" { fail "print a->*pmi (2)" }
-    timeout { fail "(timeout) print a->*pmi (2)" }
 }
-
-
-# p a.*pmf - fail
-
-# p pmi
-
-# p a.*pmi
-