# This testcase is part of GDB, the GNU debugger.

# Copyright 2012-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/>.

# Various experiments with types.

load_lib "go.exp"

if { [skip_go_tests] } { continue }
if { [support_go_compile] == 0 } { continue }

standard_testfile .go

if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} {debug go}] } {
    return -1
}

if { [go_runto_main] < 0 } {
    return -1
}

# It's not clear yet what GCC will emit.
# Pick something and xfail it until GCC solidifies.
# And we still need to finish go-typeprint.c.

setup_xfail "*-*-*"
gdb_test "ptype T" "type T *T"

setup_xfail "*-*-*"
gdb_test "ptype T1" "type T1 *T2"
setup_xfail "*-*-*"
gdb_test "ptype T2" "type T2 *T1"

setup_xfail "*-*-*"
gdb_test "ptype S1" "type S1 struct {.*p_s2 *S2.*}"
setup_xfail "*-*-*"
gdb_test "ptype S2" "type S2 struct {.*p_s1 *S1.*}"