| # Copyright 1998-2021 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 is part of the gdb testsuite |
| |
| # Print out various class objects' members and check that the error |
| # about the field or baseclass being ambiguous is emitted at the right |
| # times. |
| |
| if { [skip_cplus_tests] } { continue } |
| |
| standard_testfile .cc |
| |
| if [get_compiler_info "c++"] { |
| unsupported "couldn't find a valid c++ compiler" |
| return -1 |
| } |
| |
| set additional_flags "" |
| if {[test_compiler_info {gcc-[0-9]-*}]} { |
| # GCCs prior to 10.1 do not support -Wno-inaccessible-base. |
| set additional_flags "additional_flags=-w" |
| } elseif {[test_compiler_info gcc*] || [test_compiler_info clang*]} { |
| set additional_flags "additional_flags=-Wno-inaccessible-base" |
| } |
| |
| if {[prepare_for_testing "failed to prepare" $testfile $srcfile \ |
| [list debug c++ $additional_flags]]} { |
| return -1 |
| } |
| |
| if ![runto_main] then { |
| perror "couldn't run to breakpoint" |
| continue |
| } |
| |
| # Run to a breakpoint after the variables have been initialized so we |
| # can play with the variable values. |
| |
| set lineno [gdb_get_line_number "set breakpoint here"] |
| |
| gdb_breakpoint $lineno |
| gdb_continue_to_breakpoint "breakpoint here" |
| |
| set number -?$decimal |
| |
| with_test_prefix "all vars" { |
| gdb_test "print a1" \ |
| " = \{x = 1, y = 2\}" |
| |
| gdb_test "print a2" \ |
| " = \{x = 1, y = 2\}" |
| |
| gdb_test "print a3" \ |
| " = \{x = 1, y = 2\}" |
| |
| gdb_test "print x" \ |
| " = \{<A1> = \{x = 1, y = 2\}, <A2> = \{x = 3, y = 4\}, z = 5\}" |
| |
| gdb_test "print l" \ |
| " = \{<A1> = \{x = 1, y = 2\}, z = 3\}" |
| |
| gdb_test "print m" \ |
| " = \{<A2> = \{x = 1, y = 2\}, w = 3\}" |
| |
| gdb_test "print n" \ |
| " = \{<L> = \{<A1> = \{x = 1, y = 2\}, z = 7\}, <M> = \{<A2> = \{x = 3, y = 4\}, w = 5\}, r = 6\}" |
| |
| gdb_test "print k" \ |
| " = \{<A1> = \{x = 1, y = 2\}, i = 3\}" |
| |
| gdb_test "print j" \ |
| " = {<K> = {<A1> = {x = 1, y = 2}, i = 5}, <L> = {<A1> = {x = 3, y = 4}, z = 6}, j = 7}" |
| |
| gdb_test "print jv" \ |
| " = \{<KV> = \{<A1> = \{x = 1, y = 2\}, _vptr.KV = $hex <vtable for JV.*>, i = 3\}, <LV> = \{_vptr.LV = $hex <VTT for JV>, z = 4\}, jv = 5\}" |
| |
| # No way to initialize one of the A1's, so just take any number there. |
| gdb_test "print jva1" \ |
| " = \{<KV> = \{<A1> = \{x = 3, y = 4\}, _vptr.KV = $hex <vtable for JVA1.*>, i = 6\}, <LV> = \{_vptr.LV = $hex <VTT for JVA1>, z = 5\}, <A1> = \{x = $number, y = $number\}, jva1 = 7\}" |
| |
| gdb_test "print jva2" \ |
| " = \{<KV> = \{<A1> = \{x = 3, y = 4\}, _vptr.KV = $hex <vtable for JVA2.*>, i = 8\}, <LV> = \{_vptr.LV = $hex <VTT for JVA2>, z = 7\}, <A2> = \{x = 5, y = 6\}, jva2 = 9\}" |
| |
| gdb_test "print jva1v" \ |
| " = \{<KV> = \{<A1> = \{x = 1, y = 2\}, _vptr.KV = $hex <vtable for JVA1V+.*>, i = 4\}, <LV> = \{_vptr.LV = $hex <VTT for JVA1V>, z = 3\}, jva1v = 5\}" |
| } |
| |
| # Check that we can access all the fields correctly, using the same |
| # syntax as used in the .cc file. Keep the order here in sync with |
| # the .cc file. |
| with_test_prefix "all fields" { |
| gdb_test "print a1.x" " = 1" |
| gdb_test "print a1.y" " = 2" |
| |
| gdb_test "print a2.x" " = 1" |
| gdb_test "print a2.y" " = 2" |
| |
| gdb_test "print a3.x" " = 1" |
| gdb_test "print a3.y" " = 2" |
| |
| gdb_test "print x.A1::x" " = 1" |
| gdb_test "print x.A1::y" " = 2" |
| gdb_test "print x.A2::x" " = 3" |
| gdb_test "print x.A2::y" " = 4" |
| gdb_test "print x.z" " = 5" |
| |
| gdb_test "print l.x" " = 1" |
| gdb_test "print l.y" " = 2" |
| gdb_test "print l.z" " = 3" |
| |
| gdb_test "print m.x" " = 1" |
| gdb_test "print m.y" " = 2" |
| gdb_test "print m.w" " = 3" |
| |
| gdb_test "print n.A1::x" " = 1" |
| gdb_test "print n.A1::y" " = 2" |
| gdb_test "print n.A2::x" " = 3" |
| gdb_test "print n.A2::y" " = 4" |
| gdb_test "print n.w" " = 5" |
| gdb_test "print n.r" " = 6" |
| gdb_test "print n.z" " = 7" |
| |
| gdb_test "print k.x" " = 1" |
| gdb_test "print k.y" " = 2" |
| gdb_test "print k.i" " = 3" |
| |
| gdb_test "print j.K::x" " = 1" |
| gdb_test "print j.K::y" " = 2" |
| gdb_test "print j.L::x" " = 3" |
| gdb_test "print j.L::y" " = 4" |
| gdb_test "print j.i" " = 5" |
| gdb_test "print j.z" " = 6" |
| gdb_test "print j.j" " = 7" |
| |
| gdb_test "print jv.x" " = 1" |
| gdb_test "print jv.y" " = 2" |
| gdb_test "print jv.i" " = 3" |
| gdb_test "print jv.z" " = 4" |
| gdb_test "print jv.jv" " = 5" |
| |
| setup_kfail "c++/26550" *-*-* |
| gdb_test "print jva1.KV::x" " = 1" |
| setup_kfail "c++/26550" *-*-* |
| gdb_test "print jva1.KV::y" " = 2" |
| setup_kfail "c++/26550" *-*-* |
| gdb_test "print jva1.LV::x" " = 3" |
| setup_kfail "c++/26550" *-*-* |
| gdb_test "print jva1.LV::y" " = 4" |
| gdb_test "print jva1.z" " = 5" |
| gdb_test "print jva1.i" " = 6" |
| gdb_test "print jva1.jva1" "= 7" |
| |
| setup_kfail "c++/26550" *-*-* |
| gdb_test "print jva2.KV::x" " = 1" |
| setup_kfail "c++/26550" *-*-* |
| gdb_test "print jva2.KV::y" " = 2" |
| setup_kfail "c++/26550" *-*-* |
| gdb_test "print jva2.LV::x" " = 3" |
| setup_kfail "c++/26550" *-*-* |
| gdb_test "print jva2.LV::y" " = 4" |
| gdb_test "print jva2.A2::x" " = 5" |
| gdb_test "print jva2.A2::y" " = 6" |
| gdb_test "print jva2.z" " = 7" |
| gdb_test "print jva2.i" " = 8" |
| gdb_test "print jva2.jva2" "= 9" |
| |
| gdb_test "print jva1v.x" " = 1" |
| gdb_test "print jva1v.y" " = 2" |
| gdb_test "print jva1v.z" " = 3" |
| gdb_test "print jva1v.i" " = 4" |
| gdb_test "print jva1v.jva1v" " = 5" |
| } |
| |
| # Test that printing WHAT reports an error about FIELD being ambiguous |
| # in TYPE, and that the candidates are CANDIDATES. |
| proc test_ambiguous {what field type candidates} { |
| set msg "Request for member '$field' is ambiguous in type '$type'. Candidates are:" |
| |
| foreach c $candidates { |
| set c_re [string_to_regexp $c] |
| append msg "\r\n $c_re" |
| } |
| |
| gdb_test "print $what" $msg |
| } |
| |
| # X is derived from A1 and A2; both A1 and A2 have a member 'x' |
| test_ambiguous "x.x" "x" "X" { |
| "'int A1::x' (X -> A1)" |
| "'int A2::x' (X -> A2)" |
| } |
| |
| # N is derived from A1 and A2, but not immediately -- two steps |
| # up in the hierarchy. Both A1 and A2 have a member 'x'. |
| test_ambiguous "n.x" "x" "N" { |
| "'int A1::x' (N -> L -> A1)" |
| "'int A2::x' (N -> M -> A2)" |
| } |
| |
| # J is derived from A1 twice. A1 has a member x. |
| test_ambiguous "j.x" "x" "J" { |
| "'int A1::x' (J -> K -> A1)" |
| "'int A1::x' (J -> L -> A1)" |
| } |
| |
| # JV is derived from A1 but A1 is a virtual base. Should not |
| # report an ambiguity in this case. |
| gdb_test "print jv.x" " = 1" |
| |
| # JVA1 is derived from A1; A1 occurs as a virtual base in two |
| # ancestors, and as a non-virtual immediate base. Ambiguity must |
| # be reported. |
| test_ambiguous "jva1.x" "x" "JVA1" { |
| "'int A1::x' (JVA1 -> KV -> A1)" |
| "'int A1::x' (JVA1 -> A1)" |
| } |
| |
| # JVA2 is derived from A1 & A2; A1 occurs as a virtual base in two |
| # ancestors, and A2 is a non-virtual immediate base. Ambiguity must |
| # be reported as A1 and A2 both have a member 'x'. |
| test_ambiguous "jva2.x" "x" "JVA2" { |
| "'int A1::x' (JVA2 -> KV -> A1)" |
| "'int A2::x' (JVA2 -> A2)" |
| } |
| |
| # JVA1V is derived from A1; A1 occurs as a virtual base in two |
| # ancestors, and also as a virtual immediate base. Ambiguity must |
| # not be reported. |
| gdb_test "print jva1v.x" " = 1" |
| |
| # Now check for ambiguous bases. |
| |
| # J is derived from A1 twice; report ambiguity if a J is |
| # cast to an A1. |
| gdb_test "print (A1)j" "base class 'A1' is ambiguous in type 'J'" |
| |
| # JV is derived from A1 twice, but A1 is a virtual base; should |
| # not report ambiguity when a JV is cast to an A1. |
| gdb_test "print (A1)jv" " = {x = 1, y = 2}" |
| |
| # JVA1 is derived from A1; A1 is a virtual base and also a |
| # non-virtual base. Must report ambiguity if a JVA1 is cast to an A1. |
| gdb_test "print (A1)jva1" "base class 'A1' is ambiguous in type 'JVA1'" |
| |
| # Add an intermediate cast to KV, and it should work. |
| setup_kfail "c++/26550" *-*-* |
| gdb_test "print (KV)jva1" " = \{<A1> = \{x = 3, y = 4\}, _vptr.KV = $hex <VTT for KV>, i = 6\}" |
| setup_kfail "c++/26550" *-*-* |
| gdb_test "print (A1)(KV)jva1" " = \{x = 3, y = 4\}" |
| |
| # JVA1V is derived from A1; A1 is a virtual base indirectly |
| # and also directly; must not report ambiguity when a JVA1V is cast to an A1. |
| gdb_test "print (A1)jva1v" " = {x = 1, y = 2}" |